文献类型：期刊文章

作　　者：周建涛[1,2] 史美林[1] 叶新铭[3]

机构地区：[1]清华大学计算机科学与技术系 [2]内蒙古大学计算机学院 呼和浩特 010021 [3]内蒙古大学计算机学院

出　　处：《计算机研究与发展》

基　　金：国家自然科学基金项目(60073011)国家"八六三"高技术研究发展计划基金项目(2001AA113150)

年　　份：2005

卷　　号：42

期　　号：1

起止页码：1-9

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

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

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

分 类 号：TP311]