Synthesis of orchestrators from service choreographies

McIlvenna, Stephen, Dumas, Marlon, & Wynn, Moe T. (2009) Synthesis of orchestrators from service choreographies. In Proceeding APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling, Australian Computer Society, Wellington, New Zealand, pp. 129-138.

View at publisher


Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-peer manner and no service plays a privileged role. In contrast, interactions in an orchestration occur between one particular service, the orchestrator, and a number of subordinated services. Each of these topologies has its trade-offs. This paper considers the problem of migrating a service-oriented system from a choreography style to an orchestration style. Specifically, the paper presents a tool chain for synthesising orchestrators from choreographies. Choreographies are initially represented as communicating state machines. Based on this representation, an algorithm is presented that synthesises the behaviour of an orchestrator, which is also represented as a state machine. Concurrent regions are then identified in the synthesised state machine to obtain a more compact representation in the form of a Petri net. Finally, it is shown how the resulting Petri nets can be transformed into notations supported by commercial tools, such as the Business Process Modelling Notation (BPMN).

Impact and interest:

1 citations in Scopus
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 75147
Item Type: Conference Paper
Refereed: Yes
Keywords: service composition, choreography, orchestration, Petri nets, BPMN
ISBN: 9781920682774
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600)
Divisions: Current > Schools > School of Information Systems
Current > QUT Faculties and Divisions > Science & Engineering Faculty
Deposited On: 18 Aug 2014 03:10
Last Modified: 19 Aug 2014 01:57

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page