E SC : A Tool for Automatic Composition of e-Services based on Logics of Programs

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

Proc. of the 5th VLDB Workshop on Technologies for E-Services (TES 2004). Volume 3324 of Lecture Notes in Computer Science. 2004.

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 ESC (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.


@inproceedings{TES-2004,
   title = "E SC  :  A Tool for Automatic Composition of e-Services based on
Logics of Programs",
   year = "2004",
   author = "Daniela Berardi and Diego Calvanese and De Giacomo, Giuseppe
and Maurizio Lenzerini and Massimo Mecella",
   booktitle = "Proc. of the 5th VLDB Workshop on Technologies for
E-Services (TES 2004)",
   pages = "80--94",
   volume = "3324",
   publisher = "Springer",
   series = "Lecture Notes in Computer Science",
   doi = "10.1007/978-3-540-31811-8_7",
}
pdf url