Conference Paper

Policy conflict analysis for quality of service management

Surrey Univ., UK
DOI: 10.1109/POLICY.2005.23 Conference: Policies for Distributed Systems and Networks, 2005. Sixth IEEE International Workshop on
Source: IEEE Xplore

ABSTRACT

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.

Download full-text

Full-text

Available from: Marinos Charalambides
  • Source
    • "Charalambides et al. [14] have proposed conflict analysis using Event Calculus in the domain of QoS management. In the analysis method, they used abductive reasoning to detect the potential conflicts. "
    [Show abstract] [Hide abstract]
    ABSTRACT: Sensor-driven services often cause chain reactions, since one service may generate an environmental impact that automatically triggers another service. We first propose a framework that can formalize and detect such service chains based on ECA (event, condition, action) rules. Although the service chain can be a major source of feature interactions, not all service chains lead to harmful interactions. Therefore, we then propose a method that identifies feature interactions within the service chains. Specifically, we characterize the degree of deviation of every service chain by evaluating the gap between expected and actual service states. An experimental evaluation demonstrates that the proposed method successfully detects 11 service chains and 6 feature interactions within 7 practical sensor-driven services.
    Full-text · Article · Dec 2012 · Sensors
  • Source
    • "The proposed method transforms policy and system behavior into formal notation which is based on EC. Work by [8] and [4] also use EC as a specialised first-order logic for formalising policy specification and accordingly identify conflicts and propose resolutions in network and systems management. Chomicki [9], similarly use constraints which are policies that prevent a specified action from being performed in a given situation. "
    [Show abstract] [Hide abstract]
    ABSTRACT: Software project change is a common problem in project management. Changes in requirements, activities or peoples roles however are usually not free from conflicts, which in some cases if not dealt adequately could bring the whole project to a standstill. Herein, we present a method that examines the impact of change to project duration. The method proposed utilizes two main criteria namely, the degree of dependency among activities and requirements, and the temporal costs associated with the change. The proposed methodology is realised in Event Calculus and elaborated with an example.
    Full-text · Article · Apr 2012
  • Source
    • "The proposed method transforms policy and system behavior into formal notation which is based on EC. Work by [8] and [4] also use EC as a specialised firstorder logic for formalising policy specification and accordingly identify conflicts and propose resolutions in network and systems management. Chomicki [9], similarly use constraints which are policies that prevent a specified action from being performed in a given situation. "
    [Show abstract] [Hide abstract]
    ABSTRACT: Risks are unavoidable in systems engineering projects due to emerging changes during the lifetime of projects. Changes in activities and peoples' roles are usually not free from conflicts, which in some cases if not dealt adequately, increase the project failure risks and could bring the whole project to a standstill. Herein, we present a method that examines the impact of change to project's duration which constitutes one of the most critical risks in project management. The method proposed utilizes two main criteria namely, the degree of dependency among activities and actors, and the temporal costs associated with the change. The proposed methodology is realised in Event Calculus (EC) and elaborated with an example.
    Full-text · Conference Paper · Jan 2011
Show more