随着业务流程不再局限企业内部,跨组织业务过程成为业务流程领域的研究热点。顺序图作为一种建模业务过程编排的语言,不仅具有友好的图形化表现方式,令模型易于理解;而且包含有多种控制流结构,如选择、并发、循环、跳出等,能够描述组织间复杂的协同过程。为解决顺序图建模编排模型时缺乏形式化分析方法的问题,需要将顺序图映射为一种具有形式化语义基础的建模语言,使用该建模语言的数学基础完成对顺序图编排模型的分析。现有文献对顺序图映射的研究多关注于同步消息,未考虑顺序图中由异步消息交互产生的并发关系。因此,有必要提出一种关注异步消息的顺序图转换方法。本文在现有工作基础之上提出了一种将顺序图映射为有色Petri网的方法,该方法对顺序图中的消息类型进行了区分,并且对基本交互片段中的并发结构进行了映射。本文所做主要工作如下:1.根据顺序图的弱顺序关系提出顺序图消息间的依赖关系,利用消息间的依赖关系提取顺序图中的并发关系,整理归纳出顺序图中的7种基本并发结构并根据基本并发结构对应Petri网模型提出基本交互片段到CPN的映射规则;2.针对现有文献中组合片段映射方法的不足进行了改进,并设计了顺序图组合片段到有色Petri网的映射算法。3.以上述两点为基础,设计了一种从顺序图映射到CPN的方法。并针对该方法设计转换工具SD2CPN。转换前的文件为xml格式描述的顺序图文件,经过该方法转换过后,将得到一个能被CPN Tools执行的XML文件,该文件能在CPN Tools上进行路径提取等形式化分析方法。为顺序图的分析提供便利。