A Logic-Based Policy Definition Language for Network Management

Authors:
Yongzin Li;Ming Chen;Xuping Jiang;Lihua Song
Affiliations:
-;-;-;-
Venue:
LCN '01 Proceedings of the 26th Annual IEEE Conference on Local Computer Networks
Year:
2001

Citing 7
Cited 0

Network and distributed systems management

Network and distributed systems management
A policy description language

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Computability of Recursive Functions

Journal of the ACM (JACM)
On the expressive power of a language for programming coordination media

SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Coordination languages and their significance

Communications of the ACM
Programmable Coordination Media

COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Network policy languages: a survey and a new approach

IEEE Network: The Magazine of Global Internetworking

Quantified Score

Hi-index	0.00

Visualization

Abstract

Policies are increasingly used to manage large-scaledistributed system. They usually adopt ECA rules thatcan't express system's state transitions, enable policyservers to perform flexible actions or cooperate efficiently.In this paper, a logic-based policy definition languageLPDL is proposed.We define LPDL's syntax, executionmodel and its semantic that provides a formal frameworkfor policy-based network management.LPDL is proved tohave Petri Net's expressive power and Turing Machine'scomputing power.Administrator an use LPDL todescribe system's analysis and decision functions orencapsulate them into physical codes flexibly based onactual need.Finally, a Cooperative Network ManagementFramework (CNMF), its prototype and application arepresented to show that LPDL can meet the requirements ofnetwork management 's dynamic growth.