Specification and analysis of context-aware systems

In this report, an overview of research into context-awareness modelling is presented. We also give our approach to context-awareness modelling in the form of a process calculus called C pi (Context pi ). In this calculus, each process has an explicit representation of its context in the form of (information, entity, value) triples modelling the knowledge this process has about its environment. A process equipped with a context representation is called an agent. Agents make use of broadcast actions to exchange context information and make use of conditions on their context to perform context-dependent behaviour