Towards Checking Bigraphical Context-Aware Models
Dong Xu, Gang Zhu, De Zhen Xu · Applied Mechanics and Materials · 2013
Context-aware computing is an important aspect of Pervasive Computing, Cyber-physical Systems (CPS), Cloud computing, etc. Recently, few works have been reported on formal approaches for this area. Bigraph was proposed as a mathematical structure that is consist of two graphs, a place graph and a link graph, intended for modeling distributed, mobile systems, etc. Bigraphs and its corresponding Bigraphical Reactive Systems (BRSs) present a modern, graphical structure, algebra calculus for the description of the syntax and semantics of systems in accordance with the orthogonal notions of connectivity and locality. Bigraphs and BRSs have been applied in various areas. Bigraph is used to formalize context-aware models in this paper. Then, we present an approach to check the formal context-aware models. The formalisms and checking are explicitly depicted through a simple but non-trivial example.