Verification-enabling interaction model for services in smart space: a TAIS case

Smart spaces are used to build semantically enriched communication media for integration of different services. Generally, the services functioning in one particular smart space can be developed by different teams and without some general perspective. This may result in instability of different kinds and improper functioning of smart space-based system overall. In this paper, an interaction model is proposed for Tourist assistant - TAIS, a smart space-based service-oriented mobile application that provides a tourist information about attractions around based on his/her preferences and current situation in location region. The proposed interaction model is backed by a two-layered ontology of tourism domain and a formal model that can be used to ensure stability of the overall application.