Choreographies are an emergent Service Engineering approachto compose together and coordinate distributed services. Theyrepresent a global specication of the interactions between the participantservices. BPMN2 provides a dedicated notation, called ChoreographyDiagrams, to dene choreographies. This paper presents a modeltransformation to automatically transform a BPMN2 choreography specication into an automata-based representation called ChoreographyLTS (CLTS). The latter is a LTS suitably extended to, on one sidemodel the complex interactions that can be specied by choreography diagrams,on the other provide modelers with a means to precisely extractthe not-easy-to-grasp coordination logic \hidden" into BPMN2 ChoreographyDiagrams. Dedicated Eclipse plugins, within the CHOReOSynttool, have been developed to support the presented transformation.
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams
DI SALLE, AMLETO;INVERARDI, PAOLA
2014-01-01
Abstract
Choreographies are an emergent Service Engineering approachto compose together and coordinate distributed services. Theyrepresent a global specication of the interactions between the participantservices. BPMN2 provides a dedicated notation, called ChoreographyDiagrams, to dene choreographies. This paper presents a modeltransformation to automatically transform a BPMN2 choreography specication into an automata-based representation called ChoreographyLTS (CLTS). The latter is a LTS suitably extended to, on one sidemodel the complex interactions that can be specied by choreography diagrams,on the other provide modelers with a means to precisely extractthe not-easy-to-grasp coordination logic \hidden" into BPMN2 ChoreographyDiagrams. Dedicated Eclipse plugins, within the CHOReOSynttool, have been developed to support the presented transformation.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
