Model-Driven Development of Service Compositions: Transformation from Service Choreography to Service Orchestrations

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.

[1]  John D. Poole.  Model-Driven Architecture: Vision, Standards And Emerging Technologies , 2001 .

[2]  C. M. Sperberg-McQueen,et al.  eXtensible Markup Language (XML) 1.0 (Second Edition) , 2000 .

[3]  Christian Huemer,et al.  From an ebXML BPSS choreography to a BPEL-based implementation , 2004, SECO.

[4]  Roel Wieringa,et al.  Design science as nested problem solving , 2009, DESRIST.

[5]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

[6]  Jan Mendling,et al.  From WS-CDL choreography to BPEL process orchestration , 2008, J. Enterp. Inf. Manag..

[7]  Guoliang Zheng,et al.  Towards a Model Driven Approach to Automatic BPEL Generation , 2007, ECMDA-FA.

[8]  A. Abram White.  XSLT and XQuery as Operator Languages , 2002 .

[9]  Jano I. van Hemert,et al.  Orchestrating Data-Centric Workflows , 2008, 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (CCGRID).

[10]  Ibm Redbooks,et al.  Patterns: Service Oriented Architecture And Web Services , 2004 .

[11]  Jean Jacques Moreau,et al.  SOAP Version 1. 2 Part 1: Messaging Framework , 2003 .

[12]  Ivan Kurtev,et al.  Adaptability of model transformations , 2005 .

[13]  Remco M. Dijkman,et al.  Business Process Model and Notation - Third International Workshop, BPMN 2011, Lucerne, Switzerland, November 21-22, 2011. Proceedings , 2011, Business Process Modeling Notation.

[14]  Claude Godart,et al.  Centralized versus Decentralized Conversation-based Orchestrations , 2007, The 9th IEEE International Conference on E-Commerce Technology and The 4th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (CEC-EEE 2007).

[15]  Jean Bézivin,et al.  Technological Spaces: An Initial Appraisal , 2002 .

[16]  Moe Thandar Wynn,et al.  Synthesis of Orchestrators from Service Choreographies , 2009, APCCM.

[17]  Jean Bézivin,et al.  ATL: a QVT-like transformation language , 2006, OOPSLA '06.

[18]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[19]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[20]  Ivan Kurtev Ivanov,et al.  Adaptability of model transformations , 2005 .

[21]  Michael Rowley,et al.  Understanding SCA (Service Component Architecture) , 2009 .

[22]  Ingo Weber,et al.  Automated derivation of executable business processes from choreographies in virtual organisations , 2008, Int. J. Bus. Process. Integr. Manag..

[23]  Roberto Chinnici,et al.  Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language , 2007 .

[24]  Valentín Valero,et al.  Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques , 2006, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06).

[25]  Jim Steel,et al.  MOF QVT final adopted specification: meta object facility (MOF) 2.0 query/view/transformation specification. , 2005 .

[26]  T. D. Fletcher,et al.  Web Services Choreography Description Language Version 1.0, W3C , 2004 .

[27]  Vageliokavakli Andpericlesloucopoulos,et al.  GOAL-DRIVEN BUSINESS PROCESS ANALYSIS APPLICATION IN ELECTRICITY DEREGULATION+ , 1999 .

[28]  Oliver Kopp,et al.  Choreography Design Using WS-BPEL , 2008, IEEE Data Eng. Bull..

[29]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[30]  Robert Englander.  Developing Java Beans , 1997 .

[31]  Jean Bézivin,et al.  Global Model Management in Eclipse GMT/AM3 , 2006 .

[32]  Anura Gurugé,et al.  Universal Description, Discovery, and Integration , 2004 .

[33]  Miroslaw Malek,et al.  Current solutions for Web service composition , 2004, IEEE Internet Computing.

[34]  Schahram Dustdar,et al.  A survey on web services composition , 2005, Int. J. Web Grid Serv..

[35]  Marlon Dumas,et al.  Standards for Web Service Choreography and Orchestration: Status and Perspectives , 2005, Business Process Management Workshops.

[36]  Schahram Dustdar,et al.  Integrating Quality of Service Aspects in Top-Down Business Process Development Using WS-CDL and WS-BPEL , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[37]  Roberto Gorrieri,et al.  Choreography and Orchestration: A Synergic Approach for System Design , 2005, ICSOC.

[38]  Sunil Chandra,et al.  Decentralized orchestration of composite web services , 2004, WWW Alt. '04.

[39]  Ravi Khadka,et al.  An Evaluation of Dynamic Web Service Composition Approaches , 2010, ACT4SOC.

[40]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[41]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[42]  Jan Mendling,et al.  From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL , 2005, OTM Workshops.

[43]  Mike P. Papazoglou,et al.  Web Services - Principles and Technology , 2007 .

[44]  Marten van Sinderen,et al.  On Interoperability and Conformance Assessment in Service Composition , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[45]  Frédéric Jouault,et al.  On the interoperability of model-to-model transformation languages , 2007, Sci. Comput. Program..

[46]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[47]  Timothy W. Finin,et al.  A Reactive Service Composition Architecture for Pervasive Computing Environments , 2002, PWC.

[48]  Bignolas Mira da Silva,et al.  Enterprise Architecture , 2007 .

[49]  Mike P. Papazoglou,et al.  Service oriented architectures: approaches, technologies and research issues , 2007, The VLDB Journal.

[50]  Barbara Pernici,et al.  Insights into Web Service Orchestration and Choreography , 2006, Int. J. E Bus. Res..

[51]  Marten van Sinderen,et al.  Model-driven development of mediation for business services using COSMO , 2009, Enterp. Inf. Syst..