Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > A Formal Model of Context-Awar...

A Formal Model of Context-Awareness and Context-Dependency

Mats Neovius, Kaisa Sere, Lu Yan, Manoranjan Satpathy, A Formal Model of Context-Awareness and Context-Dependency. In: Van Hung Dang, Pandya Paritosh (Eds.), Proceedings of the fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006., 177 - 185, IEEE Computer Society Press, 2006.

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 will 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.

BibTeX entry:

@INPROCEEDINGS{inpNeSeYaSa06a,
  title = {A Formal Model of Context-Awareness and Context-Dependency},
  booktitle = {Proceedings of the fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06),  2006.},
  author = {Neovius, Mats and Sere, Kaisa and Yan, Lu and Satpathy, Manoranjan},
  editor = {Dang, Van Hung and Paritosh, Pandya},
  publisher = {IEEE Computer Society Press},
  pages = {177 - 185},
  year = {2006},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication