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

fYear

2006

fDate

11-15 Sept. 2006

Firstpage

177

Lastpage

185

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Formal Methods, 2006. SEFM 2006. Fourth IEEE International Conference on

Conference_Location

Pune

Print_ISBN

0-7695-2678-0

Type

conf

DOI

10.1109/SEFM.2006.2

Filename

1698735