| 研究概要 |
複数の連携相手が含まれるサービス合成では,実行前に個々の契約や様々な制約の間の整合性を保証するよう契約の選択方針を定める必要がある.また実行時には,サービスの選択・束縛や合成実行の機構と契約管理機構を適宜連携させる必要がある.本研究では,サービス合成における整合性ある契約管理処理の方針設定・実行を容易とする枠組みの研究開発を行っている.具体的には第一に,サービス合成者の立場において複数契約間の整合性を検証したり実現したりすることを支援する形式的理論基盤とツールを構築する.第二に,開発者がサービスの選択・束縛や合成実行を設定することを容易とする実行記述言語およびその実行基盤を提供する.ここでは,サービスの選択・束縛や合成実行に関する動作を契約管理機構と連携させることにより,管理サイクル上の要求・制約を満たす形でサービス合成を実現できるようにする.以上の仕組みを統合してフレームワークとして提供することにより,開発者がより容易に,契約に基づき整合性ある契約に関する振る舞いを記述,設定できるようなフレームワークとして提供する.平成22年度においては,汎用化のため,様々なシナリオの分析を通し,サービスの選択・束縛や合成実行に関する異なる仮定・要求パターンを洗い出した.これに基づき,それら仮定・要求パターンに対応しての整合性ある設計・実装を支援する枠組みを構築し,これまでの取り組みとの統合を行った.
|
