A Calculus for Context-Awareness
Pascal Zimmer August 2005 |
Abstract:
In order to answer the challenge of pervasive computing, we
propose a new process calculus, whose aim is to describe dynamic systems
composed of agents able to move and react differently depending on their
location. This Context-Aware Calculus features a hierarchical
structure similar to mobile ambients, and a generic multi-agent
synchronization mechanism, inspired from the join-calculus. After general
ideas and introduction, we review the full calculus' syntax and semantics, as
well as some motivating examples, study its expressiveness, and show how the
notion of computation itself can be made context-dependent
Available as PostScript, PDF, DVI. |