摘要 |
PROBLEM TO BE SOLVED: To provide a policy inspection system allowing inspection of policy description on the basis of the property of a management target system. SOLUTION: The policy description includes a postcondition wherein a condition to be satisfied about a state of the management target system just after operation defined by the policy description is described by first-order predicate logic. An invariant condition storage part 161 stores an invariant condition wherein a condition always satisfied about the state of the management target system is described by the first-order predicate logic. A second inspection means generates a logical expression wherein the invariant condition, the postcondition of the policy description already registered in a policy storage part 162, and the postcondition of the policy description of an inspection target are connected, and decides sufficiency of the generated logical expression by a sufficiency decision means 13 to inspect whether collision occurs between the policy descriptions under the condition wherein the invariant condition is satisfied. COPYRIGHT: (C)2008,JPO&INPIT
|