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

Author

Ponomarev, Andrew ; Parfenov, Vladimir

Author_Institution

SPIIRAS, St. Petersburg, Russia

fYear

2015

fDate

20-24 April 2015

Firstpage

163

Lastpage

172

Abstract

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.

Keywords

formal verification; human computer interaction; mobile computing; ontologies (artificial intelligence); service-oriented architecture; travel industry; TAIS case; Tourist assistant; communication media; formal model; location region; smart space-based service-oriented mobile application; smart space-based system overall; stability; tourism domain; tourist information; two-layered ontology; verification-enabling interaction model; Databases; Information services; Mobile communication; Ontologies; Resource description framework; Subscriptions; Vocabulary;

fLanguage

English

Publisher

ieee

Conference_Titel

Open Innovations Association (FRUCT), 2015 17TH Conference of

Conference_Location

Yaroslavl

ISSN

2305-7254

Type

conf

DOI

10.1109/FRUCT.2015.7117988

Filename

7117988