顯式通信的適應資源發現的動態環境演算

摘要：選取了環境演算作為移動計算形式理論基礎，研究移動計算中資源發現場景下的環境演算描述方法。完成了環境演算中對資源及參與實體的標識，建立了能顯式表達通信各方及通訊內容的通信模型，對環境演算在表述能力上進行了擴充，得到了能夠描述資源發現的動態過程的演算模型。給出了新演算和原有演算在描述同一過程的比較，并給出了資源發現過程的描述范例。

關鍵字：移動計算；資源發現；環境演算；通信機制

“注：本文中所涉及到的圖表、注解、公式等內容請以PDF格式閱讀原文”。