Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications

We propose a specification-driven approach to Web service composition. The proposed framework allows users to start with a high-level, possibly incomplete specification of a desired (goal) service that is to be realized using a subset of the available component services. These services are represented by the system using transition systems augmented with guards over variables with infinite domains and are used to determine a strategy for their composition that would realize the goal service. In the event that the goal service cannot be realized using the available services, the system identifies the cause(s) for such failure which can then be used by the developer to reformulate the goal specification. Thus, the system supports Web service composition through iterative refinement of the functional specifications. We present a prototype implementation in tabled-logic programming environment that illustrates the key features of the proposed approach

[1]  Richard J. Waldinger.  Web Agents Cooperating Deductively , 2000, FAABS.

[2]  Xiang Fu,et al.  Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.

[3]  Koustuv Dasgupta,et al.  A service creation environment based on end to end composition of Web services , 2005, WWW '05.

[4]  Vasant Honavar,et al.  A framework for semantic web services discovery , 2005, WIDM '05.

[5]  C. R. Ramakrishnan,et al.  Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming , 2001, ICLP.

[6]  Michelle L. Crane,et al.  UML vs. classical vs. rhapsody statecharts: not all models are created equal , 2005, MoDELS'05.

[7]  Vasant Honavar,et al.  MoSCoE: A Framework for Modeling Web Service Composition and Execution , 2006, 22nd International Conference on Data Engineering Workshops (ICDEW'06).

[8]  Ratnesh Kumar,et al.  Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables , 2006, IEEE Transactions on Automation Science and Engineering.

[9]  Schahram Dustdar,et al.  Challenges and solutions for model driven Web service composition , 2005, 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise (WETICE'05).

[10]  Jianwen Su,et al.  Tools for composite web services: a short overview , 2005, SGMD.

[11]  Diego Calvanese,et al.  Automatic Composition of Transition-based Semantic Web Services with Messaging , 2005, VLDB.

[12]  Mihhail Matskin,et al.  Logic-based Web services composition: from service description to process model , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[13]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[14]  Anupriya Ankolekar,et al.  Automated discovery, interaction and composition of Semantic Web services , 2003, J. Web Semant..

[15]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

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

[17]  Athman Bouguettaya,et al.  A multilevel composability model for semantic Web services , 2005, IEEE Transactions on Knowledge and Data Engineering.

[18]  David Scott Warren,et al.  The XSB Programming System , 1993, Workshop on Programming with Logic Databases , ILPS.

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

[20]  Soundar R. T. Kumara,et al.  WSBen: A Web Services Discovery and Composition Benchmark , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).