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

摘要：

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

关键词： 移动Agent 计算π演算 环境演算 进程代数 动态配置 形式化方法

作者: 杨博 黄晶 刘大有

作者单位: 吉林大学计算机科学与技术学院,长春,130012;吉林大学符号计算与知识工程国家教育部重点实验室,长春,130012

会议类型: 国内会议

会议名称: 第一届Agent理论与应用学术会议

会议地点: 山东烟台

会议语种:中文

页码: 274-278

在线出版日期: 2006-08-19（万方平台首次上网日期，不代表论文的发表时间）