Research on Context-aware Web Service Composition based on the Fluent Calculus

With the exponential growth in available web services and diversity of user needs, automatic web service selection and composition techniques have attracted the attention of many researchers. This paper presents a fluent calculus-based, context-aware web service composition model. The model uses an artificial intelligence (AI) planning-based web service composition technique, which translates web service composition problems into AI planning problems, and then achieves target goals by acquisition and reasoning using existing environmental knowledge. We first construct a model for service, service context, and service composition on the basis of the fluent calculus theory. Then, we extend the basic axioms of the fluent calculus (initial state and state update axioms) to describe context information, an approach that endows context-aware ability to the fluent calculus-based web service composition. Furthermore, we implement a fluent calculus-based, context-aware web service composition model using a fluent calculus executor or FLUX in a digital tourism service scenario. The experimental results show that the proposed model has context-aware capability and exhibits better performance in service composition.

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

[2]  Bo Cheng,et al.  Context-Aware Web Services Orchestration for Multimedia Conference Process Management , 2011 .

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

[4]  Y. Yamato,et al.  Study and Evaluation of Context-Aware Service Composition and Change-Over Using BPEL Engine and Semantic Web Techniques , 2008, 2008 5th IEEE Consumer Communications and Networking Conference.

[5]  Nanjangud C. Narendra,et al.  Automated Context-Aware Adaptation of Web Service Executions , 2006, IEEE International Conference on Computer Systems and Applications, 2006..

[6]  Ioan Salomie,et al.  A Fluent Calculus Approach to Automatic Web Service Composition , 2009 .

[7]  Michael Thielscher,et al.  Introduction to the Fluent Calculus , 1998, Electron. Trans. Artif. Intell..

[8]  Min Liu,et al.  Towards Context-Aware Composition of Web Services , 2006, 2006 Fifth International Conference on Grid and Cooperative Computing (GCC'06).

[9]  Ioan Salomie,et al.  Fluent Calculus Based Web Service Composition , 2008, RR.

[10]  Maja Vukovic,et al.  Context aware service composition , 2007 .

[11]  Changqin Huang,et al.  A Compensation Paired Net-based Refinement Method for Web Services Composition , 2011 .

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

[13]  Sebastián Uchitel,et al.  LTSA-WS: a tool for model-based verification of web service compositions and choreography , 2006, ICSE.