Policy conflict analysis for quality of service management

摘要: 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 emerging traffic demands. A policy-based approach facilitates flexibility adaptability in policies can be changed without changing implementation. However, as with any other complex system, conflicts inconsistencies may arise policy specification. In this work, we concentrate on occur for static resource aspects QoS provisioning, known dimensioning. The paper shows how conflict detection achieved using event calculus conjunction abductive reasoning techniques detect existence potential partial specification generate explanations conditions under which arise. We finally present some examples from our initial implementation a analysis tool. Although focus dimensioning, many types illustrate could applications.