%0 Journal Article
%T Calculational Bigraphcial Model of Context-aware Systems in Ubiquitous Computing Environment<br>普适环境中上下文感知的带演算的Bigraphs描述
%A 吴怀广
%A 姬厚灵
%A 毋国庆
%A 苗明
%J 计算机科学
%D 2012
%I 
%X 针对普适环境中上下文感知系统的形式化建模问题，讨论了Bigraphs理论的扩展模型—柏拉图图形模型在此问题中的适用性及不足。在此基础上，利用带演算的Bigraphs反应系统对上下文感知系统进行描述，并给出了与柏拉图图形模型之间的比较。
%K Bigraphs theory
%K Bigraphs reactive systems
%K Context aware
%K Formal models<br>Bigraphs理论，Bigraphs反应系统，上下文感知，形式化模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=1A50AD49C0C949495D26C06F76CBD832&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=CA4FD0336C81A37A&sid=91C9056D8E8856E0&eid=DDD31293A7C7D057&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=17