嵌套式移动Agent的形式化研究

• 作者: 杨柽 范菁 谢建斌 赵艳芳
• 来源期刊: 云南民族大学学报(自然科学版)
• 学科: 工学
• 关键词: 网络管理 形式化 嵌套式 移动Agent π演算
• 年，卷（期）: 2007,（3）
• 页码范围: 252-254
• 页数: 3页
• 分类号: TP393
• 字数: 2714字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-8513.2007.03.019

摘要

应用任务Agent和巡航Agent构造了移动Agent分布式网络管理模型,采用进程代数方法π演算对该模型中Agent间的嵌套过程、交互行为和验证过程等部分行为进行了形式化的描述,从理论上验证了在大型网络中使用嵌套式移动Agent进行分布式管理的可能性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	范菁	云南民族大学物理与电子电气信息工程学院	39	132	6.0	9.0
2	谢建斌	云南华能澜沧江水电有限公司基本建设部	9	46	5.0	6.0
3	杨柽	云南民族大学物理与电子电气信息工程学院	5	7	2.0	2.0
4	赵艳芳	云南民族大学物理与电子电气信息工程学院	5	36	2.0	5.0