The emerging trend in process management and in service oriented applications is to enable the composition of new distributed processes on the basis of user requests, through (parts of) available (and often embedded in the environment) services to be composed and orchestrated in order to satisfy such requests. Here, we consider a user process as specified in terms of repeated goals that the user may choose to get fulfilled, organized in a kind of routine. Available services are suitably composed and orchestrated in order to realize such a process. In particular we focus on smart homes, in which available services are those ones offered by sensor and actuator devices deployed in the home, and the target user process is directly and continuously controlled by the inhabitants, through actual goal choices. We provide a solver that synthesizes the orchestrator for the requested process and we show its practical applicability in a real smart home use case. © 2012 Springer-Verlag.
Goal-based composition of stateful services for smart homes / DE GIACOMO, Giuseppe; DI CICCIO, Claudio; Felli, Paolo; Yuxiao, Hu; Mecella, Massimo. - STAMPA. - 7565 LNCS:PART 1(2012), pp. 194-211. (Intervento presentato al convegno Confederated International Conferences on On the Move to Meaningful Internet Systems, OTM 2012: CoopIS, DOA-SVI, and ODBASE 2012 tenutosi a Rome nel 10 September 2012 through 14 September 2012) [10.1007/978-3-642-33606-5_13].
Goal-based composition of stateful services for smart homes
DE GIACOMO, Giuseppe;DI CICCIO, Claudio;FELLI, PAOLO;MECELLA, Massimo
2012
Abstract
The emerging trend in process management and in service oriented applications is to enable the composition of new distributed processes on the basis of user requests, through (parts of) available (and often embedded in the environment) services to be composed and orchestrated in order to satisfy such requests. Here, we consider a user process as specified in terms of repeated goals that the user may choose to get fulfilled, organized in a kind of routine. Available services are suitably composed and orchestrated in order to realize such a process. In particular we focus on smart homes, in which available services are those ones offered by sensor and actuator devices deployed in the home, and the target user process is directly and continuously controlled by the inhabitants, through actual goal choices. We provide a solver that synthesizes the orchestrator for the requested process and we show its practical applicability in a real smart home use case. © 2012 Springer-Verlag.File | Dimensione | Formato | |
---|---|---|---|
VE_2012_11573-485088.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
492.54 kB
Formato
Adobe PDF
|
492.54 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.