Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams?

Abstract. Choreographies are an emergent Service Engineering ap-proach to compose together and coordinate distributed services. They represent a global specification of the interactions between the partic-ipant services. BPMN2 provides a dedicated notation, called Choreog-raphy Diagrams, to define choreographies. This paper presents a model transformation to automatically transform a BPMN2 choreography spec-ification into an automata-based representation called Choreography LTS (CLTS). The latter is a LTS suitably extended to, on one side model the complex interactions that can be specified by choreography di-agrams, on the other provide modelers with a means to precisely extract the not-easy-to-grasp coordination logic “hidden ” into BPMN2 Chore-ography Diagrams. Dedicated Eclipse plugins, within the CHOReOSynt tool, have been developed to support the presented transformation.