.png){kind=icon}
.png){kind=icon}
Return
Enforcing Data-Aware Business Processes Using Execution Path-Oriented Strategies
.png){kind=icon}
PRE
AI
DOI：10.1109/TSMC.2024.3427838.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Since the data-aware business process usually covers the control flow and data flow, and both of them have a direct impact on its execution, it is challenging to ensure its correctness. In this article, we propose a novel correctness enforcement approach for the data-aware business the processes. Given a data-aware business process, this approach first relies on the notion of the execution paths to capture all the parts of it that can be executed correctly. More specifically, it first splits the data-aware business process into a set of the execution paths, and then presents the notion of well-formedness to determine whether each execution path is correct. Based on these captured correct execution paths, an execution path-oriented strategy is generated, which is nonintrusive, and can enforce it to follow one of its correct execution paths during each execution, thereby realizing its correct execution. This approach is evaluated using the extensive experiments, which shows that it is effective and efficient, as well as scalable in practice.
Keywords:
Business
Process control
Data models
Petri nets
Business Process Execution Language
Aerospace electronics
System recovery
Correctness
data-aware business process
execution path
execution path-oriented strategy
Petri net
Journal
IF:
10.5
Papers:
1.1W
Citations:
5.0W
Organization
No organization information available