真并发等价性下的流程模型转换方法

摘要：

针对工作流建模过程中流程模型的演化问题,在真并发等价性概念下,提出将图形化控制流模型转换为顺序与并发结构可分隔处理的可分离形式的方法.采用自由选择工作流网建模控制流模型,以完全并发互模拟为真并发等价概念,定义两个安全网间是完全并发互模拟关系的充分条件；基于Petri网的网展开,提出获得工作流网的可分离形式的局部网展开算法；通过证明局部展开网与原工作流网满足完全并发互模拟的充分条件,保证两个网模型的等价性.所提转换方法与已有方法相比,能够保留并发层次,且所需步骤更少,有利于流程模型的演化.

关键词：工作流、Petri网、自由选择工作流网、可分离工作流网、真并发等价

所属期刊栏目：46

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

资助基金：国家自然科学基金资助项目60910004,61003078,61133001;国家重点基础研究发展规划资助项目2010CB328102

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

页数：共6页

页码：42-47