No abstract

Choreographies are an emergent Service Engineering (SE) approach to compose together and coordinate services in a distributed way. A choreography formalizes the way business participants coordinate their interactions. The focus is not on orchestrations of the work performed within them, but rather on the exchange of messages between these participants. The problems usually addressed when considering a choreography-based specification of the system to be realized are realizability check, and conformance check.In this paper we describe the CHOReOSynt tool, which has been conceived to deal with an additional problem, namely, automated choreography enforcement. That is, when the goal is to actually realize a service choreography by reusing thirdparty services, their uncontrolled (or wrongly coordinated) composite behavior may show undesired interactions that preclude the choreography realization. CHOReOSynt solves this problem by automatically synthesizing additional software entities that, when interposed among the services, allow for preventing undesired interactions.

No abstract

No abstract

The Future Internet is becoming a reality, providing a large-scale computing environments where a virtually infinite number of available services can be composed so to fit users' needs. Modern service-oriented applications will be more and more often built by reusing and assembling distributed services. A key enabler for this vision is then the ability to automatically compose and dynamically coordinate software services. Service choreographies are an emergent Service Engineering (SE) approach to compose together and coordinate services in a distributed way. 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. In this direction, this paper leverages previous work on the automatic synthesis of choreography-based systems, and describes our preliminary steps towards exploiting Enterprise Integration Patterns to deal with a form of choreography adaptation. Choreography Adaptation Through Enterprise Integration Patternsviews of the expected service behaviour, e.g., WSDL 2 for protocol signature specification, BPEL 3 or automata-based notations for protocol interaction specification.In this paper we leverage the experience on the automatic synthesis of the choreography-based coordination logic for service-oriented systems that we have been doing so far within the EU CHOReOS project 4 . Then, being supported by the EU CHOReVOLUTION (follow-up) project 5 , we report on the novel idea we are currently investigating to achieve choreography adaptation that, beyond coordination, permits to face the challenges posed by the heterogeneity of FI services.In this direction, we propose a way to enhance the previous CHOReOS approach in [3,2,30,1], and describes the preliminary steps we are undertaking within CHOReVOLUTION. The idea is to exploit Enterprise Integration Patterns [17] (EIP) so as to deal with a form of choreography adaptation. Specifically, distributed coordination logic is first automatically synthesized out of the BPMN2 choreography specification. This logic is concrete service independent, meaning that it is synthesized by considering the expected interaction protocol specified for the roles instead of the one of the concrete services. This allows our approach to realize separation of concerns, hence possibly reusing the synthesized coordination logic when (late) binding different concrete services to the choreography roles. Then, service adapters are synthesized (only when needed) in order to correctly realize service-role binding. After a set of concrete participant services have been selected as suitable (yet not perfectly matching) candidates to play the choreography roles, adapters let the protocol of concrete services match the one specified for the played roles. Specifically, an adapter solves protocol mismatches between a concrete service and the played role by exploiting EIP as adaptation primitives and by suitably composing th...