Choreographies are an emergent Service Engineering approach to compose together and coordinate distributed services. They represent a global specication of the interactions between the participant services. BPMN2 provides a dedicated notation, called Choreography Diagrams, to dene choreographies. This paper presents a model transformation to automatically transform a BPMN2 choreography speci cation 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 specied by choreography diagrams, on the other provide modelers with a means to precisely extract the not-easy-to-grasp coordination logic \hidden" into BPMN2 Choreography Diagrams. Dedicated Eclipse plugins, within the CHOReOSynt tool, have been developed to support the presented transformation.

Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams

AUTILI, Marco;DI RUSCIO, DAVIDE;DI SALLE, AMLETO;INVERARDI, PAOLA
2014-01-01

Abstract

Choreographies are an emergent Service Engineering approach to compose together and coordinate distributed services. They represent a global specication of the interactions between the participant services. BPMN2 provides a dedicated notation, called Choreography Diagrams, to dene choreographies. This paper presents a model transformation to automatically transform a BPMN2 choreography speci cation 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 specied by choreography diagrams, on the other provide modelers with a means to precisely extract the not-easy-to-grasp coordination logic \hidden" into BPMN2 Choreography Diagrams. Dedicated Eclipse plugins, within the CHOReOSynt tool, have been developed to support the presented transformation.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11697/40934
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact