Distributed Enforcement of Service Choreographies

TL;DR

This paper presents a formalized, automated method for enforcing service choreographies in distributed systems, ensuring correctness and supporting development within a model-based framework.

Contribution

It introduces a novel formal method for distributed enforcement of service choreographies, validated through implementation and a real-world scenario.

Findings

Method is proven correct with respect to choreography realization

Implemented as part of a model-based tool chain

Successfully demonstrated on a distributed social network scenario

Abstract

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.