University of Twente Proceedings
A Logic-based Policy Definition Language for Network Management
Li, Yongxin and Chen, Ming and Jiang, Xuping and Song, Lihua (2001) A Logic-based Policy Definition Language for Network Management. In: 12th International Workshop on Distributed Systems: Operations & Management., 15 October 2001 - 17 October 2001, Nancy, France .
PDF
274kB |
Event: | 12th International Workshop on Distributed Systems: Operations & Management., 15 October 2001 - 17 October 2001, Nancy, France |
Abstract: | Policies are increasingly used to manage large-scale distributed system. This paper proposes a logic-based policy definition language termed LPDL and defines its syntax, execution model and semantic. LPDL supports management operations that consider system’s states and which need cooperating policy servers. System’s states are stored in a state repository and can be manipulated by the policy server based on predefined policies when certain messages are received. LPDL has Petri Net’s expressive power and Turing Machine’s computing power. Administrator can use LPDL to describe system’s analysis and decision functions or encapsulate these functions into physical codes flexibly based on actual need. Finally, LPDL-based network management model, its prototype and application are presented to show that LPDL can meet the requirements of network management’s dynamic growth. |
Item Type: | Conference or Workshop Item (Paper) |
Uncontrolled Keywords: | Network management, Policy, Petri Net, Turing Machine, Coordination model |
Link to this item: | https://doi.org/10.3990/2.22 |
Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Repository Staff Only: item control page