(57)【要約】  ポリシー整合性検証部は、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、ポリシーに設定された制約に違反することなく、ポリシーに設定された目標にシステムモデルを到達させることができるか否かを検証する。システム管理者が生成したポリシーとシステムモデルとが不整合であるとポリシー整合性検証部により判断された場合には、代替ポリシー生成部は、システム管理者が生成したポリシーに替わる代替ポリシーを生成する。代替ポリシーを受け付けたポリシー整合性検証部は、代替ポリシーとシステムモデルとの整合性を検証する。そして、ポリシー整合性検証部により、代替ポリシーとシステムモデルとが整合するものと判断された場合には、ポリシー生成装置は、代替ポリシーをシステム管理者に提示する。
2008114355.tif 000002
【特許請求の範囲】
【請求項１】
管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーを生成するポリシー生成装置であって、
システム管理者が生成した管理者生成ポリシーを受け付けるポリシー受付手段と、
前記管理対象システムの特性がモデル化されたシステムモデルを受け付けるモデル受付手段と、
前記ポリシー受付手段により受け付けられた前記管理者生成ポリシーと、前記モデル受付手段により受け付けられた前記システムモデルとの整合性を検証するポリシー検証手段と、
前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証手段により判断された場合には、当該管理者生成ポリシーに替わる代替ポリシーを生成する代替ポリシー生成手段と、
前記代替ポリシー生成手段により生成された前記代替ポリシーと、前記システムモデルとの整合性とを再検証するポリシー再検証手段と、
前記代替ポリシーと前記システムモデルとが整合すると前記ポリシー再検証手段により判断された場合には、当該代替ポリシーを前記システム管理者に提示する代替ポリシー提示手段と、
を備えたことを特徴とするポリシー生成装置。
【請求項２】
システムとポリシーとが整合すると判断された適用事例を記憶する適用事例記憶手段をさらに備え、
前記代替ポリシー生成手段は、前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証手段により判断された場合に、前記適用事例記憶手段により記憶されている適用事例を参照して、当該システムモデルに対応したポリシーが存在する場合には、当該対応したポリシーを代替ポリシーとして採用することを特徴とする請求項１に記載のポリシー生成装置。
【請求項３】
前記管理者生成ポリシーは、少なくとも前記管理対象システムの動作を制御するための手続と、当該管理対象システムが動作時に遵守すべき制約と、当該管理対象システムが達成すべき目標とからなり、
前記代替ポリシー生成手段は、前記管理者生成ポリシーの手続、制約および目標のいずれか一つまたは複数に変更を加えて、前記代替ポリシーを生成することを特徴とする請求項１に記載のポリシー生成装置。
【請求項４】
前記代替ポリシー生成手段は、前記手続、前記制約および前記目標の中で採用されている閾値のいずれか一つまたは複数を緩和して、前記代替ポリシーを生成することを特徴とする請求項３に記載のポリシー生成装置。
【請求項５】
前記代替ポリシー生成手段は、前記制約内の設定項目のいずれか一つまたは複数を削除して前記代替ポリシーを生成することを特徴とする請求項３に記載のポリシー生成装置。
【請求項６】
前記代替ポリシー生成手段は、前記手続内の設定項目を限定して前記代替ポリシーを生成することを特徴とする請求項３に記載のポリシー生成装置。
【請求項７】
前記代替ポリシー提示手段は、前記代替ポリシー生成手段により前記代替ポリシーが複数生成された場合に、前記手続、前記制約および前記目標に対する変更が少ない順に順位付けして、複数の代替ポリシーをそれぞれ提示することを特徴とする請求項３に記載のポリシー生成装置。
【請求項８】
前記管理者生成ポリシーと前記システムモデルとが整合すると前記ポリシー検証手段により判断された場合には、整合する旨を前記システム管理者に通知する通知手段をさらに備えたことを特徴とする請求項１に記載のポリシー生成装置。
【請求項９】
前記代替ポリシー生成手段は、代替ポリシーと前記システムモデルとが不整合であると前記ポリシー再検証手段により判断される度に、当該代替ポリシーに替わる新たな代替ポリシーを生成し、
前記ポリシー再検証手段は、前記代替ポリシー生成手段より新たな代替ポリシーが生成される度に、当該代替ポリシーと前記システムモデルとの整合性とを再検証し、
前記通知手段は、前記代替ポリシーと前記システムモデルとが不整合であると前記ポリシー再検証手段により判断された回数が所定の回数に到達している場合には、前記代替ポリシーの生成が不可能である旨を前記システム管理者に通知することを特徴とする請求項８に記載のポリシー生成装置。
【請求項１０】
管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーを生成するポリシー生成方法であって、
システム管理者が生成した管理者生成ポリシーを受け付けるポリシー受付工程と、
前記管理対象システムの特性がモデル化されたシステムモデルを受け付けるモデル受付工程と、
前記ポリシー受付工程により受け付けられた前記管理者生成ポリシーと、前記モデル受付工程により受け付けられた前記システムモデルとの整合性を検証するポリシー検証工程と、
前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証工程により判断された場合には、当該管理者生成ポリシーに替わる代替ポリシーを生成する代替ポリシー生成工程と、
前記代替ポリシー生成工程により生成された前記代替ポリシーと、前記システムモデルとの整合性とを再検証するポリシー再検証工程と、
前記代替ポリシーと前記システムモデルとが整合すると前記ポリシー再検証工程により判断された場合には、当該代替ポリシーを前記システム管理者に提示する代替ポリシー提示工程と、
を含んだことを特徴とするポリシー生成方法。
【請求項１１】
管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーの生成処理をコンピュータに実行させるポリシー生成プログラムであって、
システム管理者が生成した管理者生成ポリシーを受け付けるポリシー受付手順と、
前記管理対象システムの特性がモデル化されたシステムモデルを受け付けるモデル受付手順と、
前記ポリシー受付手順により受け付けられた前記管理者生成ポリシーと、前記モデル受付手順により受け付けられた前記システムモデルとの整合性を検証するポリシー検証手順と、
前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証手順により判断された場合には、当該管理者生成ポリシーに替わる代替ポリシーを生成する代替ポリシー生成手順と、
前記代替ポリシー生成手順により生成された前記代替ポリシーと、前記システムモデルとの整合性とを再検証するポリシー再検証手順と、
前記代替ポリシーと前記システムモデルとが整合すると前記ポリシー再検証手順により判断された場合には、当該代替ポリシーを前記システム管理者に提示する代替ポリシー提示手順と、
をコンピュータに実行させることを特徴とするポリシー生成プログラム。
【請求項１２】
システムとポリシーとが整合すると判断された適用事例を記憶部に記憶する適用事例記憶手順をさらにコンピュータに実行させ、
前記代替ポリシー生成手順は、前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証手順により判断された場合に、前記適用事例記憶手順により記憶部に記憶されている適用事例を参照して、当該システムモデルに対応したポリシーが存在する場合には、当該対応したポリシーを代替ポリシーとして採用することを特徴とする請求項１１に記載のポリシー生成プログラム。
【請求項１３】
前記管理者生成ポリシーは、少なくとも前記管理対象システムの動作を制御するための手続と、当該管理対象システムが動作時に遵守すべき制約と、当該管理対象システムが達成すべき目標とからなり、
前記代替ポリシー生成手順は、前記管理者生成ポリシーの手続、制約および目標のいずれか一つまたは複数に変更を加えて、前記代替ポリシーを生成することを特徴とする請求項１１に記載のポリシー生成プログラム。
【請求項１４】
前記代替ポリシー生成手順は、前記手続、前記制約および前記目標の中で採用されている閾値のいずれか一つまたは複数を緩和して、前記代替ポリシーを生成することを特徴とする請求項１３に記載のポリシー生成プログラム。
【請求項１５】
前記代替ポリシー生成手順は、前記制約内の設定項目のいずれか一つまたは複数を削除して前記代替ポリシーを生成することを特徴とする請求項１３に記載のポリシー生成プログラム。
【請求項１６】
前記代替ポリシー生成手順は、前記手続内の設定項目を限定して前記代替ポリシーを生成することを特徴とする請求項１３に記載のポリシー生成プログラム。
【請求項１７】
前記代替ポリシー提示手順は、前記代替ポリシー生成手順により前記代替ポリシーが複数生成された場合に、前記手続、前記制約および前記目標に対する変更が少ない順に順位付けして、複数の代替ポリシーをそれぞれ提示することを特徴とする請求項１３に記載のポリシー生成プログラム。
【請求項１８】
前記管理者生成ポリシーと前記システムモデルとが整合すると前記ポリシー検証手順により判断された場合には、整合する旨を前記システム管理者に通知する通知手順をさらにコンピュータに実行させることを特徴とする請求項１１に記載のポリシー生成プログラム。
【請求項１９】
前記代替ポリシー生成手順は、代替ポリシーと前記システムモデルとが不整合であると前記ポリシー再検証手順により判断される度に、当該代替ポリシーに替わる新たな代替ポリシーを生成し、
前記ポリシー再検証手順は、前記代替ポリシー生成手順より新たな代替ポリシーが生成される度に、当該代替ポリシーと前記システムモデルとの整合性とを再検証し、
前記通知手順は、前記代替ポリシーと前記システムモデルとが不整合であると前記ポリシー再検証手順により判断された回数が所定の回数に到達している場合には、前記代替ポリシーの生成が不可能である旨を前記システム管理者に通知することを特徴とする請求項１８に記載のポリシー生成プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
この発明は、管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーを生成するポリシー生成装置、当該装置に対応したポリシー生成方法およびポリシー生成プログラムに関する。
【背景技術】
【０００２】
近年、複雑化する情報システムを管理し、安定した運用を実現することを目的として、自律システムの研究が進められ、その中核をなす技術としてポリシーベース自律システムが注目されてきている。簡単に説明すると、このポリシーベースシステムは、まず、ＳＬＯ（Ｓｅｒｖｉｃｅ  Ｌｅｖｅｌ  Ｏｂｊｅｃｔｉｖｅ）などに従い、システムが満たすべき制約や実行可能なオペレーション（手続き）などをポリシーとして記述し、それをシステムに与える。ポリシーを与えられたシステムは、それを自律的に解釈し、状況に応じてリソースなどを自律的に制御する。【０００３】
また、このような自律システムにおいては、ポリシーがシステム上で正しく動作するか否か、すなわち、ポリシーとシステムとの整合性を検証する必要がある。例えば、特許文献１では、システム管理者が作成したテストシナリオを自律システムに適用し、そのテストシナリオに沿って実行される自律システムのシミュレーション結果を利用して、ポリシーがシステム上で正しく動作するか否かを検証する技術が開示されている。【０００４】
また、ポリシーにシステムとの不整合が検知された場合には、ポリシーを修正してシステムに不具合が発生するのを防止するため、システム管理者がポリシーの修正方法を考え出していた。【０００５】
【特許文献１】特開２００５−１９６６０１号公報
【発明の開示】
【発明が解決しようとする課題】
【０００６】
しかしながら、上記した従来の技術は、ポリシーとシステムとの整合性を検証することができない場合がある、ポリシーを修正するためには多大な時間と労力が必要となるといった問題点があった。【０００７】
すなわち、従来の技術では、テストシナリオに沿って自律システムが動作し、シミュレーション結果が得られる場合にはポリシーの整合性を検証することができるが、そもそもテストシナリオに沿って自律システムが動作しなかった場合には、ポリシーとシステムとの整合性を検証することができないという問題点があった。【０００８】
また、シミュレーション結果を利用した検証では、顕在化する確立が非常に小さいポリシーとシステムとの不整合を見逃してしまうという問題点もある。【０００９】
また、ポリシーにシステムとの不整合が検知される度に、システム管理者が試行錯誤してポリシーを修正していたので、多大な時間と労力が必要とされるという問題点があった。【００１０】
そこで、この発明は、上述した従来技術の課題を解決するためになされたものであり、テストシナリオを用いることなくシステムとポリシーとの整合性を検証することができるとともに、多大な時間と労力を必要とすることなく修正したポリシーを取得することが可能なポリシー生成装置、ポリシー生成方法およびポリシー生成プログラムを提供することを目的とする。
【課題を解決するための手段】
【００１１】
上述した課題を解決し、目的を達成するため、請求項１に係る発明は、管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーを生成するポリシー生成装置であって、システム管理者が生成した管理者生成ポリシーを受け付けるポリシー受付手段と、前記管理対象システムの特性がモデル化されたシステムモデルを受け付けるモデル受付手段と、前記ポリシー受付手段により受け付けられた前記管理者生成ポリシーと、前記モデル受付手段により受け付けられた前記システムモデルとの整合性を検証するポリシー検証手段と、前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証手段により判断された場合には、当該管理者生成ポリシーに替わる代替ポリシーを生成する代替ポリシー生成手段と、前記代替ポリシー生成手段により生成された前記代替ポリシーと、前記システムモデルとの整合性とを再検証するポリシー再検証手段と、前記代替ポリシーと前記システムモデルとが整合すると前記ポリシー再検証手段により判断された場合には、当該代替ポリシーを前記システム管理者に提示する代替ポリシー提示手段と、を備えたことを特徴とする。【００１２】
また、請求項２に係る発明は、上記の発明において、システムとポリシーとが整合すると判断された適用事例を記憶する適用事例記憶手段をさらに備え、前記代替ポリシー生成手段は、前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証手段により判断された場合に、前記適用事例記憶手段により記憶されている適用事例を参照して、当該システムモデルに対応したポリシーが存在する場合には、当該対応したポリシーを代替ポリシーとして採用することを特徴とする。【００１３】
また、請求項３に係る発明は、上記の発明において、前記管理者生成ポリシーは、少なくとも前記管理対象システムの動作を制御するための手続と、当該管理対象システムが動作時に遵守すべき制約と、当該管理対象システムが達成すべき目標とからなり、前記代替ポリシー生成手段は、前記管理者生成ポリシーの手続、制約および目標のいずれか一つまたは複数に変更を加えて、前記代替ポリシーを生成することを特徴とする。【００１４】
また、請求項４に係る発明は、上記の発明において、前記代替ポリシー生成手段は、前記手続、前記制約および前記目標の中で採用されている閾値のいずれか一つまたは複数を緩和して、前記代替ポリシーを生成することを特徴とする。【００１５】
また、請求項５に係る発明は、上記の発明において、前記代替ポリシー生成手段は、前記制約内の設定項目のいずれか一つまたは複数を削除して前記代替ポリシーを生成することを特徴とする。【００１６】
また、請求項６に係る発明は、上記の発明において、前記代替ポリシー生成手段は、前記手続内の設定項目を限定して前記代替ポリシーを生成することを特徴とする。【００１７】
また、請求項７に係る発明は、上記の発明において、前記代替ポリシー提示手段は、前記代替ポリシー生成手段により前記代替ポリシーが複数生成された場合に、前記手続、前記制約および前記目標に対する変更が少ない順に順位付けして、複数の代替ポリシーをそれぞれ提示することを特徴とする。【００１８】
また、請求項８に係る発明は、上記の発明において、前記管理者生成ポリシーと前記システムモデルとが整合すると前記ポリシー検証手段により判断された場合には、整合する旨を前記システム管理者に通知する通知手段をさらに備えたことを特徴とする。【００１９】
また、請求項９に係る発明は、上記の発明において、前記代替ポリシー生成手段は、代替ポリシーと前記システムモデルとが不整合であると前記ポリシー再検証手段により判断される度に、当該代替ポリシーに替わる新たな代替ポリシーを生成し、前記ポリシー再検証手段は、前記代替ポリシー生成手段より新たな代替ポリシーが生成される度に、当該代替ポリシーと前記システムモデルとの整合性とを再検証し、前記通知手段は、前記代替ポリシーと前記システムモデルとが不整合であると前記ポリシー再検証手段により判断された回数が所定の回数に到達している場合には、前記代替ポリシーの生成が不可能である旨を前記システム管理者に通知することを特徴とする。【００２０】
また、請求項１０に係る発明は、管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーを生成するポリシー生成方法であって、システム管理者が生成した管理者生成ポリシーを受け付けるポリシー受付工程と、前記管理対象システムの特性がモデル化されたシステムモデルを受け付けるモデル受付工程と、前記ポリシー受付工程により受け付けられた前記管理者生成ポリシーと、前記モデル受付工程により受け付けられた前記システムモデルとの整合性を検証するポリシー検証工程と、前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証工程により判断された場合には、当該管理者生成ポリシーに替わる代替ポリシーを生成する代替ポリシー生成工程と、前記代替ポリシー生成工程により生成された前記代替ポリシーと、前記システムモデルとの整合性とを再検証するポリシー再検証工程と、前記代替ポリシーと前記システムモデルとが整合すると前記ポリシー再検証工程により判断された場合には、当該代替ポリシーを前記システム管理者に提示する代替ポリシー提示工程と、を含んだことを特徴とする。【００２１】
また、請求項１１に係る発明は、管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーの生成処理をコンピュータに実行させるポリシー生成プログラムであって、システム管理者が生成した管理者生成ポリシーを受け付けるポリシー受付手順と、前記管理対象システムの特性がモデル化されたシステムモデルを受け付けるモデル受付手順と、前記ポリシー受付手順により受け付けられた前記管理者生成ポリシーと、前記モデル受付手順により受け付けられた前記システムモデルとの整合性を検証するポリシー検証手順と、前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証手順により判断された場合には、当該管理者生成ポリシーに替わる代替ポリシーを生成する代替ポリシー生成手順と、前記代替ポリシー生成手順より生成された前記代替ポリシーと、前記システムモデルとの整合性とを再検証するポリシー再検証手順と、前記代替ポリシーと前記システムモデルとが整合すると前記ポリシー再検証手順により判断された場合には、当該代替ポリシーを前記システム管理者に提示する代替ポリシー提示手順と、をコンピュータに実行させることを特徴とする。【００２２】
また、請求項１２に係る発明は、上記の発明において、システムとポリシーとが整合すると判断された適用事例を記憶部に記憶する適用事例記憶手順をさらにコンピュータに実行させ、前記代替ポリシー生成手順は、前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証手順により判断された場合に、前記適用事例記憶手順により記憶部に記憶されている適用事例を参照して、当該システムモデルに対応したポリシーが存在する場合には、当該対応したポリシーを代替ポリシーとして採用することを特徴とする。【００２３】
また、請求項１３に係る発明は、上記の発明において、前記管理者生成ポリシーは、少なくとも前記管理対象システムの動作を制御するための手続と、当該管理対象システムが動作時に遵守すべき制約と、当該管理対象システムが達成すべき目標とからなり、前記代替ポリシー生成手順は、前記管理者生成ポリシーの手続、制約および目標のいずれか一つまたは複数に変更を加えて、前記代替ポリシーを生成することを特徴とする。【００２４】
また、請求項１４に係る発明は、上記の発明において、前記代替ポリシー生成手順は、前記手続、前記制約および前記目標の中で採用されている閾値のいずれか一つまたは複数を緩和して、前記代替ポリシーを生成することを特徴とする。【００２５】
また、請求項１５に係る発明は、上記の発明において、前記代替ポリシー生成手順は、前記制約内の設定項目のいずれか一つまたは複数を削除して前記代替ポリシーを生成することを特徴とする。【００２６】
また、請求項１６に係る発明は、上記の発明において、前記代替ポリシー生成手順は、前記手続内の設定項目を限定して前記代替ポリシーを生成することを特徴とする。【００２７】
また、請求項１７に係る発明は、上記の発明において、前記代替ポリシー提示手順は、前記代替ポリシー生成手順により前記代替ポリシーが複数生成された場合に、前記手続、前記制約および前記目標に対する変更が少ない順に順位付けして、複数の代替ポリシーをそれぞれ提示することを特徴とする。【００２８】
また、請求項１８に係る発明は、上記の発明において、前記管理者生成ポリシーと前記システムモデルとが整合すると前記ポリシー検証手順により判断された場合には、整合する旨を前記システム管理者に通知する通知手順をさらにコンピュータに実行させることを特徴とする。【００２９】
また、請求項１９に係る発明は、上記の発明において、前記代替ポリシー生成手順は、代替ポリシーと前記システムモデルとが不整合であると前記ポリシー再検証手順により判断される度に、当該代替ポリシーに替わる新たな代替ポリシーを生成し、前記ポリシー再検証手順は、前記代替ポリシー生成手順より新たな代替ポリシーが生成される度に、当該代替ポリシーと前記システムモデルとの整合性とを再検証し、前記通知手順は、前記代替ポリシーと前記システムモデルとが不整合であると前記ポリシー再検証手順により判断された回数が所定の回数に到達している場合には、前記代替ポリシーの生成が不可能である旨を前記システム管理者に通知することを特徴とする。
【発明の効果】
【００３０】
本発明によれば、システム管理者が生成した管理者生成ポリシーと、管理対象システムの特性がモデル化されたシステムモデルとを受け付け、管理者生成ポリシーとシステムモデルとの整合性を検証した結果、管理者生成ポリシーとシステムモデルとが不整合であると判断された場合には、この管理者生成ポリシーに替わる代替ポリシーを生成し、代替ポリシーとシステムモデルとの整合性を再検証した結果、代替ポリシーとシステムモデルとが整合すると判断された場合には、代替ポリシーをシステム管理者に提示するので、テストシナリオを用いることなくシステムとポリシーとの整合性を検証することが可能である。また、管理者が生成したポリシーにシステムとの不整合が検知された場合には整合する代替ポリシーが自動で生成され、多大な時間と労力を必要とすることなく修正したポリシーを取得することが可能である。さらに、システム管理者は、提示された代替ポリシーを参考にすることで、最小限の時間と労力で新たなポリシーを生成することも可能である。【００３１】
また、本発明によれば、システムとポリシーとが整合すると判断された適用事例を記憶しておき、管理者生成ポリシーとシステムモデルとが不整合であると判断された場合に、記憶されている適用事例を参照して、システムモデルに対応したポリシーが存在する場合には、対応したポリシーを代替ポリシーとして採用するので、過去の適用事例に基づいて最適なポリシーを採用することが可能である。【００３２】
また、本発明によれば、ポリシーは、少なくとも管理対象システムの動作を制御するための手続と、管理対象システムが動作時に遵守すべき制約と、管理対象システムが達成すべき目標とからなり、システム管理者が生成したポリシーの手続、制約および目標のいずれか一つまたは複数に変更を加えて代替ポリシーを生成するので、細かな条件を変更した代替ポリシーを生成することが可能である。【００３３】
また、本発明によれば、ポリシーとして設定された手続、制約および目標の中で採用されている閾値のいずれか一つまたは複数を緩和して代替ポリシーを生成するので、簡単な操作で代替ポリシーを生成することが可能である。【００３４】
また、本発明によれば、ポリシーとして設定された制約内の設定項目のいずれか一つまたは複数を削除して代替ポリシーを生成するので、システムが制約違反状態へ到達しない代替ポリシーを生成することが可能である。【００３５】
また、本発明によれば、ポリシーとして設定された手続内の設定項目を限定して代替ポリシーを生成するので、制約を変更することなく、システムが制約違反状態へ到達しない代替ポリシーを生成することが可能である。【００３６】
また、本発明によれば、代替ポリシーが複数生成された場合に、手続、制約および目標に対する変更が少ない順に順位付けして、複数の代替ポリシーをそれぞれ提示するので、システム管理者は、システムに適合した代替ポリシーを順位付けしてシステム管理者に提示することが可能である。【００３７】
また、本発明によれば、管理者生成ポリシーとシステムモデルとが整合すると判断された場合には、整合する旨をシステム管理者に通知するので、システム管理者は、自己が生成したポリシーがシステムと整合することを把握することが可能である。【００３８】
また、本発明によれば、代替ポリシーとシステムモデルとが不整合であると判断される度に、代替ポリシーに替わる新たな代替ポリシーを生成し、新たな代替ポリシーが生成される度に、代替ポリシーとシステムモデルとの整合性とを再検証し、代替ポリシーとシステムモデルとが不整合であると判断された回数が所定の回数に到達している場合には、代替ポリシーの生成が不可能である旨をシステム管理者に通知するので、例えば、最初に生成したポリシーに欠陥があるかどうか見直す機会をシステム管理者に与えることが可能である。
【図面の簡単な説明】
【００３９】
【図１】図１は、実施例１に係るポリシー生成装置の概要および特徴を説明するための図である。
【図２】図２は、実施例１に係るポリシー生成装置の構成を示すブロック図である。
【図３】図３は、管理対象システムの構成例を示す図である。
【図４】図４は、システムモデルの構成例を示す図である。
【図５】図５は、システム管理者が生成するポリシーの設定例を示す図である。
【図６】図６は、代替ポリシー例を示す図である。
【図７】図７は、代替ポリシー例を示す図である。
【図８】図８は、代替ポリシー例を示す図である。
【図９】図９は、代替ポリシー例を示す図である。
【図１０】図１０は、代替ポリシー例を示す図である。
【図１１】図１１は、代替ポリシーの提示例を示す図である。
【図１２】図１２は、実施例１に係るポリシー生成装置の処理の流れを示すフローチャートである。
【図１３】図１３は、実施例２に係るポリシー生成装置の処理の流れを示すフローチャートである。
【図１４】図１４は、ポリシー生成プログラムを実行するコンピュータを示す図である。
【符号の説明】
【００４０】
１  ネットワーク
１０  ポリシー生成装置
１１  通信制御Ｉ／Ｆ部
１２  記憶部
１２ａ  適用事例記憶部
１２ｂ  ポリシー改変戦略記憶部
１３  制御部
１３ａ  データ受付部
１３ｂ  ポリシー整合性検証部
１３ｃ  代替ポリシー生成部
１３ｄ  代替ポリシー提示部
１３ｅ  検証結果通知部
２０  管理者端末装置
３０  コンピュータ
３１  通信制御Ｉ／Ｆ部
３２  ＨＤＤ（Hard  Disk  Drive）
３３  ＲＡＭ（Random  Access  Memory）
３４  ＲＯＭ（Read  Only  Memory）
３５  ＣＰＵ（Central  Processing  Unit）
４０  バス
【発明を実施するための最良の形態】
【００４１】
以下に添付図面を参照して、この発明に係るポリシー生成装置、ポリシー生成方法およびポリシー生成プログラムの実施例を詳細に説明する。なお、以下では、本発明に係るポリシー生成装置を実施例１として説明した後に、本発明に含まれる他の実施例を説明する。
【実施例１】
【００４２】
以下の実施例１では、実施例１に係るポリシー生成装置の概要および特徴、ポリシー制御装置の構成および処理を順に説明し、最後に実施例１による効果を説明する。【００４３】
［ポリシー生成装置の概要および特徴（実施例１）］
まず、図１を用いて、実施例１に係るポリシー生成装置の概要および特徴を説明する。図１は、実施例１に係るポリシー生成装置の概要および特徴を説明するための図である。【００４４】
実施例１に係るポリシー生成装置は、管理対象システムにおける自律動作を制御するために、システムに適用するポリシーを生成することを概要とするが、テストシナリオを用いることなくシステムとポリシーとの整合性を検証することができるとともに、多大な時間と労力を必要とすることなく修正したポリシーを取得することが可能である点に主たる特徴がある。【００４５】
この主たる特徴について具体的に説明すると、図１に示すように、実施例１に係るポリシー生成装置は、システム管理者が生成したポリシー、および管理対象システムの特性がモデル化されたシステムモデルをシステム管理者の操作する端末から受け付ける（図１の（１）参照）。【００４６】
ここで、システム管理者が生成したポリシーには、管理対象システムの動作を制御するための手続と、管理対象システムが動作時に遵守すべき制約と、管理対象システムが達成すべき目標とが設定されている。また、システムモデルは、管理対象システムの特性をベンチマークなどによって計測し、その計測された情報を用いて、例えば、システム管理者などが管理対象システムを定義してモデル化したものである。【００４７】
システム管理者が生成したポリシーおよび管理対象システムのシステムモデルを受け付けると、ポリシー生成装置のポリシー整合性検証部は、システム管理者が生成したポリシーとシステムモデルとの整合性を検証する。具体的に説明すると、ポリシー整合性検証部は、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、ポリシーに設定された制約に違反することなく、ポリシーに設定された目標にシステムモデルを到達させることができるか否かを検証する。【００４８】
そして、ポリシー整合性検証部は、初期状態からシステムモデルが到達し得るあらゆる状態において、ポリシーに設定された手続に従ってシステムモデルを動作させることにより、ポリシーに設定された制約に違反することなく、ポリシーに設定された目標にシステムモデルを到達させることができる場合には、システム管理者が生成したポリシーとシステムモデルとが整合するものと判断する。なお、ポリシー整合性検証部により、システム管理者が生成したポリシーと管理対象システムとが整合するものと判断された場合には、ポリシー生成装置はその旨をシステム管理者に通知する。【００４９】
これとは反対に、ポリシー整合性検証部は、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、ポリシーに設定された制約に違反する場合、または、ポリシーに設定された目標にシステムモデルを到達させることができない場合、あるいは、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、システムの動作が完了することなく無限にループし続けるライブロックに陥る場合などには、システム管理者が生成したポリシーとシステムモデルとが不整合であると判断する。そして、ポリシー生成装置の代替ポリシー生成部は、システム管理者が生成したポリシーに替わる代替ポリシーを生成する（図１の（２）参照）。【００５０】
具体的に説明すると、ポリシー生成装置は、システムとポリシーとが整合すると判断された過去の適用事例を記憶する適用事例記憶部と、代替ポリシーを生成するために用いるポリシー改変戦略を記憶するポリシー改変戦略記憶部とをあらかじめ備える。そして、代替ポリシー生成部は、適用事例記憶部に記憶されている適用事例を参照して、システムモデルとしてモデル化された管理対象システムに対応するポリシーが存在する場合には、その対応するポリシーを代替ポリシーとして採用する。【００５１】
また、代替ポリシー生成部は、ポリシー改変戦略記憶部に記憶されているポリシー改変戦略に基づいて、システム管理者が生成したポリシーに設定されている手続、制約および目標のいずれか一つ又は複数に変更を加えて代替ポリシーを生成する。ここで、ポリシー改変戦略には、システム管理者が生成したポリシーに設定されている手続、制約および目標の中で採用されている閾値のいずれか一つまたは複数を緩和して、代替ポリシーを生成する閾値緩和法、制約内の設定項目のいずれか一つまたは複数を削除して代替ポリシーを生成する制約削除法、および手続内の設定項目を限定して代替ポリシーを生成する手続限定法などがある。【００５２】
代替ポリシーを生成した後、代替ポリシー生成部は、生成した代替ポリシーをポリシー整合性検証部に送出する（図１の（３）参照）。代替ポリシーを受け付けたポリシー整合性検証部は、代替ポリシーとシステムモデルとの整合性を検証する。そして、ポリシー整合性検証部により、代替ポリシーとシステムモデルとが整合するものと判断された場合には、ポリシー生成装置は、代替ポリシーをシステム管理者に提示する（図１の（４）参照）。【００５３】
なお、ポリシー生成装置は、代替ポリシーをシステム管理者に提示する場合に、代替ポリシーを順位付けして提示するようにしてもよい。例えば、ポリシーに設定された手続、制約および目標に対する変更が少ない順に推奨順位が上位の代替ポリシーとして順位付けする。あるいは、変更数が同一の代替ポリシーが存在する場合には、目標よりも制約、制約よりも手続を変更した代替ポリシーを推奨順位が上位の代替ポリシーとして順位付けする。【００５４】
自己が操作する端末を介して、ポリシー生成装置から代替ポリシーの提示を受けたシステム管理者は、代替ポリシーが複数存在する場合にはその中から一つ選択して承認する（図１の（５）参照）。そして、システム管理者は、承認した代替ポリシーを管理対象システムに配布して適用してもよいし、代替ポリシーを参考にして新たなポリシーを自ら生成してもよい。【００５５】
なお、ポリシー生成装置は、ポリシー整合性検証部により整合するものと判断され、システム管理者により管理対象システムに配布されて適用された代替ポリシーと管理対象システムとの対応関係に関する情報を適用事例記憶部に記憶しておく。今後、同様のシステムに関する代替ポリシーの生成に利用する趣旨である。【００５６】
このようなことから、実施例１に係るポリシー生成装置は、上述した主たる特徴のごとく、テストシナリオを用いることなくシステムとポリシーとの整合性を検証することができるとともに、多大な時間と労力を必要とすることなく修正したポリシー（代替ポリシー）を取得することが可能である。【００５７】
［ポリシー生成装置の構成（実施例１）］
次に、図２〜図１１を用いて、実施例１に係るポリシー生成装置の構成を説明する。図２は、実施例１に係るポリシー生成装置の構成を示すブロック図である。図３は、管理対象システムの構成例を示す図である。図４は、システムモデルの構成例を示す図である。図５は、システム管理者が生成するポリシーの設定例を示す図である。図６は、代替ポリシー例を示す図である。図７は、代替ポリシー例を示す図である。図８は、代替ポリシー例を示す図である。図９は、代替ポリシー例を示す図である。図１０は、代替ポリシー例を示す図である。図１１は、代替ポリシーの提示例を示す図である。【００５８】
図２に示すように、実施例１に係るポリシー生成装置１０は、通信制御Ｉ／Ｆ部１１と、記憶部１２と、制御部１３とから構成される。このうち、通信制御Ｉ／Ｆ部１１は、管理者端末装置２０との間でやり取りする各種情報に関する通信を制御する。【００５９】
記憶部１２は、制御部１３による各種処理に必要なデータおよびプログラムを記憶する記憶部であり、特に本発明に密接に関連するものとしては、適用事例記憶部１２ａおよびポリシー改変戦略記憶部１２ｂをそれぞれ備える。【００６０】
このうち、適用事例記憶部１２ａは、システムとポリシーとが整合すると判断された過去の適用事例を記憶する記憶部である。例えば、過去に、システムとポリシーとが整合すると判断されたシステムモデルとポリシーとの関係を記憶して構成される。なお、適用事例記憶部１２ａは、後述するポリシー整合性検証部１３ｂにより整合するものと判断され、システム管理者により管理対象システムに配布されて適用された代替ポリシーと管理対象システムとの対応関係に関する情報を記憶する。今後、同様のシステムに関する代替ポリシーの生成に利用する趣旨である。【００６１】
ポリシー改変戦略記憶部１２ｂは、代替ポリシーを生成するために用いるポリシー改変戦略を記憶する記憶部である。例えば、ポリシー改変戦略として、システム管理者が生成したポリシーに設定されている手続、制約および目標の中で採用されている閾値のいずれか一つまたは複数を緩和して、代替ポリシーを生成する閾値緩和法、制約内の設定項目のいずれか一つまたは複数を削除して代替ポリシーを生成する制約削除法、および手続内の設定項目を限定して代替ポリシーを生成する手続限定法などを記憶して構成される。【００６２】
制御部１３は、所定の制御プログラム、各種の処理手順などを規定したプログラムおよび所要データを格納するための内部メモリを有し、これらによって種々の処理を実行する処理部であり、特に本発明に密接に関連するものとしては、データ受付部１３ａと、ポリシー整合性検証部１３ｂと、代替ポリシー生成部１３ｃと、代替ポリシー提示部１３ｄと、検証結果通知部１３ｅとを備える。【００６３】
このうち、データ受付部１３ａは、ネットワーク１を介して、システム管理者が生成したポリシーおよび管理対象システムをモデル化したシステムモデルを管理者端末装置２０から受け付ける処理部である。【００６４】
ここで、システムモデルは、例えば、メインシステムとスペアシステムとで構成されるような管理対象システム（図３参照）の特性をベンチマークなどによって計測し、その計測された情報を用いて、例えば、システム管理者などが管理対象システムを定義してモデル化したものである（図４参照）。【００６５】
また、システム管理者が生成するポリシーには、管理対象システムの動作を制御するための手続と、管理対象システムが動作時に遵守すべき制約と、管理対象システムが達成すべき目標とを設定される（図５参照）。【００６６】
そして、データ受付部１３ａは、システム管理者が生成したポリシーおよびシステムモデルをポリシー整合性検証部１３ｂに送出する。【００６７】
ポリシー整合性検証部１３ｂは、システム管理者が生成したポリシーと管理対象システムをモデル化したシステムモデルとの整合性を検証等する処理部である。なお、ポリシー整合性検証部１３ｂは、一般的なモデル検査手法（Ｅ．Ｍ．Ｃｌａｒｋｅ，Ｏ．Ｇｒｕｍｂｅｒｇ，ａｎｄ  Ｄ．Ａ．Ｐｅｌｅｄ，Ｍｏｄｅｌ  Ｃｈｅｃｋｉｎｇ，Ｔｈｅ  ＭＩＴ  Ｐｒｅｓｓ，１９９９．等参照）を用いて、ポリシーとシステムモデルとの整合性を検証する。【００６８】
具体的に説明すると、ポリシー整合性検証部１３ｂは、システム管理者が生成したポリシーおよびシステムモデルをデータ受付部１３ａから受け付けると、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、ポリシーに設定された制約に違反することなく、ポリシーに設定された目標にシステムモデルを到達させることができるか否かを検証する。そして、初期状態からシステムモデルが到達し得るあらゆる状態において、ポリシーに設定された手続に従うことにより、ポリシーに設定された制約に違反することなく、ポリシーに設定された目標にシステムモデルを到達させることができる場合には、システム管理者が生成したポリシーとシステムモデルとが整合するものと判断する。なお、システム管理者が生成したポリシーとシステムモデルとが整合するものと判断した場合には、その検証結果を後述する検証結果通知部１３ｅに送出する。【００６９】
これとは反対に、ポリシー整合性検証部１３ｂは、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、ポリシーに設定された制約に違反する場合、または、ポリシーに設定された目標にシステムモデルを到達させることができない場合、あるいは、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、システムの動作が完了することなく無限にループし続けるライブロックに陥る場合などには、システム管理者が生成したポリシーとシステムモデルとが不整合であると判断して、代替ポリシー生成指示を代替ポリシー生成部１３ｃに送出する。【００７０】
また、ポリシー整合性検証部１３ｂは、後述する代替ポリシー生成部１３ｃから代替ポリシーを受け付けた場合には、代替ポリシーとシステムモデルとの整合性を検証する。検証の結果、代替ポリシーとシステムモデルとが整合するものと判断した場合には、代替ポリシーを後述する代替ポリシー提示部１３ｄに送出する。これとは反対に、代替ポリシーとシステムモデルとが不整合であると判断した場合には、ポリシー整合性検証部１３ｂは、代替ポリシー生成指示を代替ポリシー生成部１３ｃに再度送出する。【００７１】
代替ポリシー生成部１３ｃは、ポリシー整合性検証部１３ｂから代替ポリシー生成指示を受け付けて、システム管理者が生成したポリシーに替わる代替ポリシーを生成する処理部である。【００７２】
具体的に説明すると、代替ポリシー生成部１３ｃは、適用事例記憶部１２ａに記憶されている適用事例を参照して、システムモデルとしてモデル化された管理対象システムに対応するポリシーが存在する場合には、その対応するポリシーを代替ポリシー１として採用する（図６参照）。【００７３】
また、代替ポリシー生成部１３ｃは、ポリシー改変戦略記憶部１２ｂに記憶されているポリシー改変戦略に基づいて、システム管理者が生成したポリシーに設定されている手続、制約および目標のいずれか一つ又は複数に変更を加えて代替ポリシーを生成する。例えば、システム管理者が生成したポリシー（図５参照）に設定された手続ルール１で採用されている閾値を５０％緩和した代替ポリシー２（図７参照）や、手続ルール２で採用されている閾値を５０％緩和した代替ポリシー３（図８参照）や、制約で採用されている閾値を５０％緩和するとともに四捨五入した代替ポリシー４（図９参照）や、目標の閾値を５０％緩和した代替ポリシー５（図１０参照）などを生成する。【００７４】
そして、代替ポリシー生成部１３ｃは、生成した代替ポリシーをポリシー整合性検証部１３ｂに送出する。【００７５】
なお、ポリシー整合性検証部１３ｂにおける代替ポリシーと管理対象システムとの整合性の検証処理から、代替ポリシー生成部１３ｃにおける代替ポリシーの生成処理までに至る処理は、代替ポリシーと管理対象システムをモデル化したシステムモデルとが整合するものとポリシー整合性検証部１３ｂにより判断されるまで繰り返し実行される。【００７６】
代替ポリシー提示部１３ｄは、ポリシー整合性検証部１３ｂから受け付けた代替ポリシーを管理者端末装置２０に送付することにより、システム管理者に提示する処理部である。そして、代替ポリシーをシステム管理者に提示する場合に、代替ポリシーを順位付けして提示するようにしてもよい（図１１参照）。いくつか例を挙げると、ポリシーに設定された手続、制約および目標に対する変更が少ない順に推奨順位が上位の代替ポリシーとして順位付けする。または、変更数が同一の代替ポリシーが存在する場合には、目標よりも制約、制約よりも手続を変更した代替ポリシーを推奨順位が上位の代替ポリシーとして順位付けする。あるいは、手続、制約および目標内に設定された項目を削除したポリシーの順位を削除しないポリシーより下位としたり、適用事例として存在するポリシー最上位としたりする。なお、代替ポリシーの順位付け方法については、システム管理者が適宜設定することができる。【００７７】
検証結果通知部１３ｅは、ポリシー整合性検証部１３ｂから検証結果を受け付けて、システム管理者が生成したポリシーと管理対象システムとが整合する旨の通知を管理者端末装置２０に送付することにより、システム管理者に通知する処理部である。【００７８】
なお、ポリシー生成装置１０は、既知のパーソナルコンピュータ、ワークステーションなどの情報処理装置に、上記した各機能を搭載することによって実現することもできる。【００７９】
［ポリシー生成装置の処理（実施例１）］
続いて、図１２を用いて、実施例１に係るポリシー生成装置の処理を説明する。図１２は、実施例１に係るポリシー生成装置の処理の流れを示すフローチャートである。【００８０】
同図に示すように、ポリシー整合性検証部１３ｂは、システム管理者が生成したポリシーおよびシステムモデルをデータ受付部１３ａから受け付けると、システム管理者が生成したポリシーとシステムモデルとの整合性を検証する（ステップＳ１２０１）。具体的に説明すると、ポリシー整合性検証部１３ｂは、システム管理者が生成したポリシーおよびシステムモデルをデータ受付部１３ａから受け付けると、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、ポリシーに設定された制約に違反することなく、ポリシーに設定された目標にシステムモデルを到達させることができるか否かを検証する。【００８１】
そして、ポリシー整合性検証部１３ｂは、初期状態からシステムモデルが到達し得るあらゆる状態において、ポリシーに設定された手続に従うことにより、ポリシーに設定された制約に違反することなく、ポリシーに設定された目標にシステムモデルを到達させることができる場合には、システム管理者が生成したポリシーとシステムモデルとが整合するものと判断し（ステップＳ１２０１否定）、その検証結果を検証結果通知部１３ｅに送出する。【００８２】
検証結果通知部１３ｅは、ポリシー整合性検証部１３ｂから検証結果を受け付けて、システム管理者が生成したポリシーとシステムモデルとが整合する旨の通知を管理者端末装置２０に送付することによりシステム管理者に通知する（ステップＳ１２０２）。【００８３】
ここで、ステップＳ１２０１の説明に戻ると、ポリシー整合性検証部１３ｂは、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、ポリシーに設定された制約に違反する場合、または、ポリシーに設定された目標にシステムモデルを到達させることができない場合、あるいは、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、システムの動作が完了することなく無限にループし続けるライブロックに陥る場合などには、システム管理者が生成したポリシーとシステムモデルとが不整合であると判断して（ステップＳ１２０１肯定）、代替ポリシー生成指示を代替ポリシー生成部１３ｃに送出する。【００８４】
そして、代替ポリシー生成部１３ｃは、ポリシー整合性検証部１３ｂから代替ポリシー生成指示を受け付けて、システム管理者が生成したポリシーに替わる代替ポリシーを生成する（ステップＳ１２０３）。【００８５】
具体的に説明すると、代替ポリシー生成部１３ｃは、適用事例記憶部１２ａに記憶されている適用事例を参照して、システムモデルとしてモデル化された管理対象システムに対応するポリシーが存在する場合には、その対応するポリシーを代替ポリシー１として採用する（図６参照）。【００８６】
また、代替ポリシー生成部１３ｃは、ポリシー改変戦略記憶部１２ｂに記憶されているポリシー改変戦略に基づいて、システム管理者が生成したポリシーに設定されている手続、制約および目標のいずれか一つ又は複数に変更を加えて代替ポリシーを生成する。例えば、システム管理者が生成したポリシー（図５参照）に設定された手続ルール１で採用されている閾値を５０％緩和した代替ポリシー２（図７参照）や、手続ルール２で採用されている閾値を５０％緩和した代替ポリシー３（図８参照）や、制約で採用されている閾値を５０％緩和するとともに四捨五入した代替ポリシー４（図９参照）や、目標の閾値を５０％緩和した代替ポリシー５（図１０参照）などを生成する。代替ポリシー生成部１３ｃは、生成した代替ポリシーをポリシー整合性検証部１３ｂに送出する。【００８７】
そして、ポリシー整合性検証部１３ｂは、代替ポリシー生成部１３ｃから代替ポリシーを受け付けた場合には、代替ポリシーと管理対象システムとの整合性を検証する（ステップＳ１２０４）。検証の結果、代替ポリシーとシステムモデルとが整合するものと判断した場合には（ステップＳ１２０４肯定）、代替ポリシーを代替ポリシー提示部１３ｄに送出する。これとは反対に、代替ポリシーとシステムモデルとが不整合であると判断した場合には（ステップＳ１２０４否定）、ポリシー整合性検証部１３ｂは、代替ポリシー生成指示を代替ポリシー生成部１３ｃに再度送出する。【００８８】
なお、ポリシー整合性検証部１３ｂにおける代替ポリシーとシステムモデルとの整合性の検証処理から、代替ポリシー生成部１３ｃにおける代替ポリシーの生成処理までに至る処理は、代替ポリシーと管理対象システムをモデル化したシステムモデルとが整合するものとポリシー整合性検証部１３ｂにより判断されるまで繰り返し実行される。【００８９】
そして、代替ポリシー提示部１３ｄは、ポリシー整合性検証部１３ｂから受け付けた代替ポリシーを管理者端末装置２０に送付することにより、システム管理者に提示する（ステップＳ１２０５）。代替ポリシーをシステム管理者に提示する場合には、代替ポリシーを順位付けして提示するようにしてもよい（図１１参照）。【００９０】
［実施例１による効果］
上述してきたように、実施例１によれば、システム管理者が生成した管理者生成ポリシーと、管理対象システムの特性がモデル化されたシステムモデルとを受け付け、管理者生成ポリシーとシステムモデルとの整合性を検証した結果、管理者生成ポリシーとシステムモデルとが不整合であると判断された場合には、この管理者生成ポリシーに替わる代替ポリシーを生成し、代替ポリシーとシステムモデルとの整合性とを再検証した結果、代替ポリシーとシステムモデルとが整合すると判断された場合には、代替ポリシーをシステム管理者に提示するので、テストシナリオを用いることなくシステムとポリシーとの整合性を検証することが可能である。また、管理者が生成したポリシーにシステムとの不整合が検知された場合には整合性する代替ポリシーが自動で生成され、多大な時間と労力を必要とすることなく修正したポリシーを取得することが可能である。さらに、システム管理者は、提示された代替ポリシーを参考にすることで、最小限の時間と労力で新たなポリシーを生成することも可能である。【００９１】
また、実施例１によれば、システムとポリシーとが整合すると判断された適用事例を記憶しておき、管理者生成ポリシーとシステムモデルとが不整合であると判断された場合に、記憶されている適用事例を参照して、システムモデルに対応したポリシーが存在する場合には、対応したポリシーを代替ポリシーとして採用するので、過去の適用事例に基づいて最適なポリシーを採用することが可能である。【００９２】
また、実施例１によれば、ポリシーは、少なくとも管理対象システムの動作を制御するための手続と、管理対象システムが動作時に遵守すべき制約と、管理対象システムが達成すべき目標とからなり、システム管理者が生成したポリシーの手続、制約および目標のいずれか一つまたは複数に変更を加えて代替ポリシーを生成するので、細かな条件を変更した代替ポリシーを生成することが可能である。【００９３】
また、実施例１によれば、ポリシーとして設定された手続、制約および目標の中で採用されている閾値のいずれか一つまたは複数を緩和して代替ポリシーを生成するので、簡単な操作で代替ポリシーを生成することが可能である。【００９４】
また、実施例１によれば、ポリシーとして設定された制約内の設定項目のいずれか一つまたは複数を削除して代替ポリシーを生成するので、システムが制約違反状態へ到達しない代替ポリシーを生成することが可能である。【００９５】
また、実施例１によれば、ポリシーとして設定された手続内の設定項目を限定して代替ポリシーを生成するので、制約を変更することなく、システムが制約違反状態へ到達しない代替ポリシーを生成することが可能である。【００９６】
また、実施例１によれば、代替ポリシーが複数生成された場合に、手続、制約および目標に対する変更が少ない順に順位付けして、複数の代替ポリシーをそれぞれ提示するので、システム管理者は、システムに適合した代替ポリシーを順位付けしてシステム管理者に提示することが可能である。【００９７】
また、実施例１によれば、管理者生成ポリシーとシステムモデルとが整合すると判断された場合には、整合する旨をシステム管理者に通知するので、システム管理者は、自己が生成したポリシーがシステムと整合することを把握することが可能である。
【実施例２】
【００９８】
上記の実施例１では、代替ポリシーと管理対象システムをモデル化したシステムモデルとが整合するものとポリシー整合性検証部１３ｂにより判断されるまで、ポリシー整合性検証部１３ｂにおける代替ポリシーとシステムモデルとの整合性の検証処理から、代替ポリシー生成部１３ｃにおける代替ポリシーの生成処理までに至る処理を繰り返し実行する場合を説明したが、本発明はこれに限定されるものではなく、代替ポリシーとシステムモデルとが不整合であると判断された回数が所定の回数に到達している場合には、代替ポリシーの生成が不可能である旨をシステム管理者に通知するようにしてもよい。そこで、以下の実施例２では、実施例２に係るポリシー生成装置の構成および処理を順に説明し、最後に実施例２による効果を説明する。【００９９】
［ポリシー生成装置の構成（実施例２）］
まず、実施例２に係るポリシー生成装置の構成を説明する。実施例２に係るポリシー生成装置は、実施例１に係るポリシー生成装置１０と基本的には同様の構成であるが、以下に説明する点が異なる。【０１００】
すなわち、ポリシー整合性検証部１３ｂは、代替ポリシー生成部１３ｃから代替ポリシーを受け付けた場合には、代替ポリシーとシステムモデルとの整合性を検証し、代替ポリシーとシステムモデルとが不整合であると判断した場合には、不整合であると判断した回数が所定の回数に到達しているか否か判定する。判定の結果、所定の回数に到達している場合には、その判定結果を検証結果通知部１３ｅに送出する。一方、判定の結果、所定の回数に到達していない場合には、代替ポリシー生成指示を代替ポリシー生成部１３ｃに再度送出する。【０１０１】
検証結果通知部１３ｅは、ポリシー整合性検証部１３ｂから判定結果を受け付けて、代替ポリシーの生成が不可能である旨を管理者端末装置２０に送付することにより、システム管理者に通知する。【０１０２】
［ポリシー生成装置の処理（実施例２）］
次に、図１３を用いて、実施例２に係るポリシー生成装置の処理を説明する。図１３は、実施例２に係るポリシー生成装置の処理の流れを示すフローチャートである。なお、実施例２に係るポリシー生成装置の処理は、以下に説明する点が異なる。【０１０３】
すなわち、ポリシー整合性検証部１３ｂは、代替ポリシー生成部１３ｃから代替ポリシーを受け付けた場合には、代替ポリシーとシステムモデルとの整合性を検証する（ステップＳ１３０４）。そして、代替ポリシーとシステムモデルとが整合するものと判断した場合には（ステップＳ１３０４肯定）、実施例１で説明したのと同様に、代替ポリシーを後述する代替ポリシー提示部１３ｄに送出する。【０１０４】
これとは反対に、代替ポリシーとシステムモデルとが不整合であると判断した場合には（ステップＳ１３０４否定）、ポリシー整合性検証部１３ｂは、不整合であると判断した回数が所定の回数に到達しているか否か判定する（ステップＳ１３０６）。判定の結果、所定の回数に到達している場合には（ステップＳ１３０６肯定）、その判定結果を検証結果通知部１３ｅに送出する。一方、判定の結果、不整合であると判断した回数が所定の回数に到達していない場合には（ステップＳ１３０６否定）、代替ポリシー生成指示を代替ポリシー生成部１３ｃに再度送出する。【０１０５】
検証結果通知部１３ｅは、ポリシー整合性検証部１３ｂから判定結果を受け付けて、代替ポリシーの生成が不可能である旨を管理者端末装置２０に送付することにより、システム管理者に通知する（ステップＳ１３０２）。【０１０６】
［実施例２による効果］
上述してきたように、実施例２によれば、代替ポリシーとシステムモデルとが不整合であると判断される度に、代替ポリシーに替わる新たな代替ポリシーを生成し、新たな代替ポリシーが生成される度に、代替ポリシーとシステムモデルとの整合性とを再検証し、代替ポリシーとシステムモデルとが不整合であると判断された回数が所定の回数に到達している場合には、代替ポリシーの生成が不可能である旨をシステム管理者に通知するので、例えば、最初に生成したポリシーに欠陥があるかどうか見直す機会をシステム管理者に与えることが可能である。
【実施例３】
【０１０７】
さて、これまで本発明の実施例１および実施例２について説明したが、本発明は上述した実施例以外にも、種々の異なる形態にて実施されてよいものである。そこで、以下では本発明に含まれる他の実施例を説明する。【０１０８】
（１）装置構成等
また、図２に示したポリシー生成装置の各構成要素は機能概念的なものであり、必ずしも物理的に図示の如く構成されていることを要しない。すなわち、ポリシー生成装置の分散・統合の具体的形態は図示のものに限られず、例えば、代替ポリシー生成部１３ｃと、代替ポリシー提示部１３ｄとを統合するなど、その全部または一部を、各種の負荷や使用状況などに応じて、任意の単位で機能的または物理的に分散・統合して構成することができる。さらに、ポリシー生成装置にて行なわれる各処理機能は、その全部または任意の一部が、ＣＰＵおよび当該ＣＰＵにて解析実行されるプログラムにて実現され、あるいは、ワイヤードロジックによるハードウェアとして実現され得る。【０１０９】
（２）ポリシー生成プログラム
ところで、上記の実施例で説明した各種の処理（例えば、図１２および図１３参照）は、あらかじめ用意されたプログラムをパーソナルコンピュータやワークステーションなどのコンピュータシステムで実行することによって実現することができる。そこで、以下では、図１４を用いて、上記の実施例と同様の機能を有するポリシー生成プログラムを実行するコンピュータの一例を説明する。図１４は、ポリシー生成プログラムを実行するコンピュータを示す図である。【０１１０】
同図に示すように、ポリシー生成装置としてコンピュータ３０は、通信制御Ｉ／Ｆ部３１、ＨＤＤ３２、ＲＡＭ３３、ＲＯＭ３４およびＣＰＵ３５をバス４０で接続して構成される。なお、通信制御Ｉ／Ｆ部３１は、図２に示した通信制御Ｉ／Ｆ部１１に対応する。【０１１１】
そして、ＲＯＭ３４には、上記の実施例に示したポリシー生成装置と同様の機能を発揮するポリシー生成プログラム、つまり、図１４に示すように、データ受付プログラム３４ａ、ポリシー整合性検証プログラム３４ｂ、代替ポリシー生成プログラム３４ｃ、代替ポリシー提示プログラム３４ｄおよび検証結果通知プログラム３４ｅがあらかじめ記憶されている。なお、これらのプログラム３４ａ、３４ｂ、３４ｃ、３４ｄおよび３４ｅについては、図２に示したポリシー生成装置１０の各構成要素と同様、適宜統合または分散してもよい。なお、ＲＯＭ３４は、不揮発性の「ＲＡＭ」でもよい。【０１１２】
そして、ＣＰＵ３５が、これらのプログラム３４ａ、３４ｂ、３４ｃ、３４ｄおよび３４ｅをＲＯＭ３４から読み出して実行することで、図１４に示すように、各プログラム３４ａ、３４ｂ、３４ｃ、３４ｄおよび３４ｅは、データ受付プロセス３５ａ、ポリシー整合性検証プロセス３５ｂ、代替ポリシー生成プロセス３５ｃ、代替ポリシー提示プロセス３５ｄおよび検証結果通知プロセス３５ｅとして機能するようになる。なお、各プロセス３５ａ、３５ｂ、３５ｃ、３５ｄおよび３５ｅは、図２に示したポリシー生成装置１０のデータ受付部１３ａ、ポリシー整合性検証部１３ｂ、代替ポリシー生成部１３ｃ、代替ポリシー提示部１３ｄおよび検証結果通知部１３ｅにそれぞれ対応する。【０１１３】
また、ＨＤＤ３２には、図１４に示すように、適用事例データテーブル３２ａおよび改変戦略データテーブル３２ｂがそれぞれ設けられる。なお、適用事例データテーブル３２ａおよび改変戦略データテーブル３２ｂは、図２に示した適用事例記憶部１２ａおよびポリシー改変戦略記憶部１２ｂにそれぞれ対応する。そして、ＣＰＵ３５は、適用事例データテーブル３２ａおよび改変戦略データテーブル３２ｂから、適用事例データ３３ａおよび改変戦略データ３３ｂをそれぞれ読み出してＲＡＭ３３に格納し、ＲＡＭ３３に格納された適用事例データ３３ａおよび改変戦略データ３３ｂに基づいて処理を実行する。【０１１４】
なお、上記した各プログラム３４ａ、３４ｂ、３４ｃ、３４ｄおよび３４ｅについては、必ずしも最初からＲＯＭ３４に記憶させておく必要はなく、例えば、コンピュータ３０に挿入されるフレキシブルディスク（ＦＤ）、ＣＤ−ＲＯＭ、ＤＶＤディスク、光磁気ディスク、ＩＣカードなどの「可搬用の物理媒体」、または、コンピュータ３０の内外に備えられるＨＤＤなどの「固定用の物理媒体」、さらには、公衆回線、インターネット、ＬＡＮ、ＷＡＮなどを介してコンピュータ３０に接続される「他のコンピュータ（またはサーバ）」などに各プログラムを記憶させておき、コンピュータ３０がこれらから各プログラムを読み出して実行するようにしてもよい。
【産業上の利用可能性】
【０１１５】
以上のように、本発明に係るポリシー生成装置、ポリシー生成方法およびポリシー生成プログラムは、管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーを生成する場合に有用であり、特に、テストシナリオを用いることなくシステムとポリシーとの整合性を検証することができ、多大な時間と労力を必要とすることなく修正したポリシーを取得することに適する。
【図１】
2008114355.tif 000003
【図２】
2008114355.tif 000004
【図３】
2008114355.tif 000005
【図４】
2008114355.tif 000006
【図５】
2008114355.tif 000007
【図６】
2008114355.tif 000008
【図７】
2008114355.tif 000009
【図８】
2008114355.tif 000010
【図９】
2008114355.tif 000011
【図１０】
2008114355.tif 000012
【図１１】
2008114355.tif 000013
【図１２】
2008114355.tif 000014
【図１３】
2008114355.tif 000015
【図１４】
2008114355.tif 000016
【手続補正書】
【提出日】平成21年4月16日(2009.4.16)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーを生成するポリシー生成装置であって、
システム管理者が生成した管理者生成ポリシーを受け付けるポリシー受付手段と、
前記管理対象システムの特性がモデル化されたシステムモデルを受け付けるモデル受付手段と、
前記ポリシー受付手段により受け付けられた前記管理者生成ポリシーと、前記モデル受付手段により受け付けられた前記システムモデルとの整合性を検証するポリシー検証手段と、
前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証手段により判断された場合には、当該管理者生成ポリシーに替わる代替ポリシーを生成する代替ポリシー生成手段と、
前記代替ポリシー生成手段により生成された前記代替ポリシーと、前記システムモデルとの整合性とを再検証するポリシー再検証手段と、
前記代替ポリシーと前記システムモデルとが整合すると前記ポリシー再検証手段により判断された場合には、当該代替ポリシーを前記システム管理者に提示する代替ポリシー提示手段と、
を備えたことを特徴とするポリシー生成装置。
【請求項２】
管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーを生成するポリシー生成方法であって、
システム管理者が生成した管理者生成ポリシーを受け付けるポリシー受付工程と、
前記管理対象システムの特性がモデル化されたシステムモデルを受け付けるモデル受付工程と、
前記ポリシー受付工程により受け付けられた前記管理者生成ポリシーと、前記モデル受付工程により受け付けられた前記システムモデルとの整合性を検証するポリシー検証工程と、
前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証工程により判断された場合には、当該管理者生成ポリシーに替わる代替ポリシーを生成する代替ポリシー生成工程と、
前記代替ポリシー生成工程により生成された前記代替ポリシーと、前記システムモデルとの整合性とを再検証するポリシー再検証工程と、
前記代替ポリシーと前記システムモデルとが整合すると前記ポリシー再検証工程により判断された場合には、当該代替ポリシーを前記システム管理者に提示する代替ポリシー提示工程と、
を含んだことを特徴とするポリシー生成方法。
【請求項３】
管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーの生成処理をコンピュータに実行させるポリシー生成プログラムであって、
システム管理者が生成した管理者生成ポリシーを受け付けるポリシー受付手順と、
前記管理対象システムの特性がモデル化されたシステムモデルを受け付けるモデル受付手順と、
前記ポリシー受付手順により受け付けられた前記管理者生成ポリシーと、前記モデル受付手順により受け付けられた前記システムモデルとの整合性を検証するポリシー検証手順と、
前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証手順により判断された場合には、当該管理者生成ポリシーに替わる代替ポリシーを生成する代替ポリシー生成手順と、
前記代替ポリシー生成手順により生成された前記代替ポリシーと、前記システムモデルとの整合性とを再検証するポリシー再検証手順と、
前記代替ポリシーと前記システムモデルとが整合すると前記ポリシー再検証手順により判断された場合には、当該代替ポリシーを前記システム管理者に提示する代替ポリシー提示手順と、
をコンピュータに実行させることを特徴とするポリシー生成プログラム。
【請求項４】
システムとポリシーとが整合すると判断された適用事例を記憶部に記憶する適用事例記憶手順をさらにコンピュータに実行させ、
前記代替ポリシー生成手順は、前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証手順により判断された場合に、前記適用事例記憶手順により記憶部に記憶されている適用事例を参照して、当該システムモデルに対応したポリシーが存在する場合には、当該対応したポリシーを代替ポリシーとして採用することを特徴とする請求項３に記載のポリシー生成プログラム。
【請求項５】
前記代替ポリシー生成手順は、前記手続、前記制約および前記目標の中で採用されてい
る閾値のいずれか一つまたは複数を緩和して、前記代替ポリシーを生成することを特徴と
する請求項３に記載のポリシー生成プログラム。
【請求項６】
前記代替ポリシー生成手順は、前記制約内の設定項目のいずれか一つまたは複数を削除
して前記代替ポリシーを生成することを特徴とする請求項３に記載のポリシー生成プロ
グラム。
【請求項７】
前記代替ポリシー生成手順は、前記手続内の設定項目を限定して前記代替ポリシーを生
成することを特徴とする請求項３に記載のポリシー生成プログラム。
【手続補正２】
【補正対象書類名】明細書
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【発明の詳細な説明】
【技術分野】
【０００１】
この発明は、管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーを生成するポリシー生成装置、当該装置に対応したポリシー生成方法およびポリシー生成プログラムに関する。
【背景技術】
【０００２】
近年、複雑化する情報システムを管理し、安定した運用を実現することを目的として、自律システムの研究が進められ、その中核をなす技術としてポリシーベース自律システムが注目されてきている。簡単に説明すると、このポリシーベースシステムは、まず、ＳＬＯ（Ｓｅｒｖｉｃｅ  Ｌｅｖｅｌ  Ｏｂｊｅｃｔｉｖｅ）などに従い、システムが満たすべき制約や実行可能なオペレーション（手続き）などをポリシーとして記述し、それをシステムに与える。ポリシーを与えられたシステムは、それを自律的に解釈し、状況に応じてリソースなどを自律的に制御する。
【０００３】
また、このような自律システムにおいては、ポリシーがシステム上で正しく動作するか否か、すなわち、ポリシーとシステムとの整合性を検証する必要がある。例えば、特許文献１では、システム管理者が作成したテストシナリオを自律システムに適用し、そのテストシナリオに沿って実行される自律システムのシミュレーション結果を利用して、ポリシーがシステム上で正しく動作するか否かを検証する技術が開示されている。
【０００４】
また、ポリシーにシステムとの不整合が検知された場合には、ポリシーを修正してシステムに不具合が発生するのを防止するため、システム管理者がポリシーの修正方法を考え出していた。
【０００５】
【特許文献１】特開２００５−１９６６０１号公報
【発明の開示】
【発明が解決しようとする課題】
【０００６】
しかしながら、上記した従来の技術は、ポリシーとシステムとの整合性を検証することができない場合がある、ポリシーを修正するためには多大な時間と労力が必要となるといった問題点があった。
【０００７】
すなわち、従来の技術では、テストシナリオに沿って自律システムが動作し、シミュレーション結果が得られる場合にはポリシーの整合性を検証することができるが、そもそもテストシナリオに沿って自律システムが動作しなかった場合には、ポリシーとシステムとの整合性を検証することができないという問題点があった。
【０００８】
また、シミュレーション結果を利用した検証では、顕在化する確立が非常に小さいポリシーとシステムとの不整合を見逃してしまうという問題点もある。
【０００９】
また、ポリシーにシステムとの不整合が検知される度に、システム管理者が試行錯誤してポリシーを修正していたので、多大な時間と労力が必要とされるという問題点があった。
【００１０】
そこで、この発明は、上述した従来技術の課題を解決するためになされたものであり、テストシナリオを用いることなくシステムとポリシーとの整合性を検証することができるとともに、多大な時間と労力を必要とすることなく修正したポリシーを取得することが可能なポリシー生成装置、ポリシー生成方法およびポリシー生成プログラムを提供することを目的とする。
【課題を解決するための手段】
【００１１】
上述した課題を解決し、目的を達成するため、本発明は、管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーを生成するポリシー生成装置であって、システム管理者が生成した管理者生成ポリシーを受け付けるポリシー受付手段と、前記管理対象システムの特性がモデル化されたシステムモデルを受け付けるモデル受付手段と、前記ポリシー受付手段により受け付けられた前記管理者生成ポリシーと、前記モデル受付手段により受け付けられた前記システムモデルとの整合性を検証するポリシー検証手段と、前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証手段により判断された場合には、当該管理者生成ポリシーに替わる代替ポリシーを生成する代替ポリシー生成手段と、前記代替ポリシー生成手段により生成された前記代替ポリシーと、前記システムモデルとの整合性とを再検証するポリシー再検証手段と、前記代替ポリシーと前記システムモデルとが整合すると前記ポリシー再検証手段により判断された場合には、当該代替ポリシーを前記システム管理者に提示する代替ポリシー提示手段と、を備えたことを特徴とする。
【００１２】
また、本発明は、管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーを生成するポリシー生成方法であって、システム管理者が生成した管理者生成ポリシーを受け付けるポリシー受付工程と、前記管理対象システムの特性がモデル化されたシステムモデルを受け付けるモデル受付工程と、前記ポリシー受付工程により受け付けられた前記管理者生成ポリシーと、前記モデル受付工程により受け付けられた前記システムモデルとの整合性を検証するポリシー検証工程と、前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証工程により判断された場合には、当該管理者生成ポリシーに替わる代替ポリシーを生成する代替ポリシー生成工程と、前記代替ポリシー生成工程により生成された前記代替ポリシーと、前記システムモデルとの整合性とを再検証するポリシー再検証工程と、前記代替ポリシーと前記システムモデルとが整合すると前記ポリシー再検証工程により判断された場合には、当該代替ポリシーを前記システム管理者に提示する代替ポリシー提示工程と、を含んだことを特徴とする。
【００１３】
また、本発明は、管理対象システムにおける自律動作を制御するために、当該システムに適用するポリシーの生成処理をコンピュータに実行させるポリシー生成プログラムであって、システム管理者が生成した管理者生成ポリシーを受け付けるポリシー受付手順と、前記管理対象システムの特性がモデル化されたシステムモデルを受け付けるモデル受付手順と、前記ポリシー受付手順により受け付けられた前記管理者生成ポリシーと、前記モデル受付手順により受け付けられた前記システムモデルとの整合性を検証するポリシー検証手順と、前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証手順により判断された場合には、当該管理者生成ポリシーに替わる代替ポリシーを生成する代替ポリシー生成手順と、前記代替ポリシー生成手順より生成された前記代替ポリシーと、前記システムモデルとの整合性とを再検証するポリシー再検証手順と、前記代替ポリシーと前記システムモデルとが整合すると前記ポリシー再検証手順により判断された場合には、当該代替ポリシーを前記システム管理者に提示する代替ポリシー提示手順と、をコンピュータに実行させることを特徴とする。
【００１４】
また、本発明は、上記の発明において、システムとポリシーとが整合すると判断された適用事例を記憶部に記憶する適用事例記憶手順をさらにコンピュータに実行させ、前記代替ポリシー生成手順は、前記管理者生成ポリシーと前記システムモデルとが不整合であると前記ポリシー検証手順により判断された場合に、前記適用事例記憶手順により記憶部に記憶されている適用事例を参照して、当該システムモデルに対応したポリシーが存在する場合には、当該対応したポリシーを代替ポリシーとして採用することを特徴とする。
【００１５】
また、本発明は、上記の発明において、前記代替ポリシー生成手順は、前記手続、前記制約および前記目標の中で採用されている閾値のいずれか一つまたは複数を緩和して、前記代替ポリシーを生成することを特徴とする。
【００１６】
また、本発明は、上記の発明において、前記代替ポリシー生成手順は、前記制約内の設定項目のいずれか一つまたは複数を削除して前記代替ポリシーを生成することを特徴とする。
【００１７】
また、本発明は、上記の発明において、前記代替ポリシー生成手順は、前記手続内の設定項目を限定して前記代替ポリシーを生成することを特徴とする。
【発明の効果】
【００１８】
本発明によれば、システム管理者が生成した管理者生成ポリシーと、管理対象システムの特性がモデル化されたシステムモデルとを受け付け、管理者生成ポリシーとシステムモデルとの整合性を検証した結果、管理者生成ポリシーとシステムモデルとが不整合であると判断された場合には、この管理者生成ポリシーに替わる代替ポリシーを生成し、代替ポリシーとシステムモデルとの整合性を再検証した結果、代替ポリシーとシステムモデルとが整合すると判断された場合には、代替ポリシーをシステム管理者に提示するので、テストシナリオを用いることなくシステムとポリシーとの整合性を検証することが可能である。また、管理者が生成したポリシーにシステムとの不整合が検知された場合には整合する代替ポリシーが自動で生成され、多大な時間と労力を必要とすることなく修正したポリシーを取得することが可能である。さらに、システム管理者は、提示された代替ポリシーを参考にすることで、最小限の時間と労力で新たなポリシーを生成することも可能である。
【００１９】
また、本発明によれば、システムとポリシーとが整合すると判断された適用事例を記憶しておき、管理者生成ポリシーとシステムモデルとが不整合であると判断された場合に、記憶されている適用事例を参照して、システムモデルに対応したポリシーが存在する場合には、対応したポリシーを代替ポリシーとして採用するので、過去の適用事例に基づいて最適なポリシーを採用することが可能である。
【００２０】
また、本発明によれば、ポリシーは、少なくとも管理対象システムの動作を制御するための手続と、管理対象システムが動作時に遵守すべき制約と、管理対象システムが達成すべき目標とからなり、システム管理者が生成したポリシーの手続、制約および目標のいずれか一つまたは複数に変更を加えて代替ポリシーを生成するので、細かな条件を変更した代替ポリシーを生成することが可能である。
【００２１】
また、本発明によれば、ポリシーとして設定された手続、制約および目標の中で採用されている閾値のいずれか一つまたは複数を緩和して代替ポリシーを生成するので、簡単な操作で代替ポリシーを生成することが可能である。
【００２２】
また、本発明によれば、ポリシーとして設定された制約内の設定項目のいずれか一つまたは複数を削除して代替ポリシーを生成するので、システムが制約違反状態へ到達しない代替ポリシーを生成することが可能である。
【００２３】
また、本発明によれば、ポリシーとして設定された手続内の設定項目を限定して代替ポリシーを生成するので、制約を変更することなく、システムが制約違反状態へ到達しない代替ポリシーを生成することが可能である。
【００２４】
また、本発明によれば、代替ポリシーが複数生成された場合に、手続、制約および目標に対する変更が少ない順に順位付けして、複数の代替ポリシーをそれぞれ提示するので、システム管理者は、システムに適合した代替ポリシーを順位付けしてシステム管理者に提示することが可能である。
【００２５】
また、本発明によれば、管理者生成ポリシーとシステムモデルとが整合すると判断された場合には、整合する旨をシステム管理者に通知するので、システム管理者は、自己が生成したポリシーがシステムと整合することを把握することが可能である。
【００２６】
また、本発明によれば、代替ポリシーとシステムモデルとが不整合であると判断される度に、代替ポリシーに替わる新たな代替ポリシーを生成し、新たな代替ポリシーが生成される度に、代替ポリシーとシステムモデルとの整合性とを再検証し、代替ポリシーとシステムモデルとが不整合であると判断された回数が所定の回数に到達している場合には、代替ポリシーの生成が不可能である旨をシステム管理者に通知するので、例えば、最初に生成したポリシーに欠陥があるかどうか見直す機会をシステム管理者に与えることが可能である。
【発明を実施するための最良の形態】
【００２７】
以下に添付図面を参照して、この発明に係るポリシー生成装置、ポリシー生成方法およびポリシー生成プログラムの実施例を詳細に説明する。なお、以下では、本発明に係るポリシー生成装置を実施例１として説明した後に、本発明に含まれる他の実施例を説明する。
【実施例１】
【００２８】
以下の実施例１では、実施例１に係るポリシー生成装置の概要および特徴、ポリシー制御装置の構成および処理を順に説明し、最後に実施例１による効果を説明する。
【００２９】
［ポリシー生成装置の概要および特徴（実施例１）］
まず、図１を用いて、実施例１に係るポリシー生成装置の概要および特徴を説明する。図１は、実施例１に係るポリシー生成装置の概要および特徴を説明するための図である。
【００３０】
実施例１に係るポリシー生成装置は、管理対象システムにおける自律動作を制御するために、システムに適用するポリシーを生成することを概要とするが、テストシナリオを用いることなくシステムとポリシーとの整合性を検証することができるとともに、多大な時間と労力を必要とすることなく修正したポリシーを取得することが可能である点に主たる特徴がある。
【００３１】
この主たる特徴について具体的に説明すると、図１に示すように、実施例１に係るポリシー生成装置は、システム管理者が生成したポリシー、および管理対象システムの特性がモデル化されたシステムモデルをシステム管理者の操作する端末から受け付ける（図１の（１）参照）。
【００３２】
ここで、システム管理者が生成したポリシーには、管理対象システムの動作を制御するための手続と、管理対象システムが動作時に遵守すべき制約と、管理対象システムが達成すべき目標とが設定されている。また、システムモデルは、管理対象システムの特性をベンチマークなどによって計測し、その計測された情報を用いて、例えば、システム管理者などが管理対象システムを定義してモデル化したものである。
【００３３】
システム管理者が生成したポリシーおよび管理対象システムのシステムモデルを受け付けると、ポリシー生成装置のポリシー整合性検証部は、システム管理者が生成したポリシーとシステムモデルとの整合性を検証する。具体的に説明すると、ポリシー整合性検証部は、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、ポリシーに設定された制約に違反することなく、ポリシーに設定された目標にシステムモデルを到達させることができるか否かを検証する。
【００３４】
そして、ポリシー整合性検証部は、初期状態からシステムモデルが到達し得るあらゆる状態において、ポリシーに設定された手続に従ってシステムモデルを動作させることにより、ポリシーに設定された制約に違反することなく、ポリシーに設定された目標にシステムモデルを到達させることができる場合には、システム管理者が生成したポリシーとシステムモデルとが整合するものと判断する。なお、ポリシー整合性検証部により、システム管理者が生成したポリシーと管理対象システムとが整合するものと判断された場合には、ポリシー生成装置はその旨をシステム管理者に通知する。
【００３５】
これとは反対に、ポリシー整合性検証部は、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、ポリシーに設定された制約に違反する場合、または、ポリシーに設定された目標にシステムモデルを到達させることができない場合、あるいは、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、システムの動作が完了することなく無限にループし続けるライブロックに陥る場合などには、システム管理者が生成したポリシーとシステムモデルとが不整合であると判断する。そして、ポリシー生成装置の代替ポリシー生成部は、システム管理者が生成したポリシーに替わる代替ポリシーを生成する（図１の（２）参照）。
【００３６】
具体的に説明すると、ポリシー生成装置は、システムとポリシーとが整合すると判断された過去の適用事例を記憶する適用事例記憶部と、代替ポリシーを生成するために用いるポリシー改変戦略を記憶するポリシー改変戦略記憶部とをあらかじめ備える。そして、代替ポリシー生成部は、適用事例記憶部に記憶されている適用事例を参照して、システムモデルとしてモデル化された管理対象システムに対応するポリシーが存在する場合には、その対応するポリシーを代替ポリシーとして採用する。
【００３７】
また、代替ポリシー生成部は、ポリシー改変戦略記憶部に記憶されているポリシー改変戦略に基づいて、システム管理者が生成したポリシーに設定されている手続、制約および目標のいずれか一つ又は複数に変更を加えて代替ポリシーを生成する。ここで、ポリシー改変戦略には、システム管理者が生成したポリシーに設定されている手続、制約および目標の中で採用されている閾値のいずれか一つまたは複数を緩和して、代替ポリシーを生成する閾値緩和法、制約内の設定項目のいずれか一つまたは複数を削除して代替ポリシーを生成する制約削除法、および手続内の設定項目を限定して代替ポリシーを生成する手続限定法などがある。
【００３８】
代替ポリシーを生成した後、代替ポリシー生成部は、生成した代替ポリシーをポリシー整合性検証部に送出する（図１の（３）参照）。代替ポリシーを受け付けたポリシー整合性検証部は、代替ポリシーとシステムモデルとの整合性を検証する。そして、ポリシー整合性検証部により、代替ポリシーとシステムモデルとが整合するものと判断された場合には、ポリシー生成装置は、代替ポリシーをシステム管理者に提示する（図１の（４）参照）。
【００３９】
なお、ポリシー生成装置は、代替ポリシーをシステム管理者に提示する場合に、代替ポリシーを順位付けして提示するようにしてもよい。例えば、ポリシーに設定された手続、制約および目標に対する変更が少ない順に推奨順位が上位の代替ポリシーとして順位付けする。あるいは、変更数が同一の代替ポリシーが存在する場合には、目標よりも制約、制約よりも手続を変更した代替ポリシーを推奨順位が上位の代替ポリシーとして順位付けする。
【００４０】
自己が操作する端末を介して、ポリシー生成装置から代替ポリシーの提示を受けたシステム管理者は、代替ポリシーが複数存在する場合にはその中から一つ選択して承認する（図１の（５）参照）。そして、システム管理者は、承認した代替ポリシーを管理対象システムに配布して適用してもよいし、代替ポリシーを参考にして新たなポリシーを自ら生成してもよい。
【００４１】
なお、ポリシー生成装置は、ポリシー整合性検証部により整合するものと判断され、システム管理者により管理対象システムに配布されて適用された代替ポリシーと管理対象システムとの対応関係に関する情報を適用事例記憶部に記憶しておく。今後、同様のシステムに関する代替ポリシーの生成に利用する趣旨である。
【００４２】
このようなことから、実施例１に係るポリシー生成装置は、上述した主たる特徴のごとく、テストシナリオを用いることなくシステムとポリシーとの整合性を検証することができるとともに、多大な時間と労力を必要とすることなく修正したポリシー（代替ポリシー）を取得することが可能である。
【００４３】
［ポリシー生成装置の構成（実施例１）］
次に、図２〜図１１を用いて、実施例１に係るポリシー生成装置の構成を説明する。図２は、実施例１に係るポリシー生成装置の構成を示すブロック図である。図３は、管理対象システムの構成例を示す図である。図４は、システムモデルの構成例を示す図である。図５は、システム管理者が生成するポリシーの設定例を示す図である。図６は、代替ポリシー例を示す図である。図７は、代替ポリシー例を示す図である。図８は、代替ポリシー例を示す図である。図９は、代替ポリシー例を示す図である。図１０は、代替ポリシー例を示す図である。図１１は、代替ポリシーの提示例を示す図である。
【００４４】
図２に示すように、実施例１に係るポリシー生成装置１０は、通信制御Ｉ／Ｆ部１１と、記憶部１２と、制御部１３とから構成される。このうち、通信制御Ｉ／Ｆ部１１は、管理者端末装置２０との間でやり取りする各種情報に関する通信を制御する。
【００４５】
記憶部１２は、制御部１３による各種処理に必要なデータおよびプログラムを記憶する記憶部であり、特に本発明に密接に関連するものとしては、適用事例記憶部１２ａおよびポリシー改変戦略記憶部１２ｂをそれぞれ備える。
【００４６】
このうち、適用事例記憶部１２ａは、システムとポリシーとが整合すると判断された過去の適用事例を記憶する記憶部である。例えば、過去に、システムとポリシーとが整合すると判断されたシステムモデルとポリシーとの関係を記憶して構成される。なお、適用事例記憶部１２ａは、後述するポリシー整合性検証部１３ｂにより整合するものと判断され、システム管理者により管理対象システムに配布されて適用された代替ポリシーと管理対象システムとの対応関係に関する情報を記憶する。今後、同様のシステムに関する代替ポリシーの生成に利用する趣旨である。
【００４７】
ポリシー改変戦略記憶部１２ｂは、代替ポリシーを生成するために用いるポリシー改変戦略を記憶する記憶部である。例えば、ポリシー改変戦略として、システム管理者が生成したポリシーに設定されている手続、制約および目標の中で採用されている閾値のいずれか一つまたは複数を緩和して、代替ポリシーを生成する閾値緩和法、制約内の設定項目のいずれか一つまたは複数を削除して代替ポリシーを生成する制約削除法、および手続内の設定項目を限定して代替ポリシーを生成する手続限定法などを記憶して構成される。
【００４８】
制御部１３は、所定の制御プログラム、各種の処理手順などを規定したプログラムおよび所要データを格納するための内部メモリを有し、これらによって種々の処理を実行する処理部であり、特に本発明に密接に関連するものとしては、データ受付部１３ａと、ポリシー整合性検証部１３ｂと、代替ポリシー生成部１３ｃと、代替ポリシー提示部１３ｄと、検証結果通知部１３ｅとを備える。
【００４９】
このうち、データ受付部１３ａは、ネットワーク１を介して、システム管理者が生成したポリシーおよび管理対象システムをモデル化したシステムモデルを管理者端末装置２０から受け付ける処理部である。
【００５０】
ここで、システムモデルは、例えば、メインシステムとスペアシステムとで構成されるような管理対象システム（図３参照）の特性をベンチマークなどによって計測し、その計測された情報を用いて、例えば、システム管理者などが管理対象システムを定義してモデル化したものである（図４参照）。
【００５１】
また、システム管理者が生成するポリシーには、管理対象システムの動作を制御するための手続と、管理対象システムが動作時に遵守すべき制約と、管理対象システムが達成すべき目標とを設定される（図５参照）。
【００５２】
そして、データ受付部１３ａは、システム管理者が生成したポリシーおよびシステムモデルをポリシー整合性検証部１３ｂに送出する。
【００５３】
ポリシー整合性検証部１３ｂは、システム管理者が生成したポリシーと管理対象システムをモデル化したシステムモデルとの整合性を検証等する処理部である。なお、ポリシー整合性検証部１３ｂは、一般的なモデル検査手法（Ｅ．Ｍ．Ｃｌａｒｋｅ，Ｏ．Ｇｒｕｍｂｅｒｇ，ａｎｄ  Ｄ．Ａ．Ｐｅｌｅｄ，Ｍｏｄｅｌ  Ｃｈｅｃｋｉｎｇ，Ｔｈｅ  ＭＩＴ  Ｐｒｅｓｓ，１９９９．等参照）を用いて、ポリシーとシステムモデルとの整合性を検証する。
【００５４】
具体的に説明すると、ポリシー整合性検証部１３ｂは、システム管理者が生成したポリシーおよびシステムモデルをデータ受付部１３ａから受け付けると、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、ポリシーに設定された制約に違反することなく、ポリシーに設定された目標にシステムモデルを到達させることができるか否かを検証する。そして、初期状態からシステムモデルが到達し得るあらゆる状態において、ポリシーに設定された手続に従うことにより、ポリシーに設定された制約に違反することなく、ポリシーに設定された目標にシステムモデルを到達させることができる場合には、システム管理者が生成したポリシーとシステムモデルとが整合するものと判断する。なお、システム管理者が生成したポリシーとシステムモデルとが整合するものと判断した場合には、その検証結果を後述する検証結果通知部１３ｅに送出する。
【００５５】
これとは反対に、ポリシー整合性検証部１３ｂは、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、ポリシーに設定された制約に違反する場合、または、ポリシーに設定された目標にシステムモデルを到達させることができない場合、あるいは、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、システムの動作が完了することなく無限にループし続けるライブロックに陥る場合などには、システム管理者が生成したポリシーとシステムモデルとが不整合であると判断して、代替ポリシー生成指示を代替ポリシー生成部１３ｃに送出する。
【００５６】
また、ポリシー整合性検証部１３ｂは、後述する代替ポリシー生成部１３ｃから代替ポリシーを受け付けた場合には、代替ポリシーとシステムモデルとの整合性を検証する。検証の結果、代替ポリシーとシステムモデルとが整合するものと判断した場合には、代替ポリシーを後述する代替ポリシー提示部１３ｄに送出する。これとは反対に、代替ポリシーとシステムモデルとが不整合であると判断した場合には、ポリシー整合性検証部１３ｂは、代替ポリシー生成指示を代替ポリシー生成部１３ｃに再度送出する。
【００５７】
代替ポリシー生成部１３ｃは、ポリシー整合性検証部１３ｂから代替ポリシー生成指示を受け付けて、システム管理者が生成したポリシーに替わる代替ポリシーを生成する処理部である。
【００５８】
具体的に説明すると、代替ポリシー生成部１３ｃは、適用事例記憶部１２ａに記憶されている適用事例を参照して、システムモデルとしてモデル化された管理対象システムに対応するポリシーが存在する場合には、その対応するポリシーを代替ポリシー１として採用する（図６参照）。
【００５９】
また、代替ポリシー生成部１３ｃは、ポリシー改変戦略記憶部１２ｂに記憶されているポリシー改変戦略に基づいて、システム管理者が生成したポリシーに設定されている手続、制約および目標のいずれか一つ又は複数に変更を加えて代替ポリシーを生成する。例えば、システム管理者が生成したポリシー（図５参照）に設定された手続ルール１で採用されている閾値を５０％緩和した代替ポリシー２（図７参照）や、手続ルール２で採用されている閾値を５０％緩和した代替ポリシー３（図８参照）や、制約で採用されている閾値を５０％緩和するとともに四捨五入した代替ポリシー４（図９参照）や、目標の閾値を５０％緩和した代替ポリシー５（図１０参照）などを生成する。
【００６０】
そして、代替ポリシー生成部１３ｃは、生成した代替ポリシーをポリシー整合性検証部１３ｂに送出する。
【００６１】
なお、ポリシー整合性検証部１３ｂにおける代替ポリシーと管理対象システムとの整合性の検証処理から、代替ポリシー生成部１３ｃにおける代替ポリシーの生成処理までに至る処理は、代替ポリシーと管理対象システムをモデル化したシステムモデルとが整合するものとポリシー整合性検証部１３ｂにより判断されるまで繰り返し実行される。
【００６２】
代替ポリシー提示部１３ｄは、ポリシー整合性検証部１３ｂから受け付けた代替ポリシーを管理者端末装置２０に送付することにより、システム管理者に提示する処理部である。そして、代替ポリシーをシステム管理者に提示する場合に、代替ポリシーを順位付けして提示するようにしてもよい（図１１参照）。いくつか例を挙げると、ポリシーに設定された手続、制約および目標に対する変更が少ない順に推奨順位が上位の代替ポリシーとして順位付けする。または、変更数が同一の代替ポリシーが存在する場合には、目標よりも制約、制約よりも手続を変更した代替ポリシーを推奨順位が上位の代替ポリシーとして順位付けする。あるいは、手続、制約および目標内に設定された項目を削除したポリシーの順位を削除しないポリシーより下位としたり、適用事例として存在するポリシー最上位としたりする。なお、代替ポリシーの順位付け方法については、システム管理者が適宜設定することができる。
【００６３】
検証結果通知部１３ｅは、ポリシー整合性検証部１３ｂから検証結果を受け付けて、システム管理者が生成したポリシーと管理対象システムとが整合する旨の通知を管理者端末装置２０に送付することにより、システム管理者に通知する処理部である。
【００６４】
なお、ポリシー生成装置１０は、既知のパーソナルコンピュータ、ワークステーションなどの情報処理装置に、上記した各機能を搭載することによって実現することもできる。
【００６５】
［ポリシー生成装置の処理（実施例１）］
続いて、図１２を用いて、実施例１に係るポリシー生成装置の処理を説明する。図１２は、実施例１に係るポリシー生成装置の処理の流れを示すフローチャートである。
【００６６】
同図に示すように、ポリシー整合性検証部１３ｂは、システム管理者が生成したポリシーおよびシステムモデルをデータ受付部１３ａから受け付けると、システム管理者が生成したポリシーとシステムモデルとの整合性を検証する（ステップＳ１２０１）。具体的に説明すると、ポリシー整合性検証部１３ｂは、システム管理者が生成したポリシーおよびシステムモデルをデータ受付部１３ａから受け付けると、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、ポリシーに設定された制約に違反することなく、ポリシーに設定された目標にシステムモデルを到達させることができるか否かを検証する。
【００６７】
そして、ポリシー整合性検証部１３ｂは、初期状態からシステムモデルが到達し得るあらゆる状態において、ポリシーに設定された手続に従うことにより、ポリシーに設定された制約に違反することなく、ポリシーに設定された目標にシステムモデルを到達させることができる場合には、システム管理者が生成したポリシーとシステムモデルとが整合するものと判断し（ステップＳ１２０１否定）、その検証結果を検証結果通知部１３ｅに送出する。
【００６８】
検証結果通知部１３ｅは、ポリシー整合性検証部１３ｂから検証結果を受け付けて、システム管理者が生成したポリシーとシステムモデルとが整合する旨の通知を管理者端末装置２０に送付することによりシステム管理者に通知する（ステップＳ１２０２）。
【００６９】
ここで、ステップＳ１２０１の説明に戻ると、ポリシー整合性検証部１３ｂは、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、ポリシーに設定された制約に違反する場合、または、ポリシーに設定された目標にシステムモデルを到達させることができない場合、あるいは、ポリシーに設定された手続に従ってシステムモデルを動作させた時に、システムの動作が完了することなく無限にループし続けるライブロックに陥る場合などには、システム管理者が生成したポリシーとシステムモデルとが不整合であると判断して（ステップＳ１２０１肯定）、代替ポリシー生成指示を代替ポリシー生成部１３ｃに送出する。
【００７０】
そして、代替ポリシー生成部１３ｃは、ポリシー整合性検証部１３ｂから代替ポリシー生成指示を受け付けて、システム管理者が生成したポリシーに替わる代替ポリシーを生成する（ステップＳ１２０３）。
【００７１】
具体的に説明すると、代替ポリシー生成部１３ｃは、適用事例記憶部１２ａに記憶されている適用事例を参照して、システムモデルとしてモデル化された管理対象システムに対応するポリシーが存在する場合には、その対応するポリシーを代替ポリシー１として採用する（図６参照）。
【００７２】
また、代替ポリシー生成部１３ｃは、ポリシー改変戦略記憶部１２ｂに記憶されているポリシー改変戦略に基づいて、システム管理者が生成したポリシーに設定されている手続、制約および目標のいずれか一つ又は複数に変更を加えて代替ポリシーを生成する。例えば、システム管理者が生成したポリシー（図５参照）に設定された手続ルール１で採用されている閾値を５０％緩和した代替ポリシー２（図７参照）や、手続ルール２で採用されている閾値を５０％緩和した代替ポリシー３（図８参照）や、制約で採用されている閾値を５０％緩和するとともに四捨五入した代替ポリシー４（図９参照）や、目標の閾値を５０％緩和した代替ポリシー５（図１０参照）などを生成する。代替ポリシー生成部１３ｃは、生成した代替ポリシーをポリシー整合性検証部１３ｂに送出する。
【００７３】
そして、ポリシー整合性検証部１３ｂは、代替ポリシー生成部１３ｃから代替ポリシーを受け付けた場合には、代替ポリシーと管理対象システムとの整合性を検証する（ステップＳ１２０４）。検証の結果、代替ポリシーとシステムモデルとが整合するものと判断した場合には（ステップＳ１２０４肯定）、代替ポリシーを代替ポリシー提示部１３ｄに送出する。これとは反対に、代替ポリシーとシステムモデルとが不整合であると判断した場合には（ステップＳ１２０４否定）、ポリシー整合性検証部１３ｂは、代替ポリシー生成指示を代替ポリシー生成部１３ｃに再度送出する。
【００７４】
なお、ポリシー整合性検証部１３ｂにおける代替ポリシーとシステムモデルとの整合性の検証処理から、代替ポリシー生成部１３ｃにおける代替ポリシーの生成処理までに至る処理は、代替ポリシーと管理対象システムをモデル化したシステムモデルとが整合するものとポリシー整合性検証部１３ｂにより判断されるまで繰り返し実行される。
【００７５】
そして、代替ポリシー提示部１３ｄは、ポリシー整合性検証部１３ｂから受け付けた代替ポリシーを管理者端末装置２０に送付することにより、システム管理者に提示する（ステップＳ１２０５）。代替ポリシーをシステム管理者に提示する場合には、代替ポリシーを順位付けして提示するようにしてもよい（図１１参照）。
【００７６】
［実施例１による効果］
上述してきたように、実施例１によれば、システム管理者が生成した管理者生成ポリシーと、管理対象システムの特性がモデル化されたシステムモデルとを受け付け、管理者生成ポリシーとシステムモデルとの整合性を検証した結果、管理者生成ポリシーとシステムモデルとが不整合であると判断された場合には、この管理者生成ポリシーに替わる代替ポリシーを生成し、代替ポリシーとシステムモデルとの整合性とを再検証した結果、代替ポリシーとシステムモデルとが整合すると判断された場合には、代替ポリシーをシステム管理者に提示するので、テストシナリオを用いることなくシステムとポリシーとの整合性を検証することが可能である。また、管理者が生成したポリシーにシステムとの不整合が検知された場合には整合性する代替ポリシーが自動で生成され、多大な時間と労力を必要とすることなく修正したポリシーを取得することが可能である。さらに、システム管理者は、提示された代替ポリシーを参考にすることで、最小限の時間と労力で新たなポリシーを生成することも可能である。
【００７７】
また、実施例１によれば、システムとポリシーとが整合すると判断された適用事例を記憶しておき、管理者生成ポリシーとシステムモデルとが不整合であると判断された場合に、記憶されている適用事例を参照して、システムモデルに対応したポリシーが存在する場合には、対応したポリシーを代替ポリシーとして採用するので、過去の適用事例に基づいて最適なポリシーを採用することが可能である。
【００７８】
また、実施例１によれば、ポリシーは、少なくとも管理対象システムの動作を制御するための手続と、管理対象システムが動作時に遵守すべき制約と、管理対象システムが達成すべき目標とからなり、システム管理者が生成したポリシーの手続、制約および目標のいずれか一つまたは複数に変更を加えて代替ポリシーを生成するので、細かな条件を変更した代替ポリシーを生成することが可能である。
【００７９】
また、実施例１によれば、ポリシーとして設定された手続、制約および目標の中で採用されている閾値のいずれか一つまたは複数を緩和して代替ポリシーを生成するので、簡単な操作で代替ポリシーを生成することが可能である。
【００８０】
また、実施例１によれば、ポリシーとして設定された制約内の設定項目のいずれか一つまたは複数を削除して代替ポリシーを生成するので、システムが制約違反状態へ到達しない代替ポリシーを生成することが可能である。
【００８１】
また、実施例１によれば、ポリシーとして設定された手続内の設定項目を限定して代替ポリシーを生成するので、制約を変更することなく、システムが制約違反状態へ到達しない代替ポリシーを生成することが可能である。
【００８２】
また、実施例１によれば、代替ポリシーが複数生成された場合に、手続、制約および目標に対する変更が少ない順に順位付けして、複数の代替ポリシーをそれぞれ提示するので、システム管理者は、システムに適合した代替ポリシーを順位付けしてシステム管理者に提示することが可能である。
【００８３】
また、実施例１によれば、管理者生成ポリシーとシステムモデルとが整合すると判断された場合には、整合する旨をシステム管理者に通知するので、システム管理者は、自己が生成したポリシーがシステムと整合することを把握することが可能である。
【実施例２】
【００８４】
上記の実施例１では、代替ポリシーと管理対象システムをモデル化したシステムモデルとが整合するものとポリシー整合性検証部１３ｂにより判断されるまで、ポリシー整合性検証部１３ｂにおける代替ポリシーとシステムモデルとの整合性の検証処理から、代替ポリシー生成部１３ｃにおける代替ポリシーの生成処理までに至る処理を繰り返し実行する場合を説明したが、本発明はこれに限定されるものではなく、代替ポリシーとシステムモデルとが不整合であると判断された回数が所定の回数に到達している場合には、代替ポリシーの生成が不可能である旨をシステム管理者に通知するようにしてもよい。そこで、以下の実施例２では、実施例２に係るポリシー生成装置の構成および処理を順に説明し、最後に実施例２による効果を説明する。
【００８５】
［ポリシー生成装置の構成（実施例２）］
まず、実施例２に係るポリシー生成装置の構成を説明する。実施例２に係るポリシー生成装置は、実施例１に係るポリシー生成装置１０と基本的には同様の構成であるが、以下に説明する点が異なる。
【００８６】
すなわち、ポリシー整合性検証部１３ｂは、代替ポリシー生成部１３ｃから代替ポリシーを受け付けた場合には、代替ポリシーとシステムモデルとの整合性を検証し、代替ポリシーとシステムモデルとが不整合であると判断した場合には、不整合であると判断した回数が所定の回数に到達しているか否か判定する。判定の結果、所定の回数に到達している場合には、その判定結果を検証結果通知部１３ｅに送出する。一方、判定の結果、所定の回数に到達していない場合には、代替ポリシー生成指示を代替ポリシー生成部１３ｃに再度送出する。
【００８７】
検証結果通知部１３ｅは、ポリシー整合性検証部１３ｂから判定結果を受け付けて、代替ポリシーの生成が不可能である旨を管理者端末装置２０に送付することにより、システム管理者に通知する。
【００８８】
［ポリシー生成装置の処理（実施例２）］
次に、図１３を用いて、実施例２に係るポリシー生成装置の処理を説明する。図１３は、実施例２に係るポリシー生成装置の処理の流れを示すフローチャートである。なお、実施例２に係るポリシー生成装置の処理は、以下に説明する点が異なる。
【００８９】
すなわち、ポリシー整合性検証部１３ｂは、代替ポリシー生成部１３ｃから代替ポリシーを受け付けた場合には、代替ポリシーとシステムモデルとの整合性を検証する（ステップＳ１３０４）。そして、代替ポリシーとシステムモデルとが整合するものと判断した場合には（ステップＳ１３０４肯定）、実施例１で説明したのと同様に、代替ポリシーを後述する代替ポリシー提示部１３ｄに送出する。
【００９０】
これとは反対に、代替ポリシーとシステムモデルとが不整合であると判断した場合には（ステップＳ１３０４否定）、ポリシー整合性検証部１３ｂは、不整合であると判断した回数が所定の回数に到達しているか否か判定する（ステップＳ１３０６）。判定の結果、所定の回数に到達している場合には（ステップＳ１３０６肯定）、その判定結果を検証結果通知部１３ｅに送出する。一方、判定の結果、不整合であると判断した回数が所定の回数に到達していない場合には（ステップＳ１３０６否定）、代替ポリシー生成指示を代替ポリシー生成部１３ｃに再度送出する。
【００９１】
検証結果通知部１３ｅは、ポリシー整合性検証部１３ｂから判定結果を受け付けて、代替ポリシーの生成が不可能である旨を管理者端末装置２０に送付することにより、システム管理者に通知する（ステップＳ１３０２）。
【００９２】
［実施例２による効果］
上述してきたように、実施例２によれば、代替ポリシーとシステムモデルとが不整合であると判断される度に、代替ポリシーに替わる新たな代替ポリシーを生成し、新たな代替ポリシーが生成される度に、代替ポリシーとシステムモデルとの整合性とを再検証し、代替ポリシーとシステムモデルとが不整合であると判断された回数が所定の回数に到達している場合には、代替ポリシーの生成が不可能である旨をシステム管理者に通知するので、例えば、最初に生成したポリシーに欠陥があるかどうか見直す機会をシステム管理者に与えることが可能である。
【実施例３】
【００９３】
さて、これまで本発明の実施例１および実施例２について説明したが、本発明は上述した実施例以外にも、種々の異なる形態にて実施されてよいものである。そこで、以下では本発明に含まれる他の実施例を説明する。
【００９４】
（１）装置構成等
また、図２に示したポリシー生成装置の各構成要素は機能概念的なものであり、必ずしも物理的に図示の如く構成されていることを要しない。すなわち、ポリシー生成装置の分散・統合の具体的形態は図示のものに限られず、例えば、代替ポリシー生成部１３ｃと、代替ポリシー提示部１３ｄとを統合するなど、その全部または一部を、各種の負荷や使用状況などに応じて、任意の単位で機能的または物理的に分散・統合して構成することができる。さらに、ポリシー生成装置にて行なわれる各処理機能は、その全部または任意の一部が、ＣＰＵおよび当該ＣＰＵにて解析実行されるプログラムにて実現され、あるいは、ワイヤードロジックによるハードウェアとして実現され得る。
【００９５】
（２）ポリシー生成プログラム
ところで、上記の実施例で説明した各種の処理（例えば、図１２および図１３参照）は、あらかじめ用意されたプログラムをパーソナルコンピュータやワークステーションなどのコンピュータシステムで実行することによって実現することができる。そこで、以下では、図１４を用いて、上記の実施例と同様の機能を有するポリシー生成プログラムを実行するコンピュータの一例を説明する。図１４は、ポリシー生成プログラムを実行するコンピュータを示す図である。
【００９６】
同図に示すように、ポリシー生成装置としてコンピュータ３０は、通信制御Ｉ／Ｆ部３１、ＨＤＤ３２、ＲＡＭ３３、ＲＯＭ３４およびＣＰＵ３５をバス４０で接続して構成される。なお、通信制御Ｉ／Ｆ部３１は、図２に示した通信制御Ｉ／Ｆ部１１に対応する。
【００９７】
そして、ＲＯＭ３４には、上記の実施例に示したポリシー生成装置と同様の機能を発揮するポリシー生成プログラム、つまり、図１４に示すように、データ受付プログラム３４ａ、ポリシー整合性検証プログラム３４ｂ、代替ポリシー生成プログラム３４ｃ、代替ポリシー提示プログラム３４ｄおよび検証結果通知プログラム３４ｅがあらかじめ記憶されている。なお、これらのプログラム３４ａ、３４ｂ、３４ｃ、３４ｄおよび３４ｅについては、図２に示したポリシー生成装置１０の各構成要素と同様、適宜統合または分散してもよい。なお、ＲＯＭ３４は、不揮発性の「ＲＡＭ」でもよい。
【００９８】
そして、ＣＰＵ３５が、これらのプログラム３４ａ、３４ｂ、３４ｃ、３４ｄおよび３４ｅをＲＯＭ３４から読み出して実行することで、図１４に示すように、各プログラム３４ａ、３４ｂ、３４ｃ、３４ｄおよび３４ｅは、データ受付プロセス３５ａ、ポリシー整合性検証プロセス３５ｂ、代替ポリシー生成プロセス３５ｃ、代替ポリシー提示プロセス３５ｄおよび検証結果通知プロセス３５ｅとして機能するようになる。なお、各プロセス３５ａ、３５ｂ、３５ｃ、３５ｄおよび３５ｅは、図２に示したポリシー生成装置１０のデータ受付部１３ａ、ポリシー整合性検証部１３ｂ、代替ポリシー生成部１３ｃ、代替ポリシー提示部１３ｄおよび検証結果通知部１３ｅにそれぞれ対応する。
【００９９】
また、ＨＤＤ３２には、図１４に示すように、適用事例データテーブル３２ａおよび改変戦略データテーブル３２ｂがそれぞれ設けられる。なお、適用事例データテーブル３２ａおよび改変戦略データテーブル３２ｂは、図２に示した適用事例記憶部１２ａおよびポリシー改変戦略記憶部１２ｂにそれぞれ対応する。そして、ＣＰＵ３５は、適用事例データテーブル３２ａおよび改変戦略データテーブル３２ｂから、適用事例データ３３ａおよび改変戦略データ３３ｂをそれぞれ読み出してＲＡＭ３３に格納し、ＲＡＭ３３に格納された適用事例データ３３ａおよび改変戦略データ３３ｂに基づいて処理を実行する。
【０１００】
なお、上記した各プログラム３４ａ、３４ｂ、３４ｃ、３４ｄおよび３４ｅについては、必ずしも最初からＲＯＭ３４に記憶させておく必要はなく、例えば、コンピュータ３０に挿入されるフレキシブルディスク（ＦＤ）、ＣＤ−ＲＯＭ、ＤＶＤディスク、光磁気ディスク、ＩＣカードなどの「可搬用の物理媒体」、または、コンピュータ３０の内外に備えられるＨＤＤなどの「固定用の物理媒体」、さらには、公衆回線、インターネット、ＬＡＮ、ＷＡＮなどを介してコンピュータ３０に接続される「他のコンピュータ（またはサーバ）」などに各プログラムを記憶させておき、コンピュータ３０がこれらから各プログラムを読み出して実行するようにしてもよい。
【図面の簡単な説明】
【０１０１】
【図１】図１は、実施例１に係るポリシー生成装置の概要および特徴を説明するための図である。
【図２】図２は、実施例１に係るポリシー生成装置の構成を示すブロック図である。
【図３】図３は、管理対象システムの構成例を示す図である。
【図４】図４は、システムモデルの構成例を示す図である。
【図５】図５は、システム管理者が生成するポリシーの設定例を示す図である。
【図６】図６は、代替ポリシー例を示す図である。
【図７】図７は、代替ポリシー例を示す図である。
【図８】図８は、代替ポリシー例を示す図である。
【図９】図９は、代替ポリシー例を示す図である。
【図１０】図１０は、代替ポリシー例を示す図である。
【図１１】図１１は、代替ポリシーの提示例を示す図である。
【図１２】図１２は、実施例１に係るポリシー生成装置の処理の流れを示すフローチャートである。
【図１３】図１３は、実施例２に係るポリシー生成装置の処理の流れを示すフローチャートである。
【図１４】図１４は、ポリシー生成プログラムを実行するコンピュータを示す図である。
【符号の説明】
【０１０２】
１  ネットワーク
１０  ポリシー生成装置
１１  通信制御Ｉ／Ｆ部
１２  記憶部
１２ａ  適用事例記憶部
１２ｂ  ポリシー改変戦略記憶部
１３  制御部
１３ａ  データ受付部
１３ｂ  ポリシー整合性検証部
１３ｃ  代替ポリシー生成部
１３ｄ  代替ポリシー提示部
１３ｅ  検証結果通知部
２０  管理者端末装置
３０  コンピュータ
３１  通信制御Ｉ／Ｆ部
３２  ＨＤＤ（Hard  Disk  Drive）
３３  ＲＡＭ（Random  Access  Memory）
３４  ＲＯＭ（Read  Only  Memory）
３５  ＣＰＵ（Central  Processing  Unit）
４０  バス
【国際調査報告】
2008114355.tif 000017
2008114355.tif 000018
2008114355.tif 000019
2008114355.tif 000020
2008114355.tif 000021