Reasoning about Actions for e-Service Composition

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, and Massimo Mecella

Proc. of the ICAPS 2003 Workshop on Planning for Web Services (P4WS 2003). 2003.

Composition of e-Services is the issue of synthesizing a new composite e-Service, obtained by combining a set of available component e-Services, when a client request cannot be satisfied by available e-Services. In this paper we study the problem of composition synthesis in a general framework. We consider e-Services as arbitrary (possibly infinite) execution trees, i.e., as trees of all potential interactions with clients, and characterize composition in this abstract setting. We then show how this setting can be realized using Reasoning About Actions, in particular reasoning in Situation Calculus, and exploiting a correspondence with Deterministic Propositional Dynamic Logic, we provide automated procedures and complexity results for performing composition.

   title = "Reasoning about Actions for e-Service Composition",
   year = "2003",
   author = "Daniela Berardi and Diego Calvanese and De Giacomo, Giuseppe
and Massimo Mecella",
   booktitle = "Proc. of the ICAPS 2003 Workshop on Planning for Web
Services (P4WS 2003)",
ps.gz pdf