| 嵌套式移动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 |
Research on the Formal Description for Nesting Mobile Agent |
| |
| Fan Jing,Xie Jianbin,Zhao Yanfang,Yang Cheng. Research on the Formal Description for Nesting Mobile Agent[J]. Journal of Yunnan Nationalities University:Natural Sciences Edition, 2007, 16(3): 252-254 |
| |
| Authors: | Fan Jing Xie Jianbin Zhao Yanfang Yang Cheng |
| |
| Affiliation: | 1. School of Physics and Electronic Electric Information Engineering, Yunnan Nationalities University, Kunming 650031, China; 2. Yunnan Huaneng Lancang River Hydropower Co. LTd. , Kunming 650011, China |
| |
| Abstract: | In the nesting and distributed network management model,which is composed of task agent and navigator agent,the processing of agent nesting,the communication of agent behavior and the course of agent certification were demonstrated formally with p-Calculus which is a kind of job algebra.As a result,the possibility and advantage of nesting and distributed network management model were tleoretically proved by those demonstrations. |
| |
| Keywords: | network management formaliaed demonstration nesting mobile agent p-Calculus |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
