University of Twente Student Theses


Model-driven development of service compositions : transformation from service choreography to service orchestrations

Khadka, Ravi (2010) Model-driven development of service compositions : transformation from service choreography to service orchestrations.

[img] PDF
Abstract:This thesis discusses the suitability of using model-driven transformation techniques to service composition and proposes a (semi-)automatic transformation that generates a set of related orchestrations from choreography. In this way we have contributed to the model-driven development of service composition. A service composition is an aggregation process that creates composite services from the existing ones. Service choreography and service orchestration are complementary viewpoints of service composition seen from different abstraction levels. This thesis investigates the architectural relationships between the service choreography and service orchestration and defines architectural patterns that capture their relationships. Based on these architectural patterns, we derive requirements for transformation specifications. We use modeldriven transformation techniques, in particular metamodel transformation that implies the definition of metamodels and the mapping between those metamodels. Hence, we develop metamodels for Web Service Choreography Definition Language (WS-CDL) and Web Service Business Process Execution Language (WS-BPEL) and define the transformation mappings between those metamodels. We define a transformation specification, which we derive from the architectural patterns, to implement the transformation mappings between the language constructs of WS-CDL and WS-BPEL. We implemented a transformation chain using metamodel transformation to transform a WS-CDL model to WS-BPEL process, as a proof-of-concept. We developed transformation rules using the transformation mappings that we defined earlier, and implemented them in Atlas Transformation Language (ATL). Due to the difference in abstraction levels between service choreography and service orchestration, the generated orchestration process requires some additional information not contained in the choreography specifications. We manually add this information to the transformation results. We used two application scenarios to validate our proof-of-concept. We validated our proof-of-concept in a pragmatic way by observing the behavior of the input choreography and checked if the behavior is shown by the generated BPEL process. Our proof-ofconcept shows that the service composition process can be accelerated by using model-driven transformation techniques. Further, we evaluated our proposed approach with three closely related developments that aim to transform a CDL specification to a BPEL process. Based on this comparison, our approach is proven to be the most promising.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page