Authors: G.R. Karpagam, A. Bhuvaneswari
Addresses: CSE Department, PSG College of Technology, Coimbatore – 641 004, Tamilnadu, India. ' CSE Department, PSG College of Technology, Coimbatore – 641 004, Tamilnadu, India
Abstract: 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.
Keywords: semantic web; web service composition; AI planning; fluent calculus; automation; dynamism; web services; artificial intelligence; e-shopping; electronic shopping; online shopping; constraints.
International Journal of Innovative Computing and Applications, 2011 Vol.3 No.3, pp.126 - 135
Available online: 15 Aug 2011 *Full-text access for editors Access for subscribers Purchase this article Comment on this article