【手続補正書】
【提出日】平成23年3月28日(2011.3.28)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
ＩＴシステムを展開し、構成し、運用するためのポリシーをモデル化する前記ＩＴシステムのモデルをコンピュータが前記コンピュータ上で作成するステップであって、前記モデルは、宣言型言語のタイピングシンタックス内における型の宣言を含み、前記型の宣言は、前記ＩＴシステムを構成して運用するための前記ポリシーを共にモデル化し、前記型の宣言は、前記ＩＴシステムのクラス／コンポーネントの型、前記ＩＴシステムのクラス／コンポーネント間における関係の型、および前記ＩＴシステムの制約を宣言し、前記クラス／コンポーネントの型は、ホストの型、サーバの型、およびアプリケーションの型を含み、前記関係の型は、ホスティングの関係、依存の関係、委任の関係、および通信の関係を含む、ステップと、
前記コンピュータが前記作成されたモデルをコンピュータ読み取り可能な記録媒体に格納するステップと
を含むことを特徴とする方法。
【請求項２】
前記制約は、前記ＩＴシステムを運用し、展開し、構成する上での制約をモデル化することを特徴とする請求項１に記載の方法。
【請求項３】
新たな宣言を用いて前記モデルを拡張すること、または前記モデル内で宣言される型を制限することによって前記モデルを制限することのいずれかを行う宣言を追加することによって、前記モデルから新たなモデルが導き出されることを特徴とする請求項１に記載の方法。
【請求項４】
コンピュータによって実行される時、前記コンピュータに請求項１に記載の方法を実行させるコンピュータ実行可能命令を格納した、１つまたは複数のコンピュータ読み取り可能な記録媒体。
【請求項５】
ＩＴシステムを展開し、構成し、運用するためのポリシーをモデル化する前記ＩＴシステムのモデルをコンピュータが前記コンピュータ上で作成するステップであって、前記モデルは、宣言型言語のタイピングシンタックス内における型の宣言を含み、前記型の宣言は、前記ＩＴシステムを構成して運用するための前記ポリシーを共にモデル化し、前記型の宣言は、前記ＩＴシステムのクラス／コンポーネントの型、前記ＩＴシステムのクラス／コンポーネント間における関係の型、および前記ＩＴシステムの制約を宣言し、前記制約は、前記ＩＴシステムのコンポーネントおよび／または前記ＩＴシステムの関係に関して演算を行う演算子を含む式を含み、前記式が真であるかを評価して、前記制約が満たされているかどうかを判定し、前記宣言型言語は、式を構築する式シンタックスを有し、前記制約を含む前記式は、前記式シンタックスに準拠する形式である、ステップと、
前記コンピュータが前記作成されたモデルをコンピュータ読み取り可能な記録媒体に格納するステップと
を含むことを特徴とする方法。
【請求項６】
ＩＴシステムを展開し、構成し、運用するためのポリシーをモデル化する前記ＩＴシステムのモデルをコンピュータが前記コンピュータ上で作成するステップであって、前記モデルは、宣言型言語のタイピングシンタックス内における型の宣言を含み、前記型の宣言は、前記ＩＴシステムを構成して運用するための前記ポリシーを共にモデル化し、前記型の宣言は、前記ＩＴシステムのクラス／コンポーネントの型、前記ＩＴシステムのクラス／コンポーネント間における関係の型、および前記ＩＴシステムの制約を宣言する、ステップと、
前記コンピュータが、前記モデルのインスタンスを、少なくとも１つのタイプチェックアルゴリズムを含み、および前記インスタンスが前記モデルの前記ポリシーを満たしているかどうかを確認する前記言語のインプリメンテーションに渡すステップと、
前記コンピュータが前記作成されたモデルをコンピュータ読み取り可能な記録媒体に格納するステップと
を含むことを特徴とする方法。
【請求項７】
前記クラス／コンポーネントの型は、ホストの型、サーバの型、およびアプリケーションの型を含み、前記関係の型は、ホスティングの関係、依存の関係、委任の関係、および通信の関係を含むことを特徴とする請求項６に記載の方法。
【請求項８】
コンピュータ実行可能命令を格納する１つまたは複数のコンピュータ読み取り可能な記録媒体であって、
コンピュータによって実行される時、前記コンピュータ実行可能命令は、前記コンピュータをＩＴシステムのモデルの定義を用いてプログラミングし、
前記定義は、宣言型言語のソースコードまたはコンパイルされたコードを含み、
前記ソースコードまたはコンパイルされたコードは、
ソフトウェアコンポーネントおよびハードウェアコンポーネントの型の宣言であって、前記コンポーネントの型は、前記ＩＴシステムを運用する上でのポリシーをモデル化するプロパティを有するように宣言される、宣言と、
コンポーネント間における関係の型の宣言であって、前記関係の型は、前記ＩＴシステムを運用する上でのポリシーをモデル化するプロパティを有するように宣言される、宣言と、
前記関係および前記コンポーネントに関する制約の宣言であって、前記制約は、前記ＩＴシステムを運用する上でのポリシーをモデル化する方法で前記関係および前記コンポーネントの組合せを制約し、前記制約のうちのいくつかは、前記制約の分類を示す情報をさらに含む、宣言と
を含み、
前記コンピュータによって実行される時、前記コンピュータ実行可能命令は、前記コンピュータに前記定義を使用させて前記ＩＴシステムを運用する上での前記ポリシーにしたがって前記ＩＴシステムが運用されているか否かを判定させるようにプログラミングする、
ことを特徴とするコンピュータ読み取り可能な記録媒体。
【請求項９】
前記定義は、前記ＩＴシステムを運用する上での前記ポリシーを拡張またはリファインする制限的な派生をさらに含むことを特徴とする請求項８に記載のコンピュータ読み取り可能な記録媒体。
【請求項１０】
前記制約の前記宣言は、コンポーネントおよび／または関係に関して演算を行う演算子を含む式を含み、前記式は、真の評価を受けやすいことを特徴とする請求項８に記載のコンピュータ読み取り可能な記録媒体。
【請求項１１】
コンピュータ実行可能命令を格納する１つまたは複数のコンピュータ読み取り可能な記録媒体であって、
コンピュータによって実行される時、前記コンピュータ実行可能命令は、前記コンピュータをＩＴシステムのモデルの定義を用いてプログラミングし、
前記定義は、宣言型言語のソースコードまたはコンパイルされたコードを含み、
前記ソースコードまたはコンパイルされたコードは、
ソフトウェアコンポーネントおよびハードウェアコンポーネントの型の宣言であって、前記コンポーネントの型は、前記ＩＴシステムを運用する上でのポリシーをモデル化するプロパティを有するように宣言される、宣言と、
コンポーネント間における関係の型の宣言であって、前記関係の型は、前記ＩＴシステムを運用する上でのポリシーをモデル化するプロパティを有するように宣言される、宣言と、
前記関係および前記コンポーネントに関する制約の宣言であって、前記制約は、前記ＩＴシステムを運用する上でのポリシーをモデル化する方法で前記関係および前記コンポーネントの組合せを制約する、宣言と
を含み、
前記定義は、前記ＩＴシステムにとって満たさなければならない前記ＩＴシステムの不変の側面を指定し、
前記コンピュータによって実行される時、前記コンピュータ実行可能命令は、前記コンピュータに前記定義を使用させて前記指定された前記ＩＴシステムの不変の側面にしたがって前記ＩＴシステムが運用されているか否かを判定させるようにプログラミングする、
ことを特徴とするコンピュータ読み取り可能な記録媒体。
【請求項１２】
コンピュータ実行可能命令を格納する１つまたは複数のコンピュータ読み取り可能な記録媒体であって、
コンピュータによって実行される時、前記コンピュータ実行可能命令は、前記コンピュータをＩＴシステムのモデルの定義を用いてプログラミングし、
前記定義は、宣言型言語のソースコードまたはコンパイルされたコードを含み、
前記ソースコードまたはコンパイルされたコードは、
ソフトウェアコンポーネントおよびハードウェアコンポーネントの型の宣言であって、前記コンポーネントの型は、前記ＩＴシステムを運用する上でのポリシーをモデル化するプロパティを有するように宣言される、宣言と、
コンポーネント間における関係の型の宣言であって、前記関係の型は、前記ＩＴシステムを運用する上でのポリシーをモデル化するプロパティを有するように宣言される、宣言と、
前記関係および前記コンポーネントに関する制約の宣言であって、前記制約は、前記ＩＴシステムを運用する上でのポリシーをモデル化する方法で前記関係および前記コンポーネントの組合せを制約する、宣言と
を含み、
前記コンピュータ実行可能命令は、
前記ＩＴシステムの状態を示す情報と、
前記定義を使用して、前記ＩＴシステムの前記状態に対する変更が、前記ＩＴシステムを運用する上での前記ポリシーに違反することになるかどうかを判定するためのコンポーネントと
をさらに含む、
ことを特徴とするコンピュータ読み取り可能な記録媒体。
【請求項１３】
コンピュータ実行可能命令を格納する１つまたは複数のコンピュータ読み取り可能な記録媒体であって、
コンピュータによって実行される時、前記コンピュータ実行可能命令は、前記コンピュータをＩＴシステムのモデルの定義を用いてプログラミングし、
前記定義は、宣言型言語のソースコードまたはコンパイルされたコードを含み、
前記ソースコードまたはコンパイルされたコードは、
ソフトウェアコンポーネントおよびハードウェアコンポーネントの型の宣言であって、前記コンポーネントの型は、前記ＩＴシステムを運用する上でのポリシーをモデル化するプロパティを有するように宣言される、宣言と、
コンポーネント間における関係の型の宣言であって、前記関係の型は、前記ＩＴシステムを運用する上でのポリシーをモデル化するプロパティを有するように宣言される、宣言と、
前記関係および前記コンポーネントに関する制約の宣言であって、前記制約は、前記ＩＴシステムを運用する上でのポリシーをモデル化する方法で前記関係および前記コンポーネントの組合せを制約する、宣言と
を含み、
前記コンピュータ実行可能命令は、新たな宣言を用いて前記モデルを拡張すること、または前記モデル内で宣言される型を制限することによって前記モデルを制限することのいずれかを行う宣言を追加することによって前記モデルから導き出された第２のモデルの定義をさらに含み、
前記コンピュータによって実行される時、前記コンピュータ実行可能命令は、前記コンピュータに前記定義を使用させて前記ＩＴシステムの前記モデルの少なくとも一つにしたがって前記ＩＴシステムが運用されているか否かを判定させるようにプログラミングする、
ことを特徴とするコンピュータ読み取り可能な記録媒体。
【請求項１４】
前記制約のうちのいくつかは、前記制約の分類を示す情報をさらに含むことを特徴とする請求項１３に記載のコンピュータ読み取り可能な記録媒体。
【請求項１５】
企業や機関の実際のＩＴシステムや計画されているＩＴシステムを運用することに関するオペレーション上のポリシーをモデル化する方法であって、
前記ＩＴシステムは、アプリケーションと、アプリケーション・ホストと、１つまたは複数のネットワークや前記ネットワークのコンポーネントと、ハードウェアと、前記コンポーネント間における相互関係とを含むコンポーネントを含み、
前記ＩＴシステムは、コンポーネントの存在や多数性、前記コンポーネントがどのように相互に関係付けられるか、前記コンポーネントおよび相互関係がどのように構成されるか、および前記ＩＴシステムを管理および保守するための手動のプロセスまたは自動化されたプロセスを管理するオペレーション上のポリシーに従って運用され、
前記方法は、
前記ＩＴシステムの前記コンポーネントに対応するクラスの型を宣言することと、
前記ＩＴシステムの相互関係に対応する相互関係の型を宣言することと、
前記型に関する制約および前記型間における制約を定義することであって、前記制約は、前記ＩＴシステムを運用することに関する前記オペレーション上のポリシーに対応することと
によって言語に準拠するコードをコンピュータが前記コンピュータ上で生成するステップを含み、
前記コードは、前記ＩＴシステムから独立していることを特徴とする方法。
【請求項１６】
前記型は、前記言語のタイピングシステムのシンタックスおよびセマンティクスに従って宣言型のコードの部分を用いて宣言されることを特徴とする請求項１５に記載の方法。
【請求項１７】
前記制約は、前記言語によって定義される論理式の領域内にある式を含むことを特徴とする請求項１６に記載の方法。
【請求項１８】
前記制約は、抽象型のうちのいくつかを制約し、前記抽象型のインスタンスを前記制約に照らして確認することができることを特徴とする請求項１７に記載の方法。
【請求項１９】
前記宣言された型のインスタンスが、前記型によってモデル化されているオペレーション上のポリシーを満たしているかどうかを前記コンピュータが判定するステップをさらに含むことを特徴とする請求項１５に記載の方法。
【請求項２０】
前記型のうちの１つのインスタンスに対する提案されている修正が前記オペレーション上のポリシーに違反することになるかどうかを前記コンピュータが判定するステップをさらに含むことを特徴とする請求項１５に記載の方法。