FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
Leveraging Eclipse for integrated model-based engineering of web service compositions
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
Applied Ontology
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
A survey of service composition in ambient intelligence environments
Artificial Intelligence Review
| Hi-index | 0.00 |
Web service composition is mandatory when complex functional requirements cannot be satisfied by a single Web service. Due to the exponential growth of published Web services, the automatic Web service discovery and composition are highly desirable tasks. This paper presents a new approach for automatic Web service composition based on the the formalism of fluent calculus and using semantic service descriptions. In our approach, the Web service composition process is viewed as an AI planning problem in the fluent calculus formalism. To semantically describe the Web services, we have used a domain ontology which is then translated into a fluent calculus knowledge base, necessary for the composition planning phase. For verifying the composed services, the Label Transition System Analyzer (LTSA) formalism is used. We also present an experimental prototype for the fluent calculus based Web service composition and demonstrate its effectiveness with the help of an application scenario from the social event planning domain.