普适环境中上下文感知的带演算的bigraphs描述

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