Title :
A Formal Model of Context-Awareness and Context-Dependency
Author :
Neovius, Mats ; Sere, Kaisa ; Yan, Lu ; Satpathy, M.
Author_Institution :
Dept. of Inf. Technol., Abo Akad. Univ., Turku
Abstract :
The communication environment surrounding our daily experience is increasingly characterized by mobile devices that can exchange multimedia information and provide access to various services of complex nature. The trend is now clear that future consumer computing experience would be based on multiple pervasive communication devices and services, where navigability, context-sensitivity, adaptability and ubiquity are key characteristics. Several issues have been studied, models and methodologies proposed, and tools and systems implemented. However, we look at the foundation, where some of the most relevant issues probably are a formal model of context-awareness and context-dependency. In this paper, we discuss a formal foundation and software engineering techniques for mobile context-aware and context-dependent service derivation and application development, emphasizing the relationships between context and system
Keywords :
formal verification; mobile computing; multimedia computing; context-awareness; context-dependency; formal model; mobile devices; multimedia information; multiple pervasive communication; software engineering techniques; Application software; Context modeling; Context-aware services; Information processing; Information technology; Mobile communication; Pervasive computing; Software architecture; Software engineering; Wireless sensor networks;
Conference_Titel :
Software Engineering and Formal Methods, 2006. SEFM 2006. Fourth IEEE International Conference on
Conference_Location :
Pune
Print_ISBN :
0-7695-2678-0
DOI :
10.1109/SEFM.2006.2
