AND/OR Graph and Search Algorithm for Discovering Composite Web Services

This paper presents a formalization of the Web Service composition problem as a search problem in an AND/OR graph, and a search algorithm for searching the graph to identify composite service(s) that satisfies a Web Service request. Given a service request that can only be satisfied by a composition of Web Services, we identify the service categories that are relevant to the request and dynamically construct an AND/OR graph to capture the input/output dependencies among the Web Services of these service categories. The graph is modified, based on the information provided in the service request. The search algorithm is then used to search the modified AND/OR graph for a minimal and complete composite service template that satisfies the service request. The algorithm can be applied repeatedly to the graph to search for alternative templates until the result is approved by the service requester. We have evaluated the algorithm both analytically and experimentally, and the experiment results are presented.

[1]  A. Martin-Löf,et al.  Generating Simple Random Graphs with Prescribed Degree Distribution , 2006, 1509.06985.

[2]  Herman Lam,et al.  A Semi-Automatic Approach to Composite Web Services Discovery, Description and Invocation , 2004, Int. J. Web Serv. Res..

[3]  Ismailcem Budak Arpinar,et al.  Ontology-driven Web services composition platform , 2004, Proceedings. IEEE International Conference on e-Commerce Technology, 2004. CEC 2004..

[4]  P. P. Chakrabarti.  Algorithms for Searching Explicit AND/OR Graphs and their Applications to Problem Reduction Search , 1994, Artif. Intell..

[5]  Steven Skiena,et al.  The Algorithm Design Manual , 2020, Texts in Computer Science.

[6]  A. Bagchi,et al.  AND/OR graph heuristic search methods , 1985, JACM.

[7]  Alberto Martelli,et al.  Additive AND/OR Graphs , 1973, IJCAI.

[8]  Giuseppe De Giacomo,et al.  Reasoning about actions for e-service composition , 2003 .

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

[10]  Alberto Martelli,et al.  Optimizing decision trees through heuristically guided search , 1978, CACM.

[11]  Quan Z. Sheng,et al.  Quality driven web services composition , 2003, WWW '03.

[12]  Craig A. Knoblock,et al.  A View Integration Approach to Dynamic Composition of Web Services , 2003 .

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

[14]  David Edmond,et al.  The Use of Patterns in Service Composition , 2002, WES.

[15]  P. P. Chakrabarti,et al.  Heuristic Search in Restricted Memory , 1989, Artif. Intell..

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

[17]  Bruce A. Reed,et al.  The Size of the Giant Component of a Random Graph with a Given Degree Sequence , 1998, Combinatorics, Probability and Computing.

[18]  Herman Lam,et al.  Composite service discovery, description and invocation , 2004 .

[19]  Ellis Horowitz,et al.  Fundamentals of data structures in C , 1976 .

[20]  Fabio Casati,et al.  eFlow: a platform for developing and managing composite e-services , 2000, Proceedings Academia/Industry Working Conference on Research Challenges '00. Next Generation Enterprises: Virtual Organizations and Mobile/Pervasive Technologies. AIWORC'00. (Cat. No.PR00628).

[21]  James A. Hendler,et al.  Automatic Web Services Composition Using SHOP2 , 2003, WWW.

[22]  Atsushi Kanai,et al.  Scenario-based service composition method in the open service environment , 2001, Proceedings 5th International Symposium on Autonomous Decentralized Systems.

[23]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[24]  Bruce A. Reed,et al.  A Critical Point for Random Graphs with a Given Degree Sequence , 1995, Random Struct. Algorithms.

[25]  Nils J. Nilsson,et al.  Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[26]  Jesfis Peral,et al.  Heuristics -- intelligent search strategies for computer problem solving , 1984 .

[27]  Marcus Fontoura,et al.  TSpaces Services Suite: Automating the Development and Management of Web Services , 2003, WWW.

[28]  Jana Koehler,et al.  Web Service Composition - Current Solutions and Open Problems , 2003 .