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

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