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

Research on the Formal Description for Nesting Mobile Agent

作　　者：范菁[1] 谢建斌[2] 赵艳芳[1] 杨柽[1] 

机构地区：[1]云南民族大学物理与电子电气信息工程学院,云南昆明650031 [2]云南华能澜沧江水电有限公司基本建设部,云南昆明650011

出　　处：《云南民族大学学报（自然科学版）》2007年第3期252-254,共3页Journal of Yunnan Minzu University:Natural Sciences Edition

基　　金：云南省自然科学基金资助项目(2005F0028Q);云南省教育厅科学研究基金资助项目(5Y0588D);云南省教育厅科学研究基金资助项目(6Y0006D)

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

关 键 词：网络管理 形式化 嵌套式 移动AGENT Π演算 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]