A Formal Model for Robust Spatial-Aware Service Management in IoT-Enriched Smart Home

We can perceive the advent of Smart Home attributed to the rapid emerging of embedded and tiny intelligent devices and sensors. However, most of current Smart Home systems are still being developed based on the so-called "the system is the application" philosophy, causing the developers to take care of all technical details from ground up. There is relatively little research focuses on the theoretical aspects so that the independent research achievements or results are not interoperable. The concept of the "Ambient", which refers to a bounded place with computing capability, is one of the most important issues when implementing a system in Smart Home. The results of a service composition are not optimized if the concept of Ambient is not taken into account. This paper aims to investigate the spatial issues systematically from theoretical aspects. We propose several new spatial abstractions and a spatial-aware service management scheme on top of a UPnP-based robust service management protocol. Formal validation is also performed to verify the robustness of the proposed approach.