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

Calculational Bigraphcial Model of Context-aware Systems in Ubiquitous Computing Environment

作　　者：吴怀广[1] 姬厚灵[2] 毋国庆[2] 苗玥[3] 

机构地区：[1]郑州轻工业学院计算机与通信工程学院,郑州450002 [2]武汉大学计算机学院,武汉430079 [3]内蒙古包头医学院计算机科学与技术系,包头014040

出　　处：《计算机科学》2012年第1期109-114,共6页Computer Science

基　　金：国家高技术研究发展计划项目(2007AA01Z185)资助

摘　　要：针对普适环境中上下文感知系统的形式化建模问题,讨论了Bigraphs理论的扩展模型———柏拉图图形模型在此问题中的适用性及不足。在此基础上,利用带演算的Bigraphs反应系统对上下文感知系统进行描述,并给出了与柏拉图图形模型之间的比较。In ubiquitous computing environment, it is a important research to model the context-aware systems formal- ly. Firstlly,we discussed applicability and deficiency of a extended bigraphical model of context-aware systems called Polato Graphical Model. On the basis of analysis of Polato Graphical Model, we presented a calculational biographical model for description of context-aware systems and compared it with Polato Graphical Model through an example.

关 键 词：Bigraphs理论 Bigraphs反应系统 上下文感知 形式化模型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]