作者：代飞; 陈凤强; 莫启; 王炜; 李彤; 梁志宏业务过程管理编排参与者映射可实现性
摘要：将编排映射为Peer（参与者）,是对编排进行可实现性分析的第1个步骤.现有文献提出的映射方法未考虑参与者中τ对行为的影响,无法确保编排与参与者间的行为一致性.以Petri网作为形式化基础,提出了一种能够保持编排与参与者间行为一致的映射方法,允许：（1）通过动作映射,将交互式Petri网定义的编排映射为带τ的交互式Petri网;（2）提出了4条τ删除规则,用以对带τ的交互式Petri网中的τ进行有选择的删除;（3）将编排与参与者间的行为一致性问题规约为检验两个交互式Petri间是否满足弱互模拟的问题,并证明了这4条τ删除规则的正确性.实验结果表明,该映射方法能够确保编排与参与者间的行为一致性.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
