基于模态逻辑的网络测量策略模型

摘要：

当前大规模网络测量系统中不维护状态,因此也很难支持可靠的协作测量.针对这一问题提出了一种基于模态逻辑的网络测量策略模型(ML-NMPM),定义了基于模态逻辑的策略语言和执行模型. ML-NMPM将大规模分布式系统分成自治管理的对等监测域,通过策略代理维护资源状态信息形成全局状态视图,从而支持基于系统状态的协作测量.提高了测量系统的灵活性、可靠性和协作能力.最后分析了ML-NMPM的性能并给出原型系统.

关键词： 网络测量策略 模态逻辑 协作机制 ML-NMPM 可靠性

作者: 张国敏 陈鸣 王元元 宋丽华

作者单位: 解放军理工大学指挥自动化学院,南京,210007

会议类型: 国内会议

会议名称: 2007全国理论计算机科学学术年会

会议地点: 南宁

会议语种:中文

页码: 421-425

在线出版日期: 2007-11-01（万方平台首次上网日期，不代表论文的发表时间）