Title :
Bigraphical Model of Context-Aware in Ubiquitous Computing Environments
Author :
Xu, De-Zhen ; Xu, Dong ; Lei, Zhou
Author_Institution :
Sch. of Comput. Sci., Shanghai Univ., Shanghai, China
Abstract :
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.
Keywords :
graph theory; process algebra; smart phones; ubiquitous computing; algebra language; bigraphical model; bigraphical reactive system; context aware mobile systems; link graph; mobile applications; place graph; smart phone; ubiquitous computing environments; Asia; Conferences; Bigraphical Reactive System; Context-awareness; mobile computing; ubiquitous computing;
Conference_Titel :
Services Computing Conference (APSCC), 2011 IEEE Asia-Pacific
Conference_Location :
Jeju Island
Print_ISBN :
978-1-4673-0206-7
DOI :
10.1109/APSCC.2011.58
