Formalizing the Structure and Behaviour of Context-Aware Systems in Bigraphs

Context-aware Computing has been one of the important aspects of Ubiquitous Computing, Cloud Computing, Cyber-physical Systems, etc., recently. To date, very few works can be found on formal approaches for this area. Bigraph and its related theories are introduced to formalize the modeling of context-aware systems in this paper. We use bigraphs to model the structure of context-aware system, whereas the corresponding behavior of context-aware system is modeled using bigraphical reactive system. Here we make a mapping from the elements of context-awareness to the components of bigraph. Consequently, we present an approach to translating scenarios in real life into bigraphical models. Furthermore, the formalisms are explicitly illustrated through some simple but non-trivial examples.