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

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

A LOGIC-BASED POLICY DEFINITION LANGUAGE FOR NETWORK MANAGEMENT

Policies are increasingly used to manage large-scale distributed system. In this paper, a logic-based Policy definition language LPDL is proposed. We define LPDL's syntax, execution model and its semantic that provides a formal framework for Policy-based network management. LPDL has simple syntax and Turing-equivalent computing power. Administrator can use LPDL to describe system's analysis and decision function or encapsulate it into physical codes flexibly based on actual need. Finally, a LPDL-based network management model, its prototype and application is presented to show that LPDL can meet the requirements of network management's dynamic growth.