Abstract
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. © 2008 Springer Berlin Heidelberg.
Cite
CITATION STYLE
Decker, G., Barros, A., Kraft, F. M., & Lohmann, N. (2008). Non-desynchronizable service choreographies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5364 LNCS, pp. 331–346). Springer Verlag. https://doi.org/10.1007/978-3-540-89652-4_26
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
