Unraveling Iterative Control Structures from Business Processes
| Autor: | Weng-Hong Yung, Yain-Whar Si |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
Theoretical computer science
Process modeling Business process Modeling language Computer science Process (computing) Computer Science Applications Theoretical Computer Science Business Process Model and Notation Workflow Computational Theory and Mathematics Hardware and Architecture Theory of computation Nested loop join Software |
| Zdroj: | Journal of Computer Science and Technology. 36:158-190 |
| ISSN: | 1860-4749 1000-9000 |
| Popis: | Iterative control structures allow the repeated execution of tasks, activities or sub-processes according to the given conditions in a process model. Iterative control structures can significantly increase the risk of triggering temporal exceptions since activities within the scope of these control structures could be repeatedly executed until a predefined condition is met. In this paper, we propose two approaches to unravel iterative control structures from process models. The first approach unravels loops based on zero-one principle. The second approach unravels loops based on branching probabilities assigned at split gateways. The proposed methods can be used to unfold structured loops, nested loops and crossing loops. Since the unfolded model does not contain any iterative control structures, it can be used for further analysis by process designers during the modeling phase. The proposed methods are implemented based on workflow graphs, and therefore they are compatible with modeling languages such as Business Process Modelling Notation (BPMN). In the experiments, the execution behavior of unfolded process models is compared against the original models based on the concept of runs. Experimental results reveal that runs generated from the original models can be correctly executed in the unfolded BPMN models that do not contain any loops. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink