Synthesis of Underspecified Composite e-Services Based on Automated Reasoning
5,00 €
Area 09 – Ingegneria industriale e dell'informazione
In this paper we study automatic composition synthesis of e-Services, based on automated reasoning.
The behavior of an e-Service is represented in terms of a deterministic transition system (or a finite state machine), in which for each action the role of the e-Service, either as initiator or as servant, is highlighted. In this setting we present an algorithm based on a Description Logic that solves the automatic composition problem. Specifically, given (i) a possibly incomplete specification of the sequences of actions that a client would like to realize, and (ii) a set of available e-Services, our technique synthesizes a composite e-Service that (i) uses only the available e-Services and (ii) interacts with the client “in accordance” to the given specification. We also study the computational complexity of the proposed algorithm.
pagine: 16
formato: 17 x 24
ISBN: 978-88-7999-696-9
data pubblicazione: Gennaio 2015
editore: Aracne
collana: Dipartimento di Informatica e Sistemistica “Antonio Ruberti” della “Sapienza” Università di Roma | 2004/9
Informativa si avvale di cookie, anche di terze parti, per offrirti il migliore servizio possibile. Cliccando 'Accetto' o continuando la navigazione ne acconsenti l'utilizzo. Per saperne di più