Non-desynchronizable service choreographies
| Contribuinte(s) |
Bouguettaya, Athman Krueger, Ingolf Margaria, Tiziana |
|---|---|
| Data(s) |
2008
|
| Resumo |
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. |
| Identificador | |
| Publicador |
Springer-Verlag |
| Relação |
http://www.springerlink.com/content/9055736715131767/fulltext.pdf 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. |
| Fonte |
School of Information Systems; Science & Engineering Faculty |
| Palavras-Chave | #080600 INFORMATION SYSTEMS #Service choreographies #Business-to-business integration #Petri nets #desynchronizable choreographies |
| Tipo |
Conference Paper |
