AI planning-based semantic web service composition

Semantic web service composition constitutes the phases namely specification, matchmaking, planning, validation, discovery and execution. As web service composition is categorised as an AI planning problem, the objective of this paper is to propose a fluent calculus approach for the planning phase of the semantic web service composition. Among various methods to solve the AI planning problem, logic programming has been identified as the most appropriate candidate to handle the runtime behaviours of web services. FLUX has been used for representing constraints in fluent calculus formalism. Label transition system analyser (LTSA) formalisms are used to validate the plans generated using FLUX. An e-shopping domain is considered as a case study.

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

[2]  Craig A. Knoblock,et al.  Web service composition as planning , 2003 .

[3]  Nihan Kesim Cicekli,et al.  Automated Web Services Composition with the Event Calculus , 2007, ESAW.

[4]  A. Bhuvaneswari,et al.  Reengineering Semantic Web Service Composition in a Mobile Environment , 2010, 2010 International Conference on Recent Trends in Information, Telecommunication and Computing.

[5]  Michael Thielscher.  Handling Implication and Universal Quantification Constraints in FLUX , 2005, CP.

[6]  I. Salomie,et al.  Fluent calculus-based Web service composition — From OWL-S to fluent calculus , 2008, 2008 4th International Conference on Intelligent Computer Communication and Processing.

[7]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[8]  Michael Thielscher,et al.  From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..

[9]  Joachim Peer,et al.  Web Service Composition as AI Planning { a Survey ⁄ , 2005 .

[10]  Ralf Steinmetz,et al.  An Approach for Replanning of Web Service Workflows , 2006, AMCIS.

[11]  Bijan Parsia,et al.  Planning for Semantic Web Services , 2004, SWS@ISWC.

[12]  Michael Thielscher,et al.  The Fluent Calculus - A Specification Language for Robots with Sensors in Nondeterministic, Concurre , 2000 .

[13]  Michael Thielscher,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Flux: a Logic Programming Method for Reasoning Agents , 2003 .

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

[15]  Incheon Paik,et al.  Planning and composition of Web services with dynamic constraints using situation calculus , 2005, The Fifth International Conference on Computer and Information Technology (CIT'05).

[16]  G. R. Karpagam,et al.  Applying fluent calculus for automated and dynamic semantic web service composition , 2010, ISWSA '10.

[17]  Athman Bouguettaya,et al.  Semantic web enabled composition of web services , 2004 .

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

[19]  Drew McDermott,et al.  The 1998 AI Planning Systems Competition , 2000, AI Mag..

[20]  James A. Hendler,et al.  Information gathering during planning for Web Service composition , 2005, J. Web Semant..