Towards Automated Web Service Composition with the Abductive Event Calculus

Fifth Meeting of IUFRO Working Party 7.03.04 – Diseases and insects in forest nurseries

Onur Aydın ; Nihan Kesim Cicekli ; Ilyas Cicekli

Others  :  http://CEUR-WS.org/Vol-196/alpsws2006-poster1.pdf
PID  :  444

来源: CEUR

【 摘 要 】

In this paper, the use of a logic programming framework, the event calculus [3], is discussed in the automated composition of web services. The web service discovery problem is beyond of the scope of the paper. Our goal is to show that the event calculus can be used for both definitions of web services composition. That is, it can be used to generate a composite process as the output of planning. It can also be used to define a generic composition and produce a user specific composition (plan) accordingto the user constraints. Abductive planning of event calculus is used to show that when atomic services are available, composition of services that would yield the desired effect is possible. An abductive planner implementation of the event calculus [4] is extended to be used for plan generation.[First Paragragh]