Automatic Service Composition via Simulation


In this paper we study the issue of service composition, for services that export a representation of their behavior in the form of a finite deterministic transition system. In particular, given a specification of the target service requested by the client as a finite deterministic transition system, the problem we face is how we can exploit the computations of the available services for realizing the computations of the target service. While ways to tackle such a problem are known, in this paper we present a new technique that is based on the notion of simulation, which is still optimal from the computational complexity point. Notably, such a technique, opens up the possibility of devising composition in a “just-in-time” fashion. Indeed, we show that, by exploiting simulation, it is actually possible to implicitly compute all possible compositions at once, and delay the choice of the actual composition to run-time.

DOI: 10.1142/S0129054108005759

Extracted Key Phrases

8 Figures and Tables


Citations per Year

66 Citations

Semantic Scholar estimates that this publication has 66 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Berardi2008AutomaticSC, title={Automatic Service Composition via Simulation}, author={Daniela Berardi and Fahima Cheikh and Giuseppe De Giacomo and Fabio Patrizi}, journal={Int. J. Found. Comput. Sci.}, year={2008}, volume={19}, pages={429-451} }