Calculational Bigraphcial Model of Context-aware Systems in Ubiquitous Computing Environment
普适环境中上下文感知的带演算的Bigraphs描述

Keywords: Bigraphs theory,Bigraphs reactive systems,Context aware,Formal models
Bigraphs理论，Bigraphs反应系统，上下文感知，形式化模型

Full-Text   Cite this paper   Add to My Lib

Abstract:

针对普适环境中上下文感知系统的形式化建模问题，讨论了Bigraphs理论的扩展模型—柏拉图图形模型在此问题中的适用性及不足。在此基础上，利用带演算的Bigraphs反应系统对上下文感知系统进行描述，并给出了与柏拉图图形模型之间的比较。

Full-Text