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

スポンサーリンク

概要

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

著者

関連論文

もっと見る

スポンサーリンク