Distributed Enforcement of Service Choreographies
This addresses the challenge of ensuring correct interactions in distributed service compositions for developers and engineers, though it appears incremental as it builds on existing choreography concepts.
The paper tackles the problem of distributed and automated enforcement of service choreographies in modern service-oriented systems, formalizing a method and proving its correctness, with implementation as part of a model-based tool chain in the EU CHOReOS project.
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.