サービス合成において契約間の整合性を検証,実現するツールに関する研究

点击翻译按钮获取中文摘要

近年,サービス指向アーキテクチャの考え方Webサービス技術によって,ネットワーク上の複数のサービスを組み合わせて新たなサービスを構築することが目指されている.サービス合成は複数組織をまたがることも想定されており,サービス契約という形でサービスの振る舞いや質を合意,保証することが重要である.ここでサービス合成者の立場では,自身が利用する様々な部品サービスの提供者や,自身が合成,提供するサービスの利用者のそれぞれと契約を結ぶこととなる.この際,両立不可能な契約を結んでいないか等,複数契約間の整合性を検証,実現する必要がある.そこで本研究課題においては,サービス合成における複数契約間の整合性を検証,実現するための基盤技術と開発者向けツールの研究開発を行った.平成19年度の取り組みにおいては,まず契約に関する既存研究を踏まえ,性質の異なる複数のシナリオにおいてサービス合成ロジック及び契約の例を構築した.その際には,オプションが多様なマルチメディアサービスや,物理的な制約があり状況依存性が高いユビキタス環境のサービスも検討対象とした.次に形式言語Event Calculusを用い,契約及び契約に対する制約の表現方式を定義した.契約に対する制約としては,可能な契約形式を表すテンプレート,サービス提供または利用に関する要求(ポリシー),サービス合成ロジックに起因する契約間の依存性制約等を導入した.また契約やそれに関する制約間の不整合についても,Event Calculus上での表現を定義した.これらの定義に基づき,Event Calculusに対する既存の推論ツールに対して様々な制約等を入力し,契約間の不整合が発生する状況のシミュレーションや不整合が起きないことの検査等,様々な推論作業を行う手順を検討するとともに,その手順を容易とする簡易的なツールを構築した.また今後実用的なツールを構築するための要件についても検討を行った.