Non-desynchronizable service choreographies

Decker, Gero, Barros, Alistair P., Kraft, Frank, & Lohmann, Niels (2008) Non-desynchronizable service choreographies. In Bouguettaya, Athman, Krueger, Ingolf, & Margaria, Tiziana (Eds.) Proceedings of the 6th International Conference on Service-Oriented Computing, Springer-Verlag, University of Technology, Sydney, Sydney, NSW, pp. 331-346.

View at publisher


A precise definition of interaction behavior between services is a prerequisite for successful business-to-business integration. Service choreographies provide a view on message exchanges and their ordering constraints from a global perspective. Assuming message sending and receiving as one atomic step allows to reduce the modelers’ effort.

As downside, problematic race conditions resulting in deadlocks might appear when realizing the choreography using services that exchange messages asynchronously. This paper presents typical issues when desynchronizing service choreographies. Solutions from practice are discussed and a formal approach based on Petri nets is introduced for identifying desynchronizable choreographies.

Impact and interest:

16 citations in Scopus
4 citations in Web of Science®
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: 49098
Item Type: Conference Paper
Refereed: Yes
Keywords: Service choreographies, Business-to-business integration, Petri nets, desynchronizable choreographies
ISBN: 9783540896470
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: 13 Mar 2012 01:46
Last Modified: 13 Mar 2012 01:46

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page