Policy formation device, policy formation method and policy generating program

摘要

Following to the hand continuation which is set to policy, when operating system model, to make system model the goal arrive which is set to policy without violating to the restriction which is set to policy, you verify the policy consistent verification section, whether or not it is possible. When policy and the system model which the system manager forms are unconformity when it is judged by the policy consistent verification section, the alternative policy formation department forms the alternative policy which is substituted to the policy which the system manager forms. The policy consistent verification section which accepts alternative policy verifies the consistency of alternative policy and system model. And, by the policy consistent verification section, when as alternative policy and the thing which system model adjusts it is judged, the policy formation device presents alternative policy to the system manager.