首页 | 本学科首页   官方微博 | 高级检索  
     

工作流过程建模中的形式化验证技术
引用本文:周建涛,史美林,叶新铭.工作流过程建模中的形式化验证技术[J].计算机研究与发展,2005,42(1):1-9.
作者姓名:周建涛  史美林  叶新铭
作者单位:1. 清华大学计算机科学与技术系,北京,100084;内蒙古大学计算机学院,呼和浩特,010021
2. 清华大学计算机科学与技术系,北京,100084
3. 内蒙古大学计算机学院,呼和浩特,010021
基金项目:国家自然科学基金项目(60073011) 国家"八六三"高技术研究发展计划基金项目(2001AA113150)
摘    要:工作流过程建模是一个复杂且易错的过程.若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视.因此,在建模阶段进行有效的过程验证是十分必要的.综述了工作流过程验证技术的发展现状,包括强调验证的重要性,叙述了需要验证的问题和复杂度;介绍了对验证方法的要求;讨论了过程合理性验证和化简验证技术等;并通过对研究现状的分析和对比,提出了仍然没有解决的问题和将来的工作.

关 键 词:工作流  过程建模  验证  Petri网  合理性  化简
修稿时间:2003年8月18日

Formal Verification Techniques in Workflow Process Modeling
Zhou Jiantao,Shi Meilin,Ye Xinming.Formal Verification Techniques in Workflow Process Modeling[J].Journal of Computer Research and Development,2005,42(1):1-9.
Authors:Zhou Jiantao  Shi Meilin  Ye Xinming
Abstract: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.
Keywords:workflow  process modeling  verification  Petri net  soundness  reduction
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号