: A Tool for Automatic Composition ofServices Based on Logics of Programs

In this paper we discuss an effective technique for automatic service composition and we present the prototype software that implements it. In particular, we characterize the behavior of a service in terms of a finite state machine. In this setting we discuss a technique based on satisfiability in a variant of Propositional Dynamic Logic that solves the automatic composition problem. Specifically, given (i) a client specification of his desired service, i.e., the service he would like to interact with, and (ii) a set of available services, our technique synthesizes the orchestration schema of a composite service that uses only the available services and fully realizes the client specification. The developed system is an open-source software tool, called (e-service composer), that implements our composition technique starting from services, each of them described in terms of a WSDL specification and a behavioral description expressed in any language that can capture finite state machines.

[1]  Roy Dyckhoff.  Automated Reasoning with Analytic Tableaux and Related Methods , 2000, Lecture Notes in Computer Science.

[2]  Peter F. Patel-Schneider,et al.  DLP System Description , 1998, Description Logics.

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

[4]  Piergiorgio Bertoli,et al.  Planning and Monitoring Web Service Composition , 2004, AIMSA.

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

[6]  Mike P. Papazoglou,et al.  Introduction: Service-oriented computing , 2003, CACM.

[7]  Randy H. Katz,et al.  Contemporary Logic Design , 2004 .

[8]  Torben Bach Pedersen,et al.  Multidimensional Database Technology , 2001, Computer.

[9]  Alan H. Karp,et al.  Conversations + Interfaces = Business Logic , 2001, TES.

[10]  Ewa Orlowska,et al.  Service-Oriented Computing - ICSOC 2003 , 2003, Lecture Notes in Computer Science.

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

[12]  Diego Calvanese,et al.  e-Service Composition by Description Logics Based Reasoning , 2003, Description Logics.

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

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

[15]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[16]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[17]  Diego Calvanese,et al.  Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.

[18]  Fabio Casati,et al.  Technologies for E-Services , 2001, Lecture Notes in Computer Science.

[19]  Ian Horrocks.  The FaCT System , 1998, TABLEAUX.

[20]  Yde Venema,et al.  Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.

[21]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

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

[23]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[24]  Mike P. Papazoglou,et al.  Introduction to the Special Issue on Service-Oriented Computing , 2003 .

[25]  Francesco M. Donini,et al.  Decidable reasoning in terminological knowledge representation systems , 1993 .

[26]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[27]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

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