基于多Agent系统网管模型的形式化建模
运用多Agent系统实现分布、自治的网络管理是构造下一代网络管理系统的一条全新思路。然而,大多数基于多Agent系统的网管模型均采用非形式化的方法进行描述,容易造成人们对模型理解的歧义性和在系统开发过程中的随意性。一种利用有色Petri网对分布式网络管理模型进行形式化建模的方法被提出。利用该方法所建立的形式化模型,能够对分布式网管模型中多Agent系统的组成结构和运行机制进行全面刻画,能够描述模型中用到的Agent的各种特性。
多Agent系统 网络管理模型 形式化建模 有色Petri网
李伟 罗军舟
东南大学计算机科学与工程学院 南京 210096
国内会议
大连
中文
90-96
2007-08-01（万方平台首次上网日期，不代表论文的发表时间）