基于進程代數的上下文感知模型

王衛紅　覃　征　曹玉輝　李　達

摘要：針對當前上下文感知研究大多集中于技術解決方案，缺乏理論上統一描述模型的問題，提出了基于進程代數的上下文感知模型(CAMBPA)．該模型獨立于具體的應用平臺，具有平臺無關性．首先，利用帶時間參量的上下文的狀態變遷來描述動態環境的變化，并根據進程代數的合并理論，采用合成簡單環境狀態變遷的方法來實現對復雜環境狀態變遷的描述．隨后，通過在模型中引入感知函數，實現了對感知行為的描述，同時對上下文狀態變遷賦予了資源語義，從而使模型能夠刻畫移動計算環境中的動態資源情形．采用染色Pe—tri網對CAMBPA模型實例進行了可視化仿真，結果表明該模型具有語法、語義的正確性，以及良好的可擴展性，能夠很好地描述上下文感知。

關鍵詞：移動計算；上下文感知；進程代數；染色Petri網

中圖分類號：TP393文獻標識碼：A文章編號：0253—987X(2005)10—1060—04