On the Model-driven Synthesis of Adaptable Choreographies

Service choreographies represent a powerful and flexible approach to compose software services in a distributed way. A key enabler for the realization of choreographies is the ability to automatically compose services, and perform exogenous coordination and adaptation of their interaction. This is a nontrivial and error prone task. Automatic support is needed. Adapters are used to bind concrete services to (abstract) choreography roles by solving possible protocol mismatches. In this paper we focus on the synthesis of adapters, each of them realized as a suitable composition of adaptation primitives. We show our method at work on a use case in the domain of Smart Mobility & Tourism.