scholarly journals Business Process Modelling and Visualisation to Support e-Government Decision Making: Business/IS Alignment

2017 ◽  
pp. 45-57 ◽  
Author(s):  
Sulaiman Alfadhel ◽  
Shaofeng Liu ◽  
Festus O. Oderanti
Keyword(s):  
Decision Making ◽  
Business Process ◽  
Process Modelling ◽  
Business Process Modelling ◽  
Government Decision

scholarly journals Adaptive business rules framework for workflow management

2019 ◽  
Vol 25 (5) ◽  
pp. 948-971
Author(s):  
Kanana Ezekiel ◽  
Vassil Vassilev ◽  
Karim Ouazzane ◽  
Yogesh Patel
Keyword(s):  
Real Time ◽  
Business Process ◽  
Business Processes ◽  
Object Oriented ◽  
Process Modelling ◽  
Semantic Indexing ◽  
Business Rules ◽  
Business Process Modelling ◽  
Bottom Up ◽  
Content Type

Purpose Changing scattered and dynamic business rules in business workflow systems has become a growing problem that hinders the use and configuration of workflow-based applications. There is a gap in the existing research studies which currently focus on solutions that are application specific, without accounting for the universal logical dependencies between the business rules and, as a result, do not support adaptation of the business rules in real time. The paper aims to discuss this issue. Design/methodology/approach To tackle the above problems, this paper adopts a bottom-up approach, which puts forward a component model of the business process workflows and then adds business rules which have clear logical semantics. This allows incremental development of the workflows and semantic indexing of the rules which govern them during the initial acquisition. Findings The paper introduces an event-driven model for development of business workflows which is purely logic-based and can be easily implemented using an object-oriented technology, together with a model of the business rules dependencies which supports incremental semantic indexing. It also proposes a two-level inference mechanism as a vehicle for controlling the business process execution and the process of adaptation of the business rules at real time based on propagating the dependencies. Research limitations/implications The framework is strictly logical and completely domain-independent. It allows to account both synchronous and asynchronous triggering events as well as both qualitative and quantitative description of the conditions of the rules. Although our primary interest is to apply the framework to the business processes typical in the construction industry we believe our approach has much wider potential due to its strictly logical formalization and domain independence. In fact it can be used to control any business processes where the execution is governed by rules. Practical implications The framework could be applied to both large business process modelling tasks and small but very dynamic business processes like the typical digital business processes found in online banking or e-Commerce. For example, it can be used for adjusting security policies by adding the capability to adapt automatically the access rights to account for additional resources and new channels of operation which can be very interesting ion both B2C and B2B applications. Social implications The potential scope of the impact of the research reported here is linked to the wide applicability of rule-based systems in business. Our approach makes it possible not only to control the execution of the processes, but also to identify problems in the control policies themselves from the point of view of their logical properties – consistency, redundancies and potential gaps in the logics. In addition to this, our approach not only increases the efficiency, but also provides flexibility for adaptation of the policies in real time and increases the security of the overall control which improves the overall quality of the automation. Originality/value The major achievement reported in this paper is the construction of a universal, strictly logic-based event-driven framework for business process modelling and control, which allows purely logical analysis and adaptation of the business rules governing the business workflows through accounting their dependencies. An added value is the support for object-oriented implementation and the incremental indexing which has been possible thanks to the bottom-up approach adopted in the construction of the framework.

scholarly journals Business Process Modelling based on Petri nets

2017 ◽  
Vol 139 ◽  
pp. 00105
Author(s):  
Jianglong Qin ◽  
Na Zhao ◽  
Zhongwen Xie ◽  
Qi Mo
Keyword(s):  
Petri Nets ◽  
Business Process ◽  
Process Modelling ◽  
Business Process Modelling

scholarly journals Temporal Logics Over Finite Traces with Uncertainty

2020 ◽  
Vol 34 (06) ◽  
pp. 10218-10225 ◽  
Author(s):  
Fabrizio M Maggi ◽  
Marco Montali ◽  
Rafael Peñaloza
Keyword(s):  
Decision Making ◽  
Temporal Logic ◽  
Business Process ◽  
Dynamic Systems ◽  
Real Life ◽  
Temporal Logics ◽  
Business Process Modelling ◽  
Process Discovery ◽  
Event Log ◽  
Computational Properties

Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making. However, real-life dynamic systems contain a degree of uncertainty which cannot be handled with classical logics. We thus propose a new probabilistic temporal logic over finite traces using superposition semantics, where all possible evolutions are possible, until observed. We study the properties of the logic and provide automata-based mechanisms for deriving probabilistic inferences from its formulas. We then study a fragment of the logic with better computational properties. Notably, formulas in this fragment can be discovered from event log data using off-the-shelf existing declarative process discovery techniques.

scholarly journals FORMALISM OF PETRI NETS WITH TRANSACTS FOR BUSINESS PROCESS MODELLING

2016 ◽  
pp. 36-47
Author(s):  
V.M. Dmitriev ◽  
◽  
T.E. Grigorieva ◽  
S.A. Panov ◽  
E.V. Istigecheva ◽  
...  
Keyword(s):  
Petri Nets ◽  
Business Process ◽  
Process Modelling ◽  
Business Process Modelling
Sign in / Sign up

Export Citation Format

Share Document