Title
Policy conflict analysis for diffserv quality of service management
Abstract
Policy-based management provides the ability to (re-)configure differentiated services networks so that desired Quality of Service (QoS) goals are achieved. This requires implementing network provisioning decisions, performing admission control, and adapting bandwidth allocation to emerging traffic demands. A policy-based approach facilitates flexibility and adaptability as policies can be dynamically changed without modifying the underlying implementation. However, inconsistencies may arise in the policy specification. In this paper we provide a comprehensive set of QoS policies for managing Differentiated Services (DiffServ) networks, and classify the possible conflicts that can arise between them. We demonstrate the use of Event Calculus and formal reasoning for the analysis of both static and dynamic conflicts in a semi-automated fashion. In addition, we present a conflict analysis tool that provides network administrators with a user-friendly environment for determining and resolving potential inconsistencies. The tool has been extensively tested with large numbers of policies over a range of conflict types.
Year
DOI
Venue
2009
10.1109/TNSM.2009.090302
IEEE Transactions on Network and Service Management
Keywords
Field
DocType
DiffServ networks,bandwidth allocation,computer network management,formal specification,process algebra,program diagnostics,quality of service,reasoning about programs,telecommunication computing,telecommunication congestion control,telecommunication traffic,DiffServ QoS management,admission control,bandwidth allocation,differentiated services network traffic,event calculus,formal reasoning,network administrator,policy conflict analysis,policy specification,quality-of-service,static-dynamic conflict analysis,user-friendly environment,QoS management policies,conflict detection,dynamic conflict resolution.
Resource management,Event calculus,Differentiated services,Computer science,Computer network,Quality of service,Formal specification,Provisioning,Network administrator,Conflict analysis
Journal
Volume
Issue
Citations 
6
1
18
PageRank 
References 
Authors
0.82
31
9
Name
Order
Citations
PageRank
M. Charalambides1231.31
P. Flegkas219411.15
G. Pavlou346535.23
J. Rubio-Loyola4201.29
A. K. Bandara552243.89
E. C. Lupu6444.40
Alessandra Russo7102280.10
N. Dulay826526.34
M. Sloman934633.69