摘要
移动计算是在网络技术发展中涌现出的一种新计算范型．文章旨在从形式抽象的角度来认识移动计算的本质特点．文中分析了网络计算平台的综合特征，总结了移动计算范型的典型特征，重点介绍了有代表性的移动计算形式模型和方法，包括进程代数类的π－演算、环境演算和Ｓｅａｌ演算、时序逻辑类的移动Ｕｎｉｔｙ，以及Ａｃｔｏｒ扩充模型．针对每个模型或方法，分析了位置、移动等概念在模型中的刻画，以及各自的交互、动态配置重构和资源控制机制在移动环境中的特点．通过综合比较与分析，对各个模型和方法给出了一定评价。
Mobile computing is a new computing paradigm based on networking. This paper aims to reveal the essence of mobile computing from the point of view of formal abstraction. At first, four features of network computing are analyzed and outlined, inducing five programming principles for mobile computing. Then several representative formal models and methods concerning mobility are introduced, which include formal calculi based on process algebra such as π calculus, ambient calculus and Seal calculus, distributed temporal logic such as mobile Unity, and extended Actor model. In addition, some critical notions and properties of mobile computing such as location, mobility, interaction, dynamic reconfigurability, and resource control are analyzed and discussed for each formalisms. Finally, comprehensive analysis and comparison for these formalisms are carried out. All of the results can help to make a substantial foundation on the research of formalisms for mobile computing.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2000年第2期129-139,共11页
Journal of Computer Research and Development
基金
国家自然科学基金重点项目!(项目编号69833030)
国家重点基础研究发展规划项目
国家博士后科学基金
关键词
移动计算
形式方法
计算机网络
网络计算平台
mobile computing, formal method, mobility, interaction, location, dynamic reconfiguration
