| 嵌套式移动Agent的形式化研究 |
| |
| 引用本文： | 范菁,谢建斌,赵艳芳,杨柽.嵌套式移动Agent的形式化研究[J].云南民族大学学报(自然科学版),2007,16(3):252-254. |
| |
| 作者姓名： | 范菁 谢建斌 赵艳芳 杨柽 |
| |
| 作者单位： | 1. 云南民族大学物理与电子电气信息工程学院,云南昆明,650031
2. 云南华能澜沧江水电有限公司基本建设部,云南昆明,650011 |
| |
| 基金项目： | 云南省自然科学基金资助项目(2005F0028Q)，云南省教育厅科学研究基金资助项目(5Y0588D)，云南省教育厅科学研究基金资助项目(6Y0006D) |
| |
| 摘 要： | 应用任务Agent和巡航Agent构造了移动Agent分布式网络管理模型,采用进程代数方法p演算对该模型中Agent间的嵌套过程、交互行为和验证过程等部分行为进行了形式化的描述,从理论上验证了在大型网络中使用嵌套式移动Agent进行分布式管理的可能性.
|
| 关 键 词： | 网络管理 形式化 嵌套式 移动Agent π演算 |
| 文章编号： | 1672-8513（2007）03-0252-03 |
| 收稿时间： | 2006-01-20 |
| 修稿时间： | 2006-01-20 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
