Towards automated web service composition with the abductive event calculus

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) according to 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.