Enforcing Data-Aware Business Processes Using Execution Path-Oriented Strategies
提出一种基于执行路径的数据感知业务流程正确性强制方法，通过将流程拆分为执行路径并判断其正确性，生成非侵入式策略确保每次执行遵循正确路径，实验证明有效且可扩展。
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.