Towards Semantics Driven Generation of Executable Web Services Compositions

Web services composition is a very active area of research due to the growing interest of public and private organizations in services integration and/or low cost development of value added services. The problem of building an executable web service from a service description has many faces since it involves web services discovery, matching, and integration according to a composition process. In this paper we propose a life cycle for the automated composition of web services which is based on the usage of Domain Ontologies for the description of data and services, and on workflow patterns for the generation of executable processes. In particular the paper focuses on the integration of the matching and composition phases. The approach aims at producing executable processes that can be formally verified and validated. This is achieved by exploiting formal definitions of composition rules and of BPEL4WS constructs. These definitions are expressed in operational semantics and are translated into Prolog programs in order to be throughout the composition process. A reference architecture for implementing the proposed life cycle is also described.

[1]  Birgitta König-Ries,et al.  What is needed for semantic service descriptions? A proposal for suitable language constructs , 2005, Int. J. Web Grid Serv..

[2]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[3]  Vasant Honavar,et al.  Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements , 2006, ICSOC.

[4]  Marco Pistore,et al.  Automated Composition of Semantic Web Services into Executable Processes , 2004, SEMWEB.

[5]  James A. Hendler,et al.  Filtering and selecting semantic Web services with interactive composition techniques , 2004, IEEE Intelligent Systems.

[6]  Anne H. H. Ngu,et al.  QoS-aware middleware for Web services composition , 2004, IEEE Transactions on Software Engineering.

[8]  Michael Grüninger,et al.  A First-Order Ontology for Semantic Web Services , .

[9]  Deborah L. McGuinness,et al.  Bringing Semantics to Web Services: The OWL-S Approach , 2004, SWSWPC.

[10]  Sougata Mukherjea,et al.  An Integrated Development Environment for Web Service Composition , 2007, IEEE International Conference on Web Services (ICWS 2007).

[11]  Marco Pistore,et al.  Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition , 2005, ESWC.

[12]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[13]  Matthias Klusch,et al.  OWLS-MX: Hybrid OWL-S Service Matchmaking , 2005, AAAI Fall Symposium: Agents and the Semantic Web.

[14]  Koustuv Dasgupta,et al.  Synthy: A system for end to end composition of web services , 2005, J. Web Semant..

[15]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[16]  Wil M. P. van der Aalst,et al.  Formal semantics and analysis of control flow in WS-BPEL , 2007, Sci. Comput. Program..

[17]  Diego Calvanese,et al.  Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.

[18]  Fabio Casati,et al.  Managing Impacts of Security Protocol Changes in Service-Oriented Applications , 2007, 29th International Conference on Software Engineering (ICSE'07).

[19]  Quan Z. Sheng,et al.  The Self-Serv Environment for Web Services Composition , 2003, IEEE Internet Comput..

[20]  Valeria Vittorini,et al.  Automatic Analysis of Control Flow inWeb Services Composition Processes , 2007, 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07).

[21]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[22]  Kunal Verma,et al.  Constraint driven Web service composition in METEOR-S , 2004, IEEE International Conference onServices Computing, 2004. (SCC 2004). Proceedings. 2004.

[23]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[24]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[25]  Wolfgang Reisig,et al.  ASM-based Semantics for BPEL: The Negative Control Flow , 2005, Abstract State Machines.

[26]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[27]  Freddy Lécué,et al.  Semantic Web Service Composition through a Matchmaking of Domain , 2006, 2006 European Conference on Web Services (ECOWS'06).

[28]  Valeria Vittorini,et al.  Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example , 2005, HPCC.

[29]  Roozbeh Farahbod,et al.  A Formal Semantics for the Business Process Execution Language for Web Services , 2005, WSMDEIS.

[30]  Andrea Ferrara,et al.  Web services: a process algebra approach , 2004, ICSOC '04.

[31]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[32]  van der Wmp Wil Aalst,et al.  Workflow control-flow patterns : a revised view , 2006 .

[33]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[34]  Rik Eshuis,et al.  Verification support for workflow design with UML activity graphs , 2002, ICSE '02.

[35]  Diego Calvanese,et al.  Towards Automatic Web Service Discovery and Composition in a Context with Semantics , Messages , and Internal Process Flow ( A Position Paper ) , 2005 .