In this paper we look at the problem of composing services that export their behavior in terms of a transition system, characterizing the choices of actions given to a client at each point in time. The composition consists of synthesizing an orchestrator that coordinates the available services so as to mimic the desired target service asked by the client. Specifically, in this paper we study the "conformant form" of the problem, where available services are partially controllable and partially observable, and hence, the orchestrator has to make its decisions exploiting the observations made so far only. We give a sound and complete procedure to synthesize the orchestrator in such case, and characterize the computational complexity of the problem. The procedure is based on working with belief (or knowledge) states, a standard technique to tackle conformant planning. Moreover we show that, although in general unavoidable, the powerset construction at the base of the belief state approach can be delegated to the symbolic manipulations of the game-structure model checking tool (TLV), which can be used to efficiently implement the orchestrator synthesis procedure. Copyright © 2009, Association for the Advancement of Artificial Intelligence. All rights reserved.

Composition of partially observable services exporting their behaviour / DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Patrizi, Fabio. - (2009), pp. 90-97. (Intervento presentato al convegno 19th International Conference on Automated Planning and Scheduling, ICAPS 2009 tenutosi a Thessaloniki nel 19 September 2009 through 23 September 2009).

Composition of partially observable services exporting their behaviour

DE GIACOMO, Giuseppe;DE MASELLIS, RICCARDO;PATRIZI, FABIO
2009

Abstract

In this paper we look at the problem of composing services that export their behavior in terms of a transition system, characterizing the choices of actions given to a client at each point in time. The composition consists of synthesizing an orchestrator that coordinates the available services so as to mimic the desired target service asked by the client. Specifically, in this paper we study the "conformant form" of the problem, where available services are partially controllable and partially observable, and hence, the orchestrator has to make its decisions exploiting the observations made so far only. We give a sound and complete procedure to synthesize the orchestrator in such case, and characterize the computational complexity of the problem. The procedure is based on working with belief (or knowledge) states, a standard technique to tackle conformant planning. Moreover we show that, although in general unavoidable, the powerset construction at the base of the belief state approach can be delegated to the symbolic manipulations of the game-structure model checking tool (TLV), which can be used to efficiently implement the orchestrator synthesis procedure. Copyright © 2009, Association for the Advancement of Artificial Intelligence. All rights reserved.
2009
19th International Conference on Automated Planning and Scheduling, ICAPS 2009
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Composition of partially observable services exporting their behaviour / DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Patrizi, Fabio. - (2009), pp. 90-97. (Intervento presentato al convegno 19th International Conference on Automated Planning and Scheduling, ICAPS 2009 tenutosi a Thessaloniki nel 19 September 2009 through 23 September 2009).
File allegati a questo prodotto
File Dimensione Formato  
VE_2009_11573-194275.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 318.61 kB
Formato Adobe PDF
318.61 kB Adobe PDF   Contatta l'autore

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/194275
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 13
  • ???jsp.display-item.citation.isi??? ND
social impact