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.