【手続補正書】
【提出日】平成19年12月10日(2007.12.10)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
プロセス代数および性能予測技法を使用して契約を指定し検査するシステムであって、
前記プロセス代数を使用して前記プロセス代数の少なくとも１つのフラグメントの形で契約を指定する第１のコンポーネントと、
前記指定された契約を、前記性能予測技法を用いて生成されるインプリメンテーションと比較する第２のコンポーネントと
を備え、
前記比較の結果によって前記インプリメンテーションが前記契約を満たすかどうかが判定されることを特徴とするシステム。
【請求項２】
前記プロセス代数は、確率的パイ計算法であることを特徴とする請求項１に記載のシステム。
【請求項３】
前記プロセス代数は、レートをアクションに明示的に関連づけることを特徴とする請求項１に記載のシステム。
【請求項４】
前記プロセス代数は、Ｇｉｌｌｅｓｐｉｅスタイルの確率的エージェントベースのシミュレーションを提供するセマンティックスに関連することを特徴とする請求項１に記載のシステム。
【請求項５】
前記プロセス代数は、プロセス代数ベースのプロセスの実行に対応するラベル付けされた遷移システムにおいてプルーフツリーを遷移に関連づける動作可能セマンティックスを含むことを特徴とする請求項１に記載のシステム。
【請求項６】
前記プロセス代数ベースのプロセスは、パイ計算法プロセスであることを特徴とする請求項５に記載のシステム。
【請求項７】
コストファンクションを使用してレートを表現する数値にプルーフツリーを複合的にマッピングするコンポーネントをさらに備えることを特徴とする請求項１に記載のシステム。
【請求項８】
プロセス代数および性能予測技法を使用して契約を指定し検査する方法であって、
前記プロセス代数の少なくとも１つのフラグメントの形で契約を指定するステップと、
前記性能予測技法を使用して前記契約のインプリメンテーションを予測するステップと、
前記契約の前記インプリメンテーションを前記指定された契約に対して評価して前記指定された契約とそのインプリメンテーションが互いに適合するかどうかを判定するステップと
を含むことを特徴とする方法。
【請求項９】
前記プロセス代数は、Ｇｉｌｌｅｓｐｉｅスタイルの確率的エージェントベースのシミュレーションを提供するセマンティックスを有する確率的パイ計算法であることを特徴とする請求項８に記載の方法。
【請求項１０】
前記プロセス代数を利用してレートをアクションに明示的に関連づけるステップをさらに含むことを特徴とする請求項８に記載の方法。
【請求項１１】
前記プロセス代数を使用してパイ計算法プロセスの実行に対応するラベル付けされた遷移システムにおいてプルーフツリーを遷移に関連づけるステップをさらに含むことを特徴とする請求項８に記載の方法。
【請求項１２】
コストファンクションを利用してレートを表現する数値にプルーフツリーを複合的にマッピングするステップをさらに含むことを特徴とする請求項８に記載の方法。
【請求項１３】
第１のエンティティについての性能レベルの定義を記憶する記述コンポーネントと、
前記定義を利用して第２のエンティティが、前記第１のエンティティの前記性能レベルを満たすかどうかを判定するサービスマネージャと
を備えることを特徴とするサービス品質を表現するシステム。
【請求項１４】
前記性能レベルは、レート、アップタイムおよびキャパシティの性能メトリックのうちの少なくとも１つを含むことを特徴とする請求項１３に記載のシステム。
【請求項１５】
前記レートメトリックは、プロセス代数を用いて予測されることを特徴とする請求項１４に記載のシステム。
【請求項１６】
前記プロセス代数は、パイ計算法であることを特徴とする請求項１５に記載のシステム。
【請求項１７】
前記レートメトリックは、１つまたは複数の性能コストを決定し、前記１つまたは複数のコストをそれぞれのレートに相関させることによって予測されることを特徴とする請求項１４に記載のシステム。
【請求項１８】
前記１つまたは複数のコストは、前記定義における状態遷移に対して各コストファンクションを再帰的に適用することによって計算されることを特徴とする請求項１７に記載のシステム。
【請求項１９】
前記第１のエンティティに関連するレートメトリックを前記第２のエンティティのレートメトリックと比較して前記第２のエンティティが前記第１のエンティティの前記性能レベルを満たすかどうかを判定することを特徴とする請求項１３に記載のシステム。
【請求項２０】
前記アップタイムメトリックは、ダウンタイムおよび例外状態のうちの一方に関連するエラー頻度を示すことを特徴とする請求項１４に記載のシステム。
【請求項２１】
前記アップタイムメトリックは、エラー状態への遷移にレートを施し、前記エラー状態への遷移に関連する頻度を決定することによって計算されることを特徴とする請求項１４に記載のシステム。
【請求項２２】
前記第１のエンティティに関連する前記アップタイムメトリックを前記第２のエンティティのアップタイムメトリックと比較して前記第２のエンティティが前記第１のエンティティの前記性能レベルを満たすかどうかを判定することを特徴とする請求項１４に記載のシステム。
【請求項２３】
前記キャパシティメトリックは、所与の時刻に処理されるデータ量を示すことを特徴とする請求項１４に記載のシステム。
【請求項２４】
前記キャパシティメトリックは、チャネルにシャノンの定理を適用することによって計算されることを特徴とする請求項１４に記載のシステム。
【請求項２５】
前記第１および第２のエンティティは、ウェブサービスであることを特徴とする請求項１３に記載のシステム。
【請求項２６】
前記第１のエンティティの前記定義を前記第２のエンティティの定義のインプリメンテーションとコンフォーマンスアルゴリズムを用いて比較して前記第２のエンティティが前記性能レベルを満たすかどうかを判定する助けをすることを特徴とする請求項１３に記載のシステム。
【請求項２７】
前記第１のエンティティに関連する前記定義を前記第２のエンティティの性能レベルの定義とコンプライアンスアルゴリズムを用いて比較して前記定義が機能的な等価物であるかどうかを判定することを特徴とする請求項１３に記載のシステム。
【請求項２８】
性能レベルを利用してサービスを選択する助けをする方法であって、
確率的数学ベースのアルゴリズムを使用してエージェントについての性能レートを予測するステップと、
前記予測された性能レートをサービス提供エージェントの公示された性能レートと比較して前記サービス提供エージェントが前記予測されたレートを満たすことできるかどうかを判定するステップと
を含むことを特徴とする方法。
【請求項２９】
前記予測された性能レートに関連するタスクのサービスを行おうと競合する複数のサービス提供エージェントに対して前記予測された性能レートを送信するステップをさらに含むことを特徴とする請求項２８に記載の方法。
【請求項３０】
前記予測された性能レートに関連するタスクのサービスを行おうと競合する複数のサービス提供エージェントから１つまたは複数の公示された性能レートを受信するステップをさらに含むことを特徴とする請求項２８に記載の方法。
【請求項３１】
確率的アルゴリズムを使用して前記エージェントについてのアップタイムを指定するステップをさらに含み、前記アップタイムを利用して前記サービス提供エージェントが前記エージェントの性能レベルを満たすことができるかどうかを判定する助けをすることを特徴とする請求項２８に記載の方法。
【請求項３２】
確率的アルゴリズムを使用して前記エージェントについてのキャパシティを指定するステップをさらに含み、前記キャパシティを利用して前記サービス提供エージェントが前記エージェントの性能レベルを満たすことができるかどうかを判定する助けをすることを特徴とする請求項２８に記載の方法。
【請求項３３】
メッセージ内容記述、エージェントロケーション、および通信プロトコルのうちの少なくとも１つを含む契約において前記予測された性能レートを指定するステップをさらに含むことを特徴とする請求項２８に記載の方法。
【請求項３４】
性能レベルを指定する助けをするコンピュータ実行可能コンポーネントを記録したコンピュータ読取り可能記録媒体であって、
ウェブサービスを状態として表現するコンポーネントと、
関連する状態遷移にコストファンクションを施すコンポーネントと、
前記コストファンクションを利用して各状態遷移ごとのレートを予測するコンポーネントと、
前記予測されたレートを提案されたレートと比較して提案されたレートが前記予測されたレートを満たすかどうかを判定するコンポーネントと
を含むことを特徴とするコンピュータ読取り可能記録媒体。
【請求項３５】
性能品質をエージェント間におけるネゴシエーションツールとして使用するシステムであって、
各エージェントごとに性能品質を決定する手段と、
前記各エージェントの前記性能品質を比較する手段と、
前記比較に基づいて少なくとも２つのエージェントをマッチングさせる手段と
を備えることを特徴とするシステム。