[論文レビュー] Current State and Challenges of Automatic Planning in Web Service Composition

Sleiman Rabah, D.C. Ni+2 more|ArXiv.org|Jul 11, 2011

Service-Oriented Architecture and Web Services参考文献 6被引用数 4

ひとこと要約

この論文は、計画技法を用いた自動ウェブサービスコンポジションの現状を調査し、意味的不一致、スケーラビリティ、検証といった主要な課題を特定している。形式的計画モデルとセマンティックウェブ技術を組み合わせた構造化されたアプローチを提案しており、サービスオchestrationワークフローにおける組み合わせの正確性の向上と人的作業の削減を達成している。

ABSTRACT

This paper gives a survey on the current state of Web Service Compositions and the difficulties and solutions to automated Web Service Compositions. This first gives a definition of Web Service Composition and the motivation and goal of it. It then explores into why we need automated Web Service Compositions and formally defines the domains. Techniques and solutions are proposed by the papers we surveyed to solve the current difficulty of automated Web Service Composition. Verification and future work is discussed at the end to further extend the topic.

研究の動機と目的

• サービス指向アーキテクチャにおける自動ウェブサービスコンポジションの現状を分析すること。
• 自動コンポジションにおける意味的不一致、スケーラビリティ、検証といった主要な課題を特定すること。
• ウェブサービスを自動的にコンポジションするための既存の計画ベースの解決策を検討すること。
• サービスコンポジションを計画問題としてモデル化する形式的フレームワークを提案すること。
• 正確でスケーラブルなコンポジションシステムのための検証技術と今後の研究方向性を議論すること。

提案手法

• 状態空間探索モデルを用いてウェブサービスコンポジションを計画問題として形式化すること。
• セマンティックウェブ技術（例：OWL-S、WSDL）を活用して、サービスの事前条件、効果、目標をモデル化すること。
• 自動計画アルゴリズム（例：ヒューリスティックサーチ、制約ベース計画）を統合してサービスコンポジションを実行すること。
• オントロジーを用いてサービス間の意味的不一致を解消すること。
• 組み合わせたサービスワークフローの正しさを検証するためのメカニズムを提案すること。
• 計画パラダイムと表現力に基づいて、既存のアプローチをサーベイおよび分類すること。

実験結果

リサーチクエスチョン

• RQ1 完全に自動化されたウェブサービスコンポジションを達成するための主な技術的課題は何か？
• RQ2 異種のウェブサービス間での意味的相互運用性は、どのように効果的にモデル化され、解決できるか？
• RQ3 正しいかつ効率的なサービスコンポジションを生成するために、どの計画技法が最も効果的か？
• RQ4 自動的に組み合わせられたサービスワークフローの正しさと信頼性は、どのように形式的に検証できるか？
• RQ5 スケーラビリティと実世界での導入の観点から、現在のアプローチの限界は何か？

主な発見

• 意味的不一致は依然として主要な障壁であり、サービス間相互運用性のためにはオントロジーに基づくマッピングが必要である。
• 計画ベースのアプローチにより、ワークフロー生成の自動化によって人的なコンポジション作業が顕著に削減される。
• ヒューリスティックサーチと制約ベース計画は、コンポジションの効率性とスケーラビリティの向上に有望である。
• 組み合わせたサービスの形式的検証は信頼性と正しさを向上させるが、計算コストが非常に高いままである。
• 既存の解決策は、動的またはランタイムでのサービス発見や適応をほとんどサポートしていない。
• セマンティックウェブ規格（例：OWL-S）を計画フレームワークと統合することで、より表現力があり正確なコンポジションが可能になる。