| 移动计算形式理论分析与研究 |
| |
| 引用本文： | 魏峻,冯玉琳. 移动计算形式理论分析与研究[J]. 计算机研究与发展, 2000, 37(2): 129-139 |
| |
| 作者姓名： | 魏峻 冯玉琳 |
| |
| 作者单位： | 1. 中国科学院软件研究所计算机科学开放实验室,北京,100080
2. 中国科学院软件研究所对象技术中心,北京,100080 |
| |
| 基金项目： | 国家自然科学基金重点项目!（项目编号69833030），国家重点基础研究发展规划项目，国家博士后科学基金 |
| |
| 摘 要： | 移动计算是在网络技术发展中涌现出的一种新计算范型，文章旨在从形式抽象的角度来认识移动计算的本质特点，文中分析了网络计算平台的综合特征，总结了移动计算范型的曲型特征，重点介绍了有代表性的移动计算形式模型和方法，包括进程代数类的π－演算、环境演算和Ｓｅａｌ演算、时序逻辑类的移动Ｕｎｉｔｙ，以及Ａｃｔｏｒ扩充模型，针对每个模型或方法，分析了位置、移动等概念在模型中的刻画，以及各自的交互、动态配置重构和资
|
| 关 键 词： | 移动计算 形式方法 计算机网络 网络计算平台 |
ANALYSIS OF FORMAL MODELS AND METHODS ON MOBILE COMPUTING |
| |
| WEI Jun,FENG Yu-Lin. ANALYSIS OF FORMAL MODELS AND METHODS ON MOBILE COMPUTING[J]. Journal of Computer Research and Development, 2000, 37(2): 129-139 |
| |
| Authors: | WEI Jun FENG Yu-Lin |
| |
| Affiliation: | WEI Jun,FENG Yu-Lin;(Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing 100080);(Object Technology Center, Institute of Software, Chinese Academy of Sciences, Beijing100080) |
| |
| Abstract: | |
| |
| Keywords: | mobile computing formal method mobility interaction location dynamic reconfiguration |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
