Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
复制标题
DOI：
10.1007/3-540-45594-9_11
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
Wil M.P. van der Aalst
中科院分区：
文献类型：
--
作者：
Wil M.P. van der Aalst
工作流程管理系统通过对工作的后勤控制来促进业务流程的日常运作。与传统的信息系统相比，它们试图支持手头工作流程的频繁变化。因此，对验证工作流正确性的分析方法的需求变得更加突出。在本章中，我们提出了一种基于Petri网的方法。该分析方法利用Petri网的结构来发现工作流设计中的潜在错误。此外，分析方法允许工作流的组合验证。
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, they attempt to support frequent changes of the workflows at hand. Therefore, the need for analysis methods to verify the correctness of workflows is becoming more prominent. In this chapter we present a method based on Petri nets. This analysis method exploits the structure of the Petri net to find potential errors in the design of the workflow. Moreover, the analysis method allows for the compositional verification of workflows.