On the Model-driven Synthesis of Evolvable Service Choreographies

Choreographies are a form of decentralized composition that model the external interaction of the participant services by specifying peer-to-peer message exchanges from a global perspective. When mismatching third-party services are to be composed, obtaining the distributed coordination and adaptation logic required to suitably realize a choreography is a non-trivial and error prone task. Automatic support is then needed. Nowadays, very few approaches address the problem of actually realizing choreographies in an automatic way. In this paper, we share the experience we had in two EU projects specifically targeted at choreographies, and report on a novel model-driven approach to the automatic synthesis of evolving choreographies we are currently working on. We illustrate our method at work on a use case in the domain of Smart Mobility & Tourism.