将编排映射为Peer(参与者)是对编排进行可实现性分析的第一个步骤。现有文献提出的映射方法未考虑参与者中不可见动作τ对行为的影响,无法确保编排与参与者间的行为一致性。本文以Petri网作为形式化基础,提出了一种能保持编排与参与者间行为一致的映射方法:1)通过动作映射,将交互式Petri网定义的编排映射为角色Petri网定义的带有不可见动作τ的参与者;2)提出了四条τ删除规则,用以对角色Petri网中的不可见动作τ进行有选择地删除;3)将编排(交互式Petri网)与参与者(角色Petri网)间的行为一致性问题规约为检验两个Petri间是否满足弱互模拟的问题,并证明了这四条τ删除规则的正确性。实验表明,该映射方法能确保编排与参与者间的行为一致性。本文主要研究使用基于弱互模拟的编排映射方法来保证排与参与者间的行为一致性。为了这个目的,论文主要工作如下:第一,提出一种编排映射方法,定义动作映射。动作映射是将编排中与参与者(Peer)无关的动作映射为不可见动作τ。第二,提出τ删除规则,规则共四条。基于弱互模拟关系,将Petri结构中的τ动作进行删除,获得相对应参与者Petri网。第三,验证τ删除规则的正确性,标准是基于弱互模拟关系进行源角色Petri网与目标角色Petri网行为一致性比较。第四,选取五篇文献中的实验,通过本文方法与其进行对比。而实验说明,文献中所提方法在弱互模拟关系下,不能完全保证编排与参与者之间的行为一致性,而本文所提方法却可以。总之,本文基础弱互模拟关系,提出了一种编排映射方法,保证编排与参与者之间的行为一致性。