Aiding the realization of service-oriented distributed systems

Reuse-based software engineering is becoming the main approach for developing business and commercial systems. Service choreographies support the reuse-based service-oriented philosophy in that they represent a powerful and flexible approach to realize systems by (possibly) reusing services and composing them in a fully distributed way. A key enabler for the realization of choreographies is the ability to (i) reuse existing applications and services that can play the role of choreography participants, (ii) aid developers in writing the code of those participants whose roles cannot be covered through reuse, and (iii) automatically synthesize the coordination logic required for their correct interaction. The contribution of this paper is the definition and realization of a novel approach to the synthesis of service choreographies that allows developers to just fill-in-the-blank of automatically generated code templates of single (uncovered) choreography tasks, without the need of considering all the message flows specified by the choreography and the related distributed coordination issues.