A Logic Programming Approach to Con ict Resolution in PolicyManagement
نویسندگان
چکیده
The simple event-condition-action (ECA) rule paradigm of active databases has proved very useful in many AI and database applications. However, its applicability goes beyond data management. ECA rules can be used in network management and monitoring , electronic commerce, security and access management, and other application areas to express policies { collections of general principles specifying the desired behavior of a system. In this paper we use a declarative policy description language PDL, in which policies are formulated as sets of ECA rules. The main contribution of the paper is a framework for detecting action connicts and nding resolutions to these connicts. Connicts are captured as violations of action constraints. The semantics of rules, and connict detection and resolution are deened axiomatically using logic programs. Given a policy and a set of action constraints the framework deenes a monitor that lters the output of the policy to satisfy the constraints. We brieey describe the architecture of a PDL-based policy server being used to provide centralized administration of a soft switch in a communication network and show how it can be augmented to handle connict resolution.
منابع مشابه
Resolution of Con icts Involving Many Aircraft via Semide nite Programming
Aircraft con ict detection and resolution is currently attracting the interest of many air transportation service providers and is concerned with the following question: Given a set of airborne aircraft and their intended trajecto-ries, what control strategy should be followed by the pilots and the air traf c service provider to prevent the aircraft from coming too close to each other? This pap...
متن کاملA Probabilistic Framework for Aircraft Conflict Detection
A PROBABILISTIC FRAMEWORK FOR AIRCRAFT CONFLICT DETECTION Maria Prandini, John Lygeros, Arnab Nilim and Shankar Sastry Department of Electrical Engineering and Computer Sciences University of California at Berkeley Berkeley CA 94720 fprandini, lygeros, nilim, [email protected] ABSTRACT We describe a general con ict detection/resolution scheme, focusing on the con ict detection ...
متن کاملDetection and resolution of aspect interactions
Aspect-Oriented Programming (AOP) promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is an important problem. Currently there is almost no support for the detection and resolution of such interactions. The programmer is responsible for identifying interactions between con icting aspects and implementing con ict resoluti...
متن کاملParallelization of Rich Models for Steganalysis of Digital Images using a CUDA-based Approach
There are several different methods to make an efficient strategy for steganalysis of digital images. A very powerful method in this area is rich model consisting of a large number of diverse sub-models in both spatial and transform domain that should be utilized. However, the extraction of a various types of features from an image is so time consuming in some steps, especially for training pha...
متن کاملA Declarative Semantics for Behavioral Inheritance and Conflict Resolution
We propose a novel semantics for object oriented deductive databases in the direc tion of F logic to logically account for behavioral inheritance con ict resolution in multiple inheritance hierarchies and overriding We introduce the ideas of with drawal locality and inheritability of properties i e methods and signatures Ex ploiting these ideas we develop a declarative semantics of behavioral i...
متن کامل