A Logic-based Policy Definition Language for Network Management

Yongxin Li, Ming Chen, Xuping Jiang, Lihua Song

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

1 Citation (Scopus)
3 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationOperations & Management
Subtitle of host publication12th International Workshop on Distributed Systems, DSOM 2001, Nancy, France, October 15-17, 2001: Proceedings
EditorsOlivier Festor, Aiko Pras
Place of PublicationRocquencourt
Number of pages8
ISBN (Print)9782726111901
Publication statusPublished - 2001
Externally publishedYes
Event12th IEEE/IFIP International Workshop on Distributed Systems, DSOM 2001: Internet Services: Management Beyond the Element - Nancy, France
Duration: 15 Oct 200117 Oct 2001
Conference number: 12


Conference12th IEEE/IFIP International Workshop on Distributed Systems, DSOM 2001
Abbreviated titleDSOM
Internet address


Dive into the research topics of 'A Logic-based Policy Definition Language for Network Management'. Together they form a unique fingerprint.

Cite this