An Approach for Automatic Web Services Composition Based on Fluent Calculus

CHEN Zhi-yong,LI Qing-zhong,WANG Wen-ming,CUI Li-zhen,CONG Guo-jin

DOI: https://doi.org/10.3969/j.issn.1000-1220.2013.01.015

2013-01-01

Abstract:In recent years,semantics-based Web Services composition,especially automated composition method has become popularity in the research area of Service Computing.This paper has identified a mapping between an OWL-S process ontology and the fluent calculus concepts.We present an algorithm to translate OWL-S service descriptions into an equivalent fluent calculus service specification.This paper presents a novel approach for automatic Web service composition method based on the formalism of fluent calculus.In our approach,the Web service composition process is viewed as an AI planning problem in the fluent calculus formalism.We show how the planning capabilities of the fluent calculus can be used to automatically generate an Abstract composition model in terms of user personalized requests.This method applies the principle of progression for reasoning the status and action of the object.As a result,it brings a higher efficiency than traditional AI planning algorithms characterized by Situation Calculus.For testing our composition method,we have designed and implemented an experimental prototype and demonstrate its effectiveness with the help of an application scenario from the travel planning domain.Comparing with similar algorithm based on situation calculus,experimental results show that the BCABFC algorithm(Backward-Chaining Algorithm Based On Fluent Calculus) yields better performance over other algorithms.