System and method for ratification of policies
First Claim
Patent Images
1. A method for ratifying a policy in a policy-based decision system, comprising:
- determining that a new policy interacts with an existing policy in the policy-based decision system;
determining that the new policy conflicts with the existing policy by using a domain elimination algorithm;
resolving the conflict between the new policy and the existing policy, wherein resolving the conflict between the new policy and the existing policy comprises displaying to a policy author information indicative of how to modify the new policy so that the conflict between the new policy and the existing policy can be resolved; and
ratifying the new policy to exist in the policy-based decision system in response to the conflict between the new policy and the existing policy being resolved, determining a priority of the new policy with respect to the existing policy;
assigning a priority value to the new policy, andreassigning a priority value to the existing policy if the priority value of the new policy is higher than the priority value of the existing policywherein the method is performed using a microprocessor,wherein the domain elimination algorithm uses the following conjunctive Boolean expression i=1n Bi, Bi=xci, where ci, xε
D and ε
{=, <
, ≦
, >
, ≧
}, and each atomic Boolean expression Bi restricts the domain of x to Di⊂
D,wherein the algorithm works by examining the Boolean expressions Bi one by one, and computing Rl=∩
i=1l Bi at each step, where x is the new policy, D is a domain of existing policies, ci is a constant and Rn is the solution of the algorithm indicating the result of the conflict determination.
1 Assignment
0 Petitions
Accused Products
Abstract
A system and method for ratifying policies are provided. A method for ratifying a policy in a policy-based decision system comprises: determining if a new policy interacts with an existing policy in the policy-based decision system; and ratifying the new policy to exist in the policy-based decision system.
-
Citations
16 Claims
-
1. A method for ratifying a policy in a policy-based decision system, comprising:
-
determining that a new policy interacts with an existing policy in the policy-based decision system; determining that the new policy conflicts with the existing policy by using a domain elimination algorithm; resolving the conflict between the new policy and the existing policy, wherein resolving the conflict between the new policy and the existing policy comprises displaying to a policy author information indicative of how to modify the new policy so that the conflict between the new policy and the existing policy can be resolved; and ratifying the new policy to exist in the policy-based decision system in response to the conflict between the new policy and the existing policy being resolved, determining a priority of the new policy with respect to the existing policy; assigning a priority value to the new policy, and reassigning a priority value to the existing policy if the priority value of the new policy is higher than the priority value of the existing policy wherein the method is performed using a microprocessor, wherein the domain elimination algorithm uses the following conjunctive Boolean expression i=1n Bi, Bi=xci, where ci, xε
D and ε
{=, <
, ≦
, >
, ≧
}, and each atomic Boolean expression Bi restricts the domain of x to Di⊂
D,wherein the algorithm works by examining the Boolean expressions Bi one by one, and computing Rl=∩
i=1l Bi at each step, where x is the new policy, D is a domain of existing policies, ci is a constant and Rn is the solution of the algorithm indicating the result of the conflict determination. - View Dependent Claims (2, 3, 4, 5, 6, 7)
-
-
8. A system for ratifying policies, comprising:
-
a memory device for storing a program; a processor in communication with the memory device, the processor operative with the program to; determine if a new policy interacts with an existing policy in a policy-based decision system; if the new policy interacts with the existing policy;
determine if the new policy conflicts with the existing policy by using a domain elimination algorithm;if the new policy conflicts with the existing policy;
resolve the conflict between the new policy and the existing policy, wherein the processor is operative with the program when resolving the conflict between the new policy and the existing policy to display to a policy author information which indicates how to modify the new policy so that the conflict between the new policy and the existing policy can be resolved; andratify the new policy to exist in the policy-based decision system in response to the conflict between the new policy and the existing policy being resolved, determine a priority of the new policy with respect to the existing policy; assigning a priority value to the new policy; and reassign a priority value to the existing policy if the priority value of the new policy is higher than the priority value of the existing policy, wherein the domain elimination algorithm uses the following conjunctive Boolean expression i=1n Bi, Bi=xci, where ci, xε
D and ε
{=, <
, ≦
, >
, ≧
}, and each atomic Boolean expression Bi restricts the domain of x to Di⊂
D,wherein the algorithm works by examining the Boolean expressions Bi one by one, and computing Rl=∩
i=1lBi at each step, where x is the new policy, D is a domain of existing policies, ci is a constant and Rn is the solution of the algorithm indicating the result of the conflict determination. - View Dependent Claims (9, 10, 11, 12, 13, 14, 15)
-
-
16. A computer program product for ratifying a new policy in a local environment, the computer program product comprising:
-
a non-transitory computer readable storage medium having computer readable program code embodied therewith, the computer readable program code comprising; computer readable program code configured to determine if the new policy interacts with an existing policy in the local environment; computer readable program code configured to determine if the new policy conflicts with the existing policy by using a domain elimination algorithm, wherein the conflict determination is made if the new policy interacts with the existing policy; computer readable program code configured to resolve the conflict between the new policy and the existing policy, wherein the conflict is resolved if the new policy conflicts with the existing policy, and wherein resolving the conflict between the new policy and the existing policy comprises displaying to a policy author information which indicates how to modify the new policy so that the conflict between the new policy and the existing policy can be resolved; and computer readable program code configured to ratify the new policy for deployment in the local environment in response to the conflict between the new policy and the existing policy being resolved, determine a priority of the new policy with respect to the existing policy; assign a priority value to the new policy; and reassign a priority value to the existing policy if the priority value of the new policy is higher than the priority value of the existing policy wherein the domain elimination algorithm uses the following conjunctive Boolean expression i=1n Bi, Bi=xci, where ci, xε
D and ε
{=, <
, ≦
, >
, ≧
}, and each atomic Boolean expression Bi restricts the domain of x to Di⊂
D,wherein the algorithm works by examining the Boolean expressions Bi one by one, and computing Rl=∩
i=1lBi at each step, where x is the new policy, D is a domain of existing policies, ci is a constant and Rn is the solution of the algorithm indicating the result of the conflict determination.
-
Specification