The Open UniversitySkip to content

Policy conflict analysis for quality of service management

Charalambides, M.; Flegkas, P.; Pavlou, G.; Bandara, A. K.; Lupu, E. C.; Russo, A.; Dulav, N.; Sloman, M. and Rubio-Loyola, J. (2005). Policy conflict analysis for quality of service management. In: Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, 6-8 Jun 2005, Stockholm, Sweden, pp. 99–108.

DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


Policy-based management provides the ability to (re-) configure differentiated services networks so that desired quality of service (QoS) goals are achieved. Relevant configuration involves implementing network provisioning decisions, performing admission control, and adapting bandwidth allocation dynamically according to emerging traffic demands. A policy-based approach facilitates flexibility and adaptability in that the policies can be changed without changing the implementation. However, as with any other complex system, conflicts and inconsistencies may arise in the policy specification. In this work, we concentrate on the policy conflicts that may occur for static resource management aspects of QoS provisioning, known as network dimensioning. The paper shows how conflict detection can be achieved using event calculus in conjunction with abductive reasoning techniques to detect the existence of potential conflicts in partial specification and generate explanations for the conditions under which the conflicts arise. We finally present some conflict detection examples from our initial implementation of a policy conflict analysis tool. Although we focus on network dimensioning, many of the types of conflicts we illustrate could arise in other applications.

Item Type: Conference or Workshop Item
Keywords: abductive reasoning; admission control; bandwidth allocation; computer network management; differentiated services networks; DiffServ networks; event calculus; formal specification; network dimensioning; network provisioning decision; policy conflict analysis; quality of service; quality of service management; resource allocation; static resource management; temporal logic;
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Research Group: Centre for Research in Computing (CRC)
Item ID: 18490
Depositing User: Arosha Bandara
Date Deposited: 23 Sep 2009 15:05
Last Modified: 07 Dec 2018 09:28
Share this page:


Altmetrics from Altmetric

Citations from Dimensions

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU