工作流过程建模中的形式化验证技术

摘要：

工作流过程建模是一个复杂且易错的过程.若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视.因此,在建模阶段进行有效的过程验证是十分必要的.综述了工作流过程验证技术的发展现状,包括强调验证的重要性,叙述了需要验证的问题和复杂度;介绍了对验证方法的要求;讨论了过程合理性验证和化简验证技术等;并通过对研究现状的分析和对比,提出了仍然没有解决的问题和将来的工作.

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

所属期刊栏目：42

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60073011;国家高技术研究发展计划863计划2001AA113150

在线出版日期：2005-03-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：1-9