$\mathcal {ESC}$ : A Tool for Automatic Composition of e-Services Based on Logics of Programs

Autor:	Daniela Berardi, Maurizio Lenzerini, Diego Calvanese, Massimo Mecella, Giuseppe De Giacomo
Rok vydání:	2005
Předmět:	E-services Finite-state machine Prototype software Description logic Programming language Computer science Software tool Schema (psychology) Service composition computer.software_genre computer Satisfiability
Zdroj:	Technologies for E-Services ISBN: 9783540250494 TES
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b5d0c9256e86598bd46d0628f70f9937 https://doi.org/10.1007/978-3-540-31811-8_7 Zobrazit plný text záznamu