中文摘要：

挖掘WS—CDL（Web services choreography description language）编排中的并行性，使其中的交互任务尽量并行执行，是缩短业务过程执行时间，提高业务过程效率的重要手段。现有针对WS—CDL编排的研究主要是集中在编排的可实现性方面，没有关注编排并行性方面。使用Petri网对WS—CDL编排模型进行建模，从分析交互变迁相关性的角度提出一种方法，挖掘Petri网中可并行的交互变迁，并重构Petri网模型，从而通过编排并行度的提高使得编排效率得到提升。

英文摘要：

Mining activities of WS-CDL choreographies, making the interactive activities as parallel as possible, is an important means to shorten the execution time and improve the efficiency of business process. Existing studies on WS-CDL choreography is mainly concentrated in the choreography realizability, there is no study focused on aspects of the choreography parallelism. From the perspective of interaction, this paper proposed a method that based on dependencies of interaction to improve it. This method would choreography model into a Petri nets model, it got parallel factors in interactive activities, mined the interactive activities that could be executed using parallel mode, and constructed Petri nets choreography model.