Bigraphical Model of Context-Aware in Ubiquitous Computing Environments
In this paper, we give a bigraphical model for context-aware mobile systems. We describe how to represent context-aware behaviors by means of Bigraphical Reactive System (BRS), which is proposed to provide a uniform way to model ubiquitous applications. A bigraph consists of two graphs, namely place graph and link graph respectively. We can depict mobility and context-awareness using bigraphs in mobile applications. Besides, bigraphs provide an algebra language by which we can model for applications formally. Finally, the formalisms are explicitly illustrated through a simple but non-trivial smart phone example.