Automatic Composition of E-services That Export Their Behavior

The main focus of this paper is on automatic e-Service composition. We start by developing a framework in which the exported behavior of an e-Service is described in terms of its possible executions (execution trees). Then we specialize the framework to the case in which such exported behavior (i.e., the execution tree of the e-Service) is represented by a finite state machine. In this specific setting, we analyze the complexity of synthesizing a composition, and develop sound and complete algorithms to check the existence of a composition and to return one such a composition if one exists. To the best of our knowledge, our work is the first attempt to provide an algorithm for the automatic synthesis of e-Service composition, that is both proved to be correct, and has an associated computational complexity characterization.

[1]  Massimo Mecella,et al.  Building Flexible and Cooperative Applications Based on e-Services , 2002 .

[2]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[3]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

[4]  James A. Hendler,et al.  The Semantic Web — ISWC 2002 , 2002, Lecture Notes in Computer Science.

[5]  Jianwen Su,et al.  E-services: a look behind the curtain , 2003, PODS.

[6]  Diego Calvanese,et al.  : A Tool for Automatic Composition ofServices Based on Logics of Programs , 2004, TES.

[7]  Massimo Mecella,et al.  Compatibility of e -Services in a Cooperative Multi-platform Environment , 2001, TES.

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

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

[10]  Diego Calvanese,et al.  A Foundational Vision of e-Services , 2003, WES.

[11]  Mike P. Papazoglou,et al.  Web Component: A Substrate for Web Service Reuse and Composition , 2002, CAiSE.

[12]  Mike P. Papazoglou,et al.  Agent-oriented technology in support of e-business , 2001, CACM.

[13]  Xiang Fu,et al.  Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.

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

[15]  Daniela Berardi,et al.  Automatic Composition of e-Services , 2003 .

[16]  Christoph Bussler,et al.  Web Services, E-Business, and the Semantic Web , 2002, Lecture Notes in Computer Science.

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

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

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

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

[21]  Massimo Mecella,et al.  Finite State Automata as Conceptual Model for E-Services , 2004, Trans. SDPS.

[22]  Mike P. Papazoglou,et al.  Tackling the challenges of service composition in e-marketplaces , 2002, Proceedings Twelfth International Workshop on Research Issues in Data Engineering: Engineering E-Commerce/E-Business Systems RIDE-2EC 2002.

[23]  Andrzej Cichocki,et al.  Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes , 2000, CAiSE.

[24]  Massimo Mecella,et al.  Compatibility of workflow services in a cooperative multi-platform environment , 2001 .

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