文献类型：期刊文章

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

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

出　　处：《软件学报》

基　　金：国家自然科学基金No.60073011;国家高技术研究发展计划(863)No.2001AA113150~~

年　　份：2005

卷　　号：16

期　　号：7

起止页码：1242-1251

语　　种：中文

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

摘　　要：过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义验证的需求,定义3DWFN网作为过程描述的形式化模型,然后基于该模型阐述了完成语义验证的化简规则.并通过与其他相关化简规则的比较,说明了这些规则在语义验证层面的优势.

关 键 词：工作流 过程  语义验证 PETRI网 化简

分 类 号：TP311]