SHORE: A Model-driven Approach That Combines Goal, Semantic and Variability Models for Smart HOme self-Reconfiguration

Smart Homes, and more generally the Internet of Things (IoT), are gaining more and more audience, but this kind of environment is still challenging on several aspects. Semantic representations, mainly ontologies, have been used to cope with the complexity and lack of interoperability due to the wide variety of objects and services. However, these semantic representations do not permit a fine description of variability and evolution to achieve particular objectives. Therefore, in this paper, we introduce a model-driven approach, so-called SHORE for Smart HOme self-REconfiguration, which addresses these limitations and covers the complexity and variability of Smart Homes allowing automated reconfiguration guided by their goals. Thus, SHORE includes artifacts, based on goal, semantic and feature models, that are used at design-time to conceptualise Smart Homes, their variants and goals. Whilst, at runtime, SHORE exploits these artifacts to detect situations that require reconfiguration, i.e., detect deviations from their goals, and then to calculate optimal reconfiguration plans to cope with these situations.