Abstract: To meet the different needs of business people and IT staffs,a hybrid approach to define process choreographies was proposed by combining collaboration diagrams with Petri net.To meet the visual needs of business people,the collaboration diagrams was used to define process choreographies;to meet the formal analysis needs of IT staffs,Petri net was used to encode collaboration diagrams,which transformed the process choreography based on collaboration diagrams into Petri net to analyze the techniques effectively.From the view of the trace equivalence,the corresponding collaboration diagram semantics were preserved with encoded Petri net.

Key words: business process management, process choreography, collaboration diagram, Petri nets

摘要： 为满足业务人员和IT人员对过程编排的不同需求,将协作图和Petri网进行有机结合,提出一种混合式的过程编排定义方法。该方法一方面使用协作图对过程编排进行定义来满足业务人员的可视化需求;另一方面使用Petri网对协作图进行编码,从而将基于协作图定义的过程编排转换为Petri网,借助Petri网的有效分析技术满足IT人员的形式分析需求。从迹等价角度证明了编码产生的Petri网可知保持协作图的语义。

关键词: 业务过程管理, 过程编排, 协作图, Petri网