A method and apparatus are provided for recognizing and processing conflicts in policies that govern a policy-based system. The method and apparatus may be implemented as a policy verifier that acts upon one or more policies. Each policy is formally defined and comprises a condition and a consequent, each of which are further formally defined in terms of component elements. A conflict among two or more policies is formally defined to occur when the condition of a first policy and the condition of a second policy may be simultaneously true, and when the consequent of the first policy and the consequent of the second policy may not be carried out simultaneously. When a policy conflict is detected, the conflict is resolved by bringing it to the attention of a user or external system, and receiving information that corrects one of the policies or specifies a precedence relationship among the policies.

Метод и прибор обеспечены для узнавать и обрабатывать противоречит в политиках управляют политик-osnovanno1 системой. Метод и прибор могут быть снабжены как верификатор политики действует на one or more политиках. Каждая политика официально определена и состоит из условия и consequent, каждое из которого дальнейшие официально определенное in terms of компонентные элементы. Конфликт среди двух или несколько политик официально определен для того чтобы произойти когда условие первой политики и условие второй политики могут быть одновременно поистине, и когда consequent первой политики и consequent второй политики не могут быть снесены вне одновременно. Когда конфликт политики обнаружен, конфликт разрешен путем приносить его к вниманию потребителя или внешней системы, и получать информацию которая исправляет одну из политик или определяет отношение предшествования среди политик.