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

摘要：

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

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

所属期刊栏目：16

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60073011;国家高技术研究发展计划863计划2001AA113150

在线出版日期：2005-08-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：1242-1251