移动Agent计算理论和形式化方法研究  

Study on the Theories and Formalized Methods of Mobile Agent Computing

作　　者：杨博[1,2] 黄晶[1,2] 刘大有[1,2] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012 [2]吉林大学符号计算与知识工程国家教育部重点实验室,长春130012

出　　处：《计算机研究与发展》2006年第z1期274-278,共5页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60503016,60496321)

摘　　要：研究了移动Agent计算的基础理论和形式化方法,包括π-演算、多态π演算、高阶π演算和环境演算等4种进程代数理论,分析了它们如何对Agent、位置、移动、通信、安全、命名、资源控制和动态配置等移动Agent计算的基本概念进行刻画,并比较了它们刻画移动Agent计算的优缺点,在此基础上提出了移动概念的分类与抽象.

关 键 词：移动AGENT Π-演算 环境演算 进程代数 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]