显式通信的适应资源发现的动态环境演算

摘要

选取了环境演算作为移动计算形式理论基础,研究移动计算中资源发现场景下的环境演算描述方法.完成了环境演算中对资源及参与实体的标识,建立了能显式表达通信各方及通讯内容的通信模型,对环境演算在表述能力上进行了扩充,得到了能够描述资源发现的动态过程的演算模型.给出了新演算和原有演算在描述同一过程的比较,并给出了资源发现过程的描述范例.