[論文レビュー] BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources

José Antonio Mateo, Valentín Valero+1 more|arXiv (Cornell University)|Mar 8, 2012

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

ひとこと要約

本稿では、BPELオchestrationとWSRFで管理される分散リソースを統合する形式的フレームワーク、BPEL-RFを提案する。これにより、タイムドリソースライフタイム、イベント処理、障害管理を伴う状態保持型サービスコンポジションが可能になる。主な貢献は、共同行動をモデル化すると同時に、分散ワークフローにおけるリソースのリースと動的状態の進化を形式的に規定する3段階の操作的意味論である。

ABSTRACT

Web service compositions are gaining attention to develop complex web systems by combination of existing services. Thus, there are many works that leverage the advantages of this approach. However, there are only few works that use web service compositions to manage distributed resources. In this paper, we then present a formal model that combines orchestrations written in BPEL with distributed resources, by using WSRF.

研究の動機と目的

• WSRFを介して管理される状態保持型分散リソースとBPELオchestrationを統合する形式的モデルの不足に対処すること。
• 複合Webサービスにおけるリソースライフタイム、リース、動的状態変化のモデル化をサポートすること。
• 分散リソースを含むBPELワークフロー内でのイベント処理、障害処理、お知らせメカニズムの形式的規定。
• 構造化されたアクティビティと時間制約を含むBPEL 2.0の構成要素に対する完全な操作的意味論の提供。
• 品質保証およびプライバシー制約下での複雑な分散サービスコンポジションにおける相互運用性と正しさの確保。

提案手法

• フレームワークは、オーケストレータと関連するWSRFリソースの組み合わせとしてBPELオーケストレーションをモデル化し、各リソースはEPRとライフタイムタイムアウトで表される。
• 3段階の操作的意味論が定義される：最外層は共同行動の相互作用をモデル化し、内側の段階はオーケストレーション論理とリソース状態遷移を処理する。
• リソースの性質は1つの代表的EPRに抽象化され、状態保持動作を維持しつつモデル化を簡素化する。
• 時間制約が形式的に統合され、リソースのリースと失効が状態遷移系の一部としてモデル化される。
• イベントおよび障害処理はラベル付き遷移系を用いてモデル化され、サブスクリプション、お知らせ、エラー伝播のための特定ルールが設けられる。
• 構造化されたBPELアクティビティ（例：sequence、pick、flow）をサポートし、形式的取り扱いのためのネストされたスコープを回避する。

実験結果

リサーチクエスチョン

• RQ1 BPELオーケストレーションを、状態保持型で長時間実行されるワークフローをサポートするWSRFで管理される分散リソースと形式的に統合する方法は何か？
• RQ2 BPEL制御フローとWSRFリソースライフサイクル（リースと失効を含む）の相互作用をモデル化する形式的意味論は何か？
• RQ3 サブスクリプションとお知らせを含むイベント駆動メカニズムを、分散リソースを含むBPELワークフロー内に形式的にモデル化する方法は何か？
• RQ4 障害処理と回復の役割はBPEL-RFにおいて果たすものであり、操作的意味論にどのように統合されるか？
• RQ5 時間制約とリソースライフタイムを、複合Webサービスの実行において形式的に表現・強制する方法は何か？

主な発見

• BPEL-RFフレームワークは、定義されたライフタイムを持つ状態保持型分散ワークフローのモデル化を可能にするよう、BPELオーケストレーションとWSRFリソースの統合を形式的に成功裏に規定した。
• 操作的意味論は、ラベル付き遷移系を通じて、イベント処理、障害処理、お知らせを含むすべての主要なBPEL構成要素を捉えている。
• リソースのリースは、時間制限付きの状態として形式的にモデル化され、失効が状態遷移を引き起こし、障害処理が発生する可能性がある。
• フレームワークは複合サービスの共同視点をサポートし、分散参加者間の観察可能な相互作用の分析を可能にする。
• モデルは拡張可能であり、将来の研究の基盤として補償処理および時刻色付きペトリネット意味論への展開を提供する。
• 本アプローチにより、複雑な分散サービスコンポジションにおける正しさ、品質保証、プライバシー特性の形式的検証が可能になる。