Distributed Enforcement of Service Choreographies

• DOI: 10.4204/eptcs.175.2
• Publication Date: 2015-02-11T00:30:15Z
• Authors: Marco Autili; Massimo Tivoli
• Keywords: FOS: Computer and information sciences; QA75.5-76.95; 02 engineering and technology; 16. Peace & justice; Software Engineering (cs.SE); Computer Science - Software Engineering; Electronic computers. Computer science; QA1-939; 0202 electrical engineering, electronic engineering, information engineering; Mathematics

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.<br/>In Proceedings FOCLASA 2014, arXiv:1502.03157<br/>