Analyzing process models using graph reduction techniques
作者:
Highlights:
•
摘要
The foundation of a process model lies in its structural specifications. Using a generic process modeling language for workflows, we show how a structural specification may contain deadlock and lack of synchronization conflicts that could compromise the correct execution of workflows. In general, identification of such conflicts is a computationally complex problem and requires development of effective algorithms specific for the target modeling language. We present a visual verification approach and algorithm that employs a set of graph reduction rules to identify structural conflicts in process models for the given workflow modeling language. We also provide insights into the correctness and complexity of the reduction process. Finally, we show how the reduction algorithm may be used to count possible instance subgraphs of a correct process model. The main contribution of the paper is a new technique for satisfying well-defined correctness criteria in process models.
论文关键词:Business Process Modeling,Verification of Process Models,Workflow Management Systems
论文评审过程:Received 16 December 1999, Revised 24 March 2000, Available online 14 June 2000.
论文官网地址:https://doi.org/10.1016/S0306-4379(00)00012-0