This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architecture of a context-aware system is conceived as a composition of the two components context constructor and context adapter. To process dynamically changing contextual information, we introduce context calculus as the formal basis of context manipulation. The information and its sources are abstracted within this formal definition. As an illustration of the principles involved in developing a context-aware system, we discuss the Anti-lock Braking System problem.
Kaiyu Wan, Vasu S. Alagar, Joey Paquet