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

被引：33

作者：

周建涛

史美林

叶新铭

不详

机构：

[1] 清华大学计算机科学与技术系

[2] 内蒙古大学计算机学院北京

[3] 内蒙古大学计算机学院呼和浩特

[4] 北京

[5] 呼和浩特

来源：

计算机研究与发展 | 2005年 / 01期

关键词：

工作流; 过程建模; 验证; Petri网; 合理性; 化简;

D O I：

暂无

中图分类号：

TP311.1 [程序设计];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：1 / 9

页数：9