移动智能体的形式化研究  

Research on Formal Model of Mobile Agent

作　　者：吴泉源[1] 吴刚[1] 王怀民[1] 

机构地区：[1]国防科技大学计算机学院，湖南 长沙 410073

出　　处：《国防科技大学学报》2000年第6期47-51,共5页Journal of National University of Defense Technology

基　　金：国家自然科学基金(69833030) ;国家863计划项目(863-306-ZD02-01-2)

摘　　要：移动智能体是当前分布计算领域的研究热点之一 ,但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性 ,介绍了当前的研究现状 ,分析了其中的不足 。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

关 键 词：移动智能体 并发模型 进程代数 Π演算 形式化 计算机 分布式计算模式 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]