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

来源：软件学报杂志2018年第5期北京时间：

作者：代飞,陈凤强,莫启,王炜,李彤,梁志宏

单位：代飞，西南林业大学 大数据与智能工程学院, 云南 昆明 650224;云南省软件工程重点实验室(云南大学), 云南 昆明 65009111,陈凤强，云南大学 软件学院, 云南 昆明 65009102,莫启，云南省软件工程重点实验室(云南大学), 云南 昆明 650091;云南大学 软件学院, 云南 昆明 65009103,王炜，云南省软件工程重点实验室(云南大学), 云南 昆明 650091;云南大学 软件学院, 云南 昆明 65009104,李彤，云南省软件工程重点实验室(云南大学), 云南 昆明 650091;云南大学 软件学院, 云南 昆明 65009105,梁志宏，西南林业大学 大数据与智能工程学院, 云南 昆明 650224;云南省软件工程重点实验室(云南大学), 云南 昆明 65009106

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

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

基金资助：国家自然科学基金（61462095，61702442，61462092，61379032）；云南省自然科学基金（2016FB102）；云南省教育厅科学研究基金重大专项（ZD2014001）