Formal Models for Context Aware Computing

Abstract

Context-aware computing refers to a general class of mobile systems that can sense their physical environment, and adapt their behavior accordingly.In this paper we seek to develop a systematic understanding of context-aware computing by constructing a formal model and notation for expressing context-aware computations.This discussion is followed by a description and comparison of current context modeling and reasoning techniques.