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.
2012
Confederated International Conferences on On the Move to Meaningful Internet Systems, OTM 2012: CoopIS, DOA-SVI, and ODBASE 2012
planning techniques; process/service composition; smart houses/buildings
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
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].
File allegati a questo prodotto
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.

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

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

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