Bigraphical Location Models: Progress Report

In this progress report we begin evaluation of how well-suited Høgh Jensen and Milner's bigraphical reactive systems (BRSs) [UCAM-CL-TR-580] are for modelling context-aware computing in ubiquitous systems. In this work we concentrate on the location aspect of context. First, we introduce the setting, motivate our work, and state our hypothesis. Then we present a digest of the research literature on location models forming a knowledge base for the rest of the report. We continue by developing bigraphical models of context-awareness and argue that these so-called Plato-graphical models constitute a proper foundation for modelling and simulating context-aware systems. A feature is that different calculi or programming languages can be combined in one model. Subsequently we define and analyse an encoding of a MiniML-like calculus with references in bigraphs (BRSs). This is needed for our implementation of a representative, minimalistic location model as a Plato-graphical model. Finally, we compare our approach to related work within context calculi, give directions for future work, and conclusions.