论文部分内容阅读
Policy被越来越多地应用于大型分布式系统的管理.提出了一种基于逻辑的Policy定义语言LPDL,定义了LPDL的语法、运行模型和语义,为基于Policy的网络管理提供了一种形式化的框架.LPDL具有简单的语法规则和与图灵机等价的计算能力,管理人员可以根据实际需要,灵活地将系统的解释决策功能用LPDL语言定义成Policy或封装在系统物理实现代码中.最后给出了基于LPDL的网络管理模型及其原型实现和应用,表明LPDL能很好满足网络管理动态发展的需要.