Abstract | ||
---|---|---|
Abstract. In this paper we discuss an effective technique for automatic service composition and we present the prototype software that imple- ments 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 spec- ification 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 im- plements 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. |
Year | Venue | DocType |
---|---|---|
2004 | TES | Conference |
Citations | PageRank | References |
2 | 0.52 | 9 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniela Berardi | 1 | 1067 | 51.72 |
Diego Calvanese | 2 | 10262 | 792.67 |
Giuseppe De Giacomo | 3 | 7004 | 590.40 |
Maurizio Lenzerini | 4 | 9620 | 1522.63 |
massimo mecella | 5 | 1841 | 168.35 |