メタデータ制約を用いた協調プロトコルの自動合成手法

書誌事項

タイトル別名
  • メタデータ セイヤク オ モチイタ キョウチョウ プロトコル ノ ジドウ ゴウセイ シュホウ
  • Automatic Coordination Protocol Composition Approach Using Metadata-base Constraints

この論文をさがす

抄録

SOC(Service Oriented Computing)のような複数の主体が連携し,協調動作をするシステムの構築では協調プロトコルの設計が重要である.しかし,セキュアなアプリケーション設計に必要なロギングや認証処理等を組み込むと,協調プロトコルは肥大化し,設計のコストは増大する.大規模な協調プロトコルを設計する手法として,協調プロトコル合成があるが,既存の協調プロトコル合成手法は,合成順序への依存が大きく,目的の協調プロトコルを得られないときは複数回の試行を必要とした.また,合成対象が協調プロトコル内の正常系処理のみであり,例外処理や終了処理の合成が扱えなかった.本論文では協調プロトコルの自動合成手法を提案する.自動合成手法では合成者が合成順序を考慮する必要がなく,合成器が指示した性質を満たす合成方法を探索する.また,例外処理や終了処理の合成も扱えるようにし,より柔軟な協調プロトコルを容易に合成する手法を提案する.

Specifying coordination protocols are vital in systems which need to collaborate several entities. To implement secure application, it is necessary to build in loggings, authentications and so on. But they expand coordination protocols. Coordination protocol composition approaches reduce the costs of specifying such a large coordination protocols. In existing composition approaches, composition results depend on orders of compositions. And existing composition approaches can not treat exception processes and finalization processes. A new approach is proposed that search optimal compositions automatically and treat exception process and finalization processes.

収録刊行物

関連プロジェクト

もっと見る

詳細情報

問題の指摘

ページトップへ