一种用于网络管理的基于逻辑的Policy定义语言

摘要：

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

关键词：网络管理、Policy、Petri网、图灵机、协同

所属期刊栏目：39

分类号：TP393(计算技术、计算机技术)

资助基金：江苏省自然科学基金DK99128

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

页数：共7页

页码：1491-1497