Loading article…
ビジネスコンピューティングにおけるサービスコレオグラフィーは、複数のパートナーサービス間の相互作用プロトコル[説明が必要]がグローバルな観点から定義されるサービス構成の一形態です。 [1] サービスコレオグラフィーの概念の根底にある考え方は、次のように要約できます。
「ダンサーは、単一の制御点のないグローバルシナリオに従って踊ります。」
つまり、実行時に、サービス コレオグラフィの各参加者は、他の参加者の動作に応じて自分の役割を実行します。[2]コレオグラフィの役割は、参加者が消費および生成できるメッセージの順序とタイミングの観点から、参加者の期待されるメッセージング動作を指定します。[3]
振り付けとは、何らかの有用な目的を達成するために、2人以上の参加者間でデータが交換される順序と条件を指します。[4]
サービスコレオグラフィーとサービスオーケストレーション
サービス コレオグラフィは、サービスコンポジションの別のパラダイムであるサービス オーケストレーションと比較すると理解しやすくなります。サービス コレオグラフィでは、参加者間のメッセージ ベースのやり取りのロジックがグローバルな観点から指定されます。一方、サービス オーケストレーションでは、ロジックは、オーケストレーターと呼ばれる 1 人の制御参加者のローカルな観点から指定されます。たとえば、サービス オーケストレーション言語BPELでは、サービス オーケストレーションの仕様 (BPEL プロセス ファイルなど) は、サービス インフラストラクチャ ( Apache ODEなどの BPEL 実行エンジンなど) に展開できるワークフローです。サービス オーケストレーション仕様を展開すると、ワークフローが複合サービスに変換されます。[5]
ある意味では、サービス コレオグラフィーとオーケストレーションは表裏一体です。一方では、サービス コレオグラフィーの役割は、投影と呼ばれるプロセスを通じてサービス オーケストレーションとして抽出できます。[6]投影を通じて、スケルトン、つまり不完全なサービス オーケストレーションを実現し、サービス コレオグラフィーに参加する Web サービスを実現するためのベースラインとして使用できます。他方では、既存のサービス オーケストレーションをサービス コレオグラフィーで構成することもできます。
サービス振り付けの制定
サービス振付は実行されるのではなく、制定されるものです。サービス振付は、参加者が役割を実行するときに制定されます。[7]つまり、サービスオーケストレーションとは異なり、サービス振付はサービスインフラストラクチャ上のエンジンによって実行されるのではなく、役割が実行されたときに「発生」します。これは、サービス振付のロジックがグローバルな観点から指定されるため、サービスオーケストレーションのように単一のサービスによって実現されないためです。
振り付けに関する研究の多くが答えを探している重要な質問は、次のとおりです。コラボレーションの参加者間の可能な相互作用を記述するグローバルな振り付けが構築されたとします。コラボレーションが成功することを保証するには、振り付けが従う必要がある条件は何ですか。ここで、成功とは、各参加者が独自のスケルトンに従って独立して行動するコラボレーションが実行されたときに生じる創発的な動作が、スケルトンが最初に投影された振り付けに正確に従うことを意味します。この場合、振り付けは実現可能であると言われます。[8]一般に、振り付けの実現可能性を決定することは、特にコラボレーションが非同期メッセージングを使用し、異なる参加者が同時にメッセージを送信できる場合は、簡単な問題ではありません。
サービス振り付け言語
Web サービスに関する仕様の範囲内では、次の仕様がサービス振り付けをモデル化する言語の定義に重点を置いています。
- Webサービス振付記述言語（WS-CDL）は、円周率計算にヒントを得た構造を使用して振付をモデル化するためのW3CのXMLベースの仕様です。
- Web サービス コレオグラフィ インターフェイス (WSCI) は、Intalio、Sun Microsystems、BEA Systems、SAP AGによってW3Cに提案され、 Web サービス コレオグラフィ記述言語 (WS-CDL)への入力として機能したXML ベースの仕様です。
さらに、OMG仕様BPMNバージョン2.0には、サービス振り付けをモデル化する図が含まれています。[9]
サービス振り付け言語に関する学術的な提案には次のものがあります。
- レッツダンス[10]
- BPEL4Chor [11]
- コーラス[12] [13]
さらに、以下に基づいて、いくつかのサービス振り付け形式が提案されています。
- ペトリネット、例えばインタラクションペトリネット[14]やオープンワークフローネット[15]
- 有限ステートマシン[16]
- ガードオートマタ[17]
- 時間制限オートマトン[18]
- 円周率[19] [20] [21]
- プロセス結石[22] [23]
Webサービスの振り付け
Web サービス コレオグラフィー( WS-Choreography ) は、W3Cによる仕様であり、連携するWeb サービス参加者のコラボレーション プロトコルを記述するXMLベースのビジネス プロセス モデリング言語を定義します。このプロトコルでは、サービスがピアとして機能し、対話は長期間存続し、ステートフルになることがあります。(オーケストレーションは、非常に似ていますが、意味が異なる別の用語です。)
振り付けを実現するための主な取り組みであるW3C Webサービス振り付けワーキンググループは2009年7月10日に終了し[24]、 WS-CDLは候補勧告として残されました。
「2001 年 4 月 11 ～ 12 日に開催された W3C の Web サービス ワークショップでの多くのプレゼンテーションでは、振り付けに対処するために共通のインターフェイスと構成言語が必要であることが指摘されました。Web サービス アーキテクチャ ワーキング グループによって作成された Web サービス アーキテクチャ要件ワーキング ドラフトでも、初期の Web サービス アーキテクチャのさまざまなトップレベルの目標をサポートするために、Web サービス振り付け機能のアイデアが重要な成功要因として挙げられています」[1]。
振り付けの問題は当時、業界にとって大きな関心事であり、WSCL（Webサービス会話言語）やWSCI（Webサービス振り付けインターフェース）などの取り組みがW3Cに提出され、技術ノートとして公開されました。さらに、補完的な取り組みも開始されました。[25]
「2002 年 6 月、Intalio、Sun、BEA、SAP は、Web Services Choreography Interface (WSCI) という共同仕様を発表しました。この仕様は、2002 年 8 月に W3C にメモとして提出されました。W3C はその後、Web サービス アクティビティ内に Web Services Choreography ワーキング グループという新しいワーキング グループを結成しました。WSCI 仕様は、2005 年 11 月 9 日に WS-CDL バージョン 1.0 の候補勧告を公開した Web Services Choreography ワーキング グループへの主要な入力の 1 つです」[3]。「XLang、WSFL、WSCI は、どの標準組織や企業でもサポートされなくなりました。BPEL が Xlang に取って代わり、WSFL はWS-CDLに取って代わられました」[4] [奪取]。
今後リリースされるビジネスプロセスモデリング表記法バージョン2.0では、サービス振り付けを指定するための図が導入される予定です。[9]
学術分野では、Let's Dance、[10]、 BPEL4Chor [11]、MAP [19]など、他のサービス振り付け言語も提案されています。
サービス振り付けのパラダイム
サービスコレオグラフィーは、参加者間のメッセージベースのインタラクションをグローバルな視点から定義する。プログラミング言語がプログラミングパラダイムに分類できるのと同様に、サービスコレオグラフィー言語はスタイルに分類できる。[26]
- インタラクションモデリング：振り付けのロジックは、参加者間のメッセージ交換を表現するアクティビティを含むワークフローとして指定される[27]（例えば、Webサービス振り付け記述言語（WS-CDL）とLet's Dance [10]）
- 相互接続されたインターフェースモデリング：振り付けのロジックは、参加者が果たす役割（つまり、期待されるメッセージング動作）を通じて参加者間で分割されます。役割は、メッセージフロー、チャネル、または同等の構成要素を使用して接続されます[28]（これは、たとえばBPEL4Chor [11]の場合です）
振付に関する研究プロジェクト
サービス振り付けをテーマにした活発な研究プロジェクトがいくつかあります。
- CHOReVOLUTION: 未来のインターネットのための動的かつ安全な振り付けの自動合成
- CRC: 信頼性と効率性に優れた通信ソフトウェアの振り付け
- SwarmESB - 軽量でオープンソースの、Node.js 用の ESB またはメッセージ ハブ
- PrivateSKY - 高度なデータ保護機能を備えたローカルクラウドプラットフォームの官民パートナーシップによる実験的開発
参照
- 振り付けプログラミング- プログラムが振り付けであるプログラミングパラダイム。
- BPEL - ビジネスプロセス実行言語、OASIS 標準
- 実行可能な振り付け
- サービス構成の原則
- Webサービス振付記述言語- W3Cの範囲内で開発された振付を記述するための言語
参考文献
- ^ S-Cube 知識モデル: サービス コレオグラフィー
- ^ クリス・ペルツ: Web サービスのオーケストレーションと振り付け。IEEE Computer (COMPUTER) 36(10):46-52 (2003)
- ^ Jianwen Su、Tevfik Bultan、Xiang Fu、Xiangpeng Zhao: Web サービス振り付けの理論に向けて。WS-FM 2007:1-16
- ^ 「WS振付モデルの概要」。2004年3月24日。 2019年2月16日閲覧。
- ^ Arellanes, Damian; Lau, Kung-Kiu (2017). 「階層的サービス構成のための外因性コネクタ」(PDF) . 2017 IEEE 10th Conference on Service-Oriented Computing and Applications (SOCA) . 金沢: IEEE. pp. 125–132. doi :10.1109/SOCA.2017.25. ISBN 9781538613269. S2CID 31211787。
- ^ Hongli Yang、Xiangpeng Zhao、Chao Cai、Zongyan Qiu：「振り付けとオーケストレーションと例外処理およびファイナライズ/補償の関係の調査」FORTE 2007:81-96
- ^ Howard Foster、Sebastián Uchitel、Jeff Magee、Jeff Kramer: Web サービス振付における義務のモデルベース分析。AICT/ICIW 2006:149
- ^ アシュリー・マクニール：プロトコル契約と振り付けされたマルチパーティコラボレーションへの応用。サービス指向コンピューティングとアプリケーション第 4 巻、第 2 号、109-136 (2010)
- ^ ab Jack Vaughan: BPMN 2.0 は BPM 振り付けを扱う記法を追加します。SearchSOA.com、2009 年 10 月 22 日
- ^ abc ヨハネス・マリア・ザハ、アリスター・P・バロス、マーロン・デュマ、アーサー・HM・テル・ホフステード：「レッツ・ダンス：サービス行動モデリングのための言語」OTMカンファレンス2006：145-162
- ^ abc Gero Decker、Oliver Kopp、Frank Leymann、Mathias Weske : BPEL4Chor: 振り付けモデリングのための BPEL の拡張。ICWS 2007:296-303
- ^ 「Chorプログラミング言語」。
- ^ Carbone, Marco; Montesi, Fabrizio (2013).設計によるデッドロックフリー: マルチパーティ非同期グローバルプログラミング。doi :10.1145 / 2429069.2429101。
- ^ Gero Decker、Mathias Weske : 相互作用ペトリネットにおけるローカル強制可能性。BPM 2007:305-319
- ^ カルステン・シュミット：オープンワークフローネットの制御可能性。EMISA 2005：236-249
- ^ Nadia Busi、Roberto Gorrieri、Claudio Guidi、Roberto Lucchi、Gianluigi Zavattaro: システム設計のための振り付けとオーケストレーションの適合性。コーディネート 2006:63-81
- ^ Tevfik Bultan、Jianwen Su、Xiang Fu: Web サービスの会話の分析。IEEE Internet Computing (INTERNET) 10(1):18-25 (2006)
- ^ Michele Mancioppi、Manuel Carro、Willem-Jan van den Heuvel、Mike P. Papazoglou: サービス ネットワークのための健全なマルチパーティ ビジネス プロトコル。 ICSOC 2008:302-316
- ^ ab Adam Barker、Christopher D. Walton、David Robertson: Choreographing Web Services。IEEE Transactions on Services Computing、第 2 巻、第 2 号、152-166 ページ、IEEE Computer Society、2009 年 4 月～6 月
- ^ ShuiGuang Deng、Zhaohui Wu、Mengchu Zhou、Ying Li、Jian Wu: 振付用の Pi-calculus とのモデリング サービスの互換性。 ER 2006:26-39
- ^ Paolo Besana、Adam Barker: サービス振付のための実行可能な計算。OTM カンファレンス 2009:373-380
- ^ Raman Kazhamiakin、Marco Pistore: Web サービス振付の実現可能性条件の分析。FORTE 2006:61-76
- ^ Zongyan Qiu、Xiangpeng Zhao、Chao Cai、Hongli Yang: 振付の理論的基礎に向けて。 WWW 2007:973-982
- ^ W3 の Web サービス振付ワーキング グループ
- ^ 憲章
- ^ Gero Decker、Oliver Kopp、Alistair P. Barros: An Introduction to Service Choreographies (Servicechoreographien - eine Einführung)。 it - 情報技術 (IT) 50(2):122-127 (2008)
- ^ S-Cube 知識モデル: インタラクション振付モデル
- ^ S-Cube 知識モデル: 相互接続されたインターフェース振付モデル
外部リンク
- Web サービス コレオグラフィ記述言語 - WS-Choreography の W3C 仕様
- Webサービス振付記述言語: 入門 -
- Web サービス コレオグラフィ インターフェイス (WSCI) 1.0 - Intalio、Sun、BEA、SAP による仕様。WS-Choreography への入力
- 未来のインターネットのための大規模な振り付け - 欧州委員会 FP7 研究プロジェクト
- 実践的な Web サービス コレオグラフィ - WSCI の動機と説明
- サービス コレオグラフィー - サービス指向システム設計の基礎としてサービス コレオグラフィーの概念を推進するサイト。このサイトでは、WSCI 上でコレオグラフィーをモデル化するための言語である Let's Dance についても説明しています。
- Web サービス振付記述言語バージョン 1.0
- W3C Web サービス振付ワーキンググループ
- Webサービスの形式モデリング
- コミュニケーション中心の並行プログラミングの理論的基礎
- 振付の理論的基礎に向けて
- 振り付けの真髄を探る
