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.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.