将协作图编排映射为参与者(Peer),是跨组织业务过程建模中自上而下模型映射中务必解决的关键问题。从顶层视角和底层视角对跨组织业务过程进行描述,更能在跨组织业务过程模型交互过程中判断并识别异常。现有文献将协作图编排映射为参与者都需要经过两个步骤,第一,将协作图编排映射到一种具有形式语义的模型语言;第二,以模型语言为基础,自上而下的映射到参与者。转换的中间环节越多意味着发生错误的风险越大,因此,在保持两个模型语义的一致性的情况下,将协作图编排直接映射成Peer成为了目前跨组织业务过程建模的关注点。为了解决上述问题,本文提出一种将协作图直接映射到参与者(Peer)的方法。该方法通过对协作图中消息间依赖关系的提取和设计,实现了从协作图编排到参与者的直接映射。本文所做工作主要如下:(1)提取协作图语义及语法特点,为协作图合理性验证提供了依据。现有文献大多以协作图的语法层面作为切入点,研究用户使用习惯,将他们的行为进行比较。但是这些文献仅从语法使用过程中讨论语义的一致性,并未提取协作图使用过程中的语义特点。因此本论文以此为切入点,进行协作图合理性验证方面的讨论。(2)进行从协作图编排到Peer的直接映射。这个转换是跨组织业务过程建模的形式化分析中的必要步骤,本文提出的方法引用了离散数学中传递闭包的概念,为消息间的依赖关系建立直接依赖集、间接依赖集、最小依赖集等集合关系。使Peer能直接从协作图中提取出来,不用经过多次转换。(3)将转换后的Petri网Peer模型与原协作图进行一致性验证,验证结果显示转换后的Petri网模型完全保持协作图语义,进一步证明了方法的可行性。(4)编写程序实现该方法,验证方法的可行性。程序的输入数据为turfun工具绘制的协作图,这个工具绘制出来的协作图满足UML语法标准,并且以XML格式存储,方便协作图元素的提取。输出结果为Petri网表示的Peer,在开源工具pipe4.3上能成功运行。该方法解决了用协作图表示Peer缺少形式语义,不利于可实现性分析的不足,为协作图的合理性及正确性提供了理论依据。其中,该方法包括分析、扩充、提取、映射等步骤,最终得到的结果是映射到n个参与者上的n个最小依赖集。最小依赖集都用petri网进行表示,使结果不仅保持协作图中的语义而且具有形式化语义,为可实现性分析提供便利。