一种保持编排与参与者间行为一致的映射方法

摘要：

将编排映射为Peer(参与者),是对编排进行可实现性分析的第1个步骤.现有文献提出的映射方法未考虑参与者中τ对行为的影响,无法确保编排与参与者间的行为一致性.以Petri网作为形式化基础,提出了一种能够保持编排与参与者间行为一致的映射方法,允许:(1)通过动作映射,将交互式Petri网定义的编排映射为带τ的交互式Petri网;(2)提出了4条τ删除规则,用以对带τ的交互式Petri网中的τ进行有选择的删除;(3)将编排与参与者间的行为一致性问题规约为检验两个交互式Petri间是否满足弱互模拟的问题,并证明了这4条τ-除规则的正确性.实验结果表明,该映射方法能够确保编排与参与者间的行为一致性.

关键词：业务过程管理、编排、参与者、映射、可实现性

所属期刊栏目：29

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

资助基金：国家自然科学基金61462095,61702442,61462092,61379032;云南省自然科学基金2016FB102;云南省教育厅科学研究基金重大专项ZD2014001National Natural Science Foundation of China61462095,61702442,61462092,61379032;Yunnan Province Natural Science Foundation2016FB102;Yunnan Provincial Department of Education Fund for Scientific Research of Major Special ProjectsZD2014001

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

页数：共20页

页码：1451-1470