Open AccessA Formal Model for Context-Awareness
Author(s) -
Mikkel Baun Kjærgaard,
Jonathan Bunde-Pedersen
Publication year - 2006
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v13i2.21908
Subject(s) - computer science , context (archaeology) , calculus (dental) , ubiquitous computing , situation calculus , connection (principal bundle) , process calculus , pi calculus , formal methods , theoretical computer science , programming language , human–computer interaction , mathematics , paleontology , geometry , dentistry , biology , medicine
There is a definite lack of formal support for modeling real- istic context-awareness in pervasive computing applications. The Conawa calculus presented in this paper provides mechanisms for modeling complex and interwoven sets of context-information by extending ambient calculus with new constructs and capabilities. In connection with the calculus we present four scenarios which are used to evaluate Conawa. The calculus is a step in the direction of making formal methods applicable in the area of pervasive computing.