Reasoning about actions for e-service composition

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.

[1]  Gerhard Weikum,et al.  A Formal Foundation for Distributed Workflow Execution Based on State Charts , 1997, ICDT.

[2]  Alan Robinson,et al.  The Inverse Method , 2001, Handbook of Automated Reasoning.

[3]  JOHN F. Young.  Machine Intelligence , 1971, Nature.

[4]  Gerhard Weikum,et al.  XML-enabled workflow management for e-services across heterogeneous platforms , 2001, The VLDB Journal.

[5]  R. James Firby,et al.  An Investigation into Reactive Planning in Complex Domains , 1987, AAAI.

[6]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[7]  Diego Calvanese,et al.  Reasoning in Expressive Description Logics , 2001, Handbook of Automated Reasoning.

[8]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[9]  Editors , 1986, Brain Research Bulletin.

[10]  Jerzy Tiuryn,et al.  Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[11]  Thomi Pilioura,et al.  E-Services: Current Technology and Open Issues , 2001, TES.

[12]  Massimo Mecella,et al.  Modeling E -service Orchestration through Petri Nets , 2002, TES.

[13]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[14]  Fabio Casati,et al.  Dynamic and adaptive composition of e-services , 2001, Inf. Syst..

[15]  Hye-Young Paik,et al.  Peer-to-Peer Traced Execution of Composite Services , 2001, TES.

[16]  Marco Pistore,et al.  A Request Language for Web-Services Based on Planning and Constraint Satisfaction , 2002, TES.

[17]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.