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

Research on the Formal Description for Nesting Mobile Agent

应用任务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.