Preliminaries of Bigraphical Calculus for Context-awareness

Abstract

Context-awareness has become one of the active topics in ubiquitous computing, cloud computing and so on, recently. In this paper, preliminaries of bigraph based context-aware calculus are presented for context-aware system. We define the syntax and semantics of process, context and context expressions, as well as the semantics of operations in the bigraphical calculus of context-awareness.