Distributed Enforcement of Service Choreographies

Marco Autili
(University of L'Aqula)
Massimo Tivoli
(University of L'Aquila)

Modern service-oriented systems are often built by reusing, and composing together, existing services distributed over the Internet. Service choreography is a possible form of service composition whose goal is to specify the interactions among participant services from a global perspective. In this paper, we formalize a method for the distributed and automated enforcement of service choreographies, and prove its correctness with respect to the realization of the specified choreography. The formalized method is implemented as part of a model-based tool chain released to support the development of choreography-based systems within the EU CHOReOS project. We illustrate our method at work on a distributed social proximity network scenario.

In Javier Cámara and José Proença: Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2014), Rome, Italy, 6th September 2014, Electronic Proceedings in Theoretical Computer Science 175, pp. 18–35.
Published: 11th February 2015.

ArXived at: http://dx.doi.org/10.4204/EPTCS.175.2 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org