Modeling adaptive behaviors in Context UNITY

Context-aware computing refers to a paradigm in which applications sense aspects of the environment and use this information to adjust their behavior in response to changing circumstances. In this paper, we present a formal model and notation (Context UNITY) for expressing quintessential aspects of...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science 2007-05, Vol.376 (3), p.185-204
Main Authors: Roman, Gruia-Catalin, Julien, Christine, Payton, Jamie
Format: Article
Language:English
Subjects:
Adaptive systems
Context-aware computing
Formal methods
UNITY
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Context-aware computing refers to a paradigm in which applications sense aspects of the environment and use this information to adjust their behavior in response to changing circumstances. In this paper, we present a formal model and notation (Context UNITY) for expressing quintessential aspects of context-aware computations; existential quantification, for instance, proves to be highly effective in capturing the notion of discovery in open systems. Furthermore, Context UNITY treats context in a manner that is relative to the specific needs of an individual application and promotes an approach to context maintenance that is transparent to the application. In this paper, we construct the model from first principles, introduce its proof logic, and demonstrate how the model can be used as an effective abstraction tool for context-aware applications and middleware.
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2007.02.025