作　　者： ; ; ;

机构地区： 内蒙古大学计算机学院

出　　处： 《计算机研究与发展》 2005年第1期1-9,共9页

摘　　要： 工作流过程建模是一个复杂且易错的过程.若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视.因此,在建模阶段进行有效的过程验证是十分必要的.综述了工作流过程验证技术的发展现状,包括强调验证的重要性,叙述了需要验证的问题和复杂度;介绍了对验证方法的要求;讨论了过程合理性验证和化简验证技术等;并通过对研究现状的分析和对比,提出了仍然没有解决的问题和将来的工作. Workflow process modeling is a complicated and error-prone procedure. It is highly noted in both research and industrial area that the cost for modifying errors is very high after a process definition becomes operational. Thus, effective process verification in modeling phase is very essential. This paper summarizes the state of the art of workflow process verification. Firstly, importance of verification is emphasized, then depiction of problems needed to be verified and their complexities are stated, next the requirements for verification methods are described. After introduction of these essential problems, two sorts of important verification techniques are discussed in detail. The first one is soundness verification, whose research results on Petri net model are presented. The second one is reduction verification, whose research results on Petri net and workflow graph are given. Besides, other verification methods, including correctness verification and those methods based on LTS or UML, etc. are simply mentioned. By analysis and comparison, the problems may be researched and future trends are finally presented.

关 键 词： 工作流 过程建模 验证 网 合理性 化简

领　　域： [自动化与计算机技术] [自动化与计算机技术]