On Completeness of Web Service Compositions

The main objective of composing web services is to identify usable web services through discovery and to orchestrate or assemble selected services according to the goal specification. In this paper, we formulate and study a framework of composing web services through discovery from a given goal service. A general algorithm for composition with or without a goal service invocation request is developed. Two notions of completeness, "schema completeness" and "instance completeness", are defined, which measure the ability of how thoroughly an algorithm can find a composition. The two notions correspond to compositions without or with a goal service request, resp. We show that schema completeness can be achieved by depth-first or breadth-first search combined with a tightening strategy. Further, the breadth-first search avoids redundancy. We also show that while instance complete algorithms exist, they generally need do invoke all candidate services.

[1]  Michael Winikoff,et al.  Exact functional context matching for web services , 2004, ICSOC '04.

[2]  Oscar H. Ibarra,et al.  Automated composition of e-services: lookaheads , 2004, ICSOC '04.

[3]  Katia Sycara,et al.  Adding OWL-S to UDDI, implementation and throughput , 2004 .

[4]  Jianwen Su,et al.  E-services: a look behind the curtain , 2003, PODS.

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

[6]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[7]  W.M.P. van der Aalst,et al.  On the automatic generation of workflow processes based on product structures , 1999 .

[8]  Shiyong Lu,et al.  Semantic correctness of transactions and workflows , 2002 .

[9]  Jianwen Su,et al.  On automated composition for web services , 2007, WWW '07.

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

[11]  Thomas Heinis,et al.  Developing scientific workflows from heterogeneous services , 2006, SGMD.

[12]  Myong H. Kang,et al.  Adding OWL-S Support to the Existing UDDI Infrastructure , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[13]  Amit P. Sheth,et al.  Meteor-s web service annotation framework , 2004, WWW '04.

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

[15]  Jianwen Su,et al.  On Complexity of The Tightening Problem for Web Service Discovery , 2007, IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07).

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

[17]  Amit P. Sheth,et al.  Semantic E-Workflow Composition , 2003, Journal of Intelligent Information Systems.

[18]  Edward A. Lee,et al.  Scientific workflow management and the Kepler system , 2006, Concurr. Comput. Pract. Exp..

[19]  Mark Klein,et al.  Discovering Services: Towards High-Precision Service Retrieval , 2002, WES.

[20]  James A. Hendler,et al.  Template-based Composition of Semantic Web Services , 2005, AAAI Fall Symposium: Agents and the Semantic Web.

[21]  Xiang Fu,et al.  Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..

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

[23]  Anne H. H. Ngu,et al.  Declarative composition and peer-to-peer provisioning of dynamic Web services , 2002, Proceedings 18th International Conference on Data Engineering.

[24]  Sheila A. McIlraith,et al.  Analysis and simulation of Web services , 2003, Comput. Networks.

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