| 引用本文: | 吴泉源,吴刚,王怀民.移动智能体的形式化研究.[J].国防科技大学学报,2000,22(6):47-51.[点击复制] |
| WU QuanYuan,WU Gang,WANG HuaiMin.Research on Formal Model of Mobile Agent[J].Journal of National University of Defense Technology,2000,22(6):47-51[点击复制] |
|
| |
|
|
| 本文已被：浏览 6997次 下载 5898次 |
| 移动智能体的形式化研究 |
| 吴泉源, 吴刚, 王怀民 |
|
(国防科技大学 计算机学院，湖南 长沙 410073)
|
| 摘要: |
| 移动智能体是当前分布计算领域的研究热点之一，但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性，介绍了当前的研究现状，分析了其中的不足，并进一步给出了对后续工作的展望。 |
| 关键词: 移动智能体 并发模型 进程代数 π演算 |
| DOI： |
| 投稿日期：2000-06-20 |
| 基金项目:国家自然科学基金 (69833030), 国家863计划项目 (863-306-ZD02-01-2) |
|
| Research on Formal Model of Mobile Agent |
| WU QuanYuan, WU Gang, WANG HuaiMin |
|
(College of Computer, National Univ. of Defence Technology, Changsha 410073)
|
| Abstract: |
| Mobile agent receives much attention recently in the distributed computing field. But the research on its formal model is immature. The necessity of the formal research of mobile agent is analyzed firstly. Then we introduce several representative formal models, analyze their drawbacks, and present the prospects for the future work. |
| Keywords: mobile agent concurrent model process algebra π-calculus |
|
|
