@inproceedings{57d22deb9d9c455a944c5c518ebb1d67,
title = "Goal-based Composition of Stateful Services for Smart Homes",
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.",
keywords = "process composition, service composition, smart houses, smart buildings, planning techniques",
author = "{De Giacomo}, Giuseppe and {Di Ciccio}, Claudio and Paolo Felli and Yuxiao Hu and Massimo Mecella",
year = "2012",
month = sep,
doi = "10.1007/978-3-642-33606-5_13",
language = "English",
isbn = "978-3-642-33605-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "194--211",
editor = "Robert Meersman and Herv{\'e} Panetto and Dillon, {Tharam S.} and Stefanie Rinderle-Ma and Peter Dadam and Xiaofang Zhou and Siani Pearson and Alois Ferscha and Sonia Bergamaschi and Cruz, {Isabel F.}",
booktitle = "On the Move to Meaningful Internet Systems: OTM 2012, Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I",
}