| 一种用于网络管理的基于逻辑的Policy定义语言 |
| 李拥新 陈鸣 等 |
| 关键词：网络管理 Policy定义语言 Petri网 图灵机 协同 计算机网络 LPDL语言 |
| 主要内容：Policy被越来越多地应用于大型分布式系统的管理，提出了一种基于逻辑的Policy定义语言LPDL，定义了LPDL的语法，运行模型和语义，为基于Policy的网络管理提供了一种形式化的框架，LPDL具有简单的语法规则和与图灵机等价的计算能力，管理人员可以根据实际需要，灵活地将系统的解释决策功能用LPDL语言定义成Policy或封装在系统物理实现现代码中，最后给出了基于LPDL的网络管理模型及其原型实现和应用，表明LPDL能很好满足网络管理动态发展的需要。 |
| 《计算机研究与发展》 2002,39(11).-1491-1497 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号