一种基于Petri网化简的工作流过程语义验证方法

被引：34

作者：

周建涛

史美林

叶新铭

机构：

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

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

[3] 内蒙古呼和浩特

[4] 北京

来源：

软件学报 | 2005年 / 07期

关键词：

工作流; 过程; 语义验证; Petri网; 化简;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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

引用

页码：1242 / 1251

页数：10