コンテンツ
ビジネスコンピューティングにおけるサービスコレオグラフィーは、複数のパートナーサービス間の相互作用プロトコル[説明が必要]がグローバルな観点から定義されるサービス構成の一形態です。 [ 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 ]
サービス振付言語に関する学術的な提案には次のものがあります。
さらに、以下に基づいて、いくつかのサービス振り付け形式が提案されています。
- ペトリネット、例えばインタラクションペトリネット[ 14 ]やオープンワークフローネット[ 15 ]
- 有限状態機械[ 16 ]
- ガードオートマタ[ 17 ]
- 時間制限オートマトン[ 18 ]
- 円周率[ 19 ] [ 20 ] [ 21 ]
- プロセス計算[ 22 ] [ 23 ]
Webサービスの振り付け
[編集]Web サービス コレオグラフィー( WS-Choreography ) は、 W3CによるXMLベースのビジネス プロセス モデリング言語を定義する仕様です。この仕様では、 Web サービス参加者の連携プロトコルが記述されます。このプロトコルでは、サービスがピアとして機能し、対話は長期間にわたってステートフルに維持されます。(オーケストレーションは、非常に似ていますが、異なる意味を持つ別の用語です。)
振り付けを実現するための主な取り組みであった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の4社は、Web Services Choreography Interface (WSCI)という共同仕様を発表しました。この仕様は、2002年8月にW3Cに文書として提出されました。W3Cはその後、Webサービスアクティビティ内にWeb Services Choreographyワーキンググループという新しいワーキンググループを結成しました。WSCI仕様は、2005年11月9日にWS-CDLバージョン1.0の勧告候補を公開したWeb Services Choreographyワーキンググループへの主要なインプットの一つです。 [3] 。XLang、WSFL、WSCIは、標準化団体や企業からサポートされなくなりました。BPELがXlangに、WSFLがWSCIに取って代わりました。 [ 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 第10回サービス指向コンピューティングおよびアプリケーション会議 (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年)
- ^ a b Jack Vaughan: BPMN 2.0 は BPM の振り付けを扱う記法を追加します。SearchSOA.com、2009年10月22日
- ^ a b c ヨハネス・マリア・ザハ、アリスター・P・バロス、マーロン・デュマ、アーサー・HM・テル・ホフステード:「レッツ・ダンス:サービス行動モデリングのための言語」OTMカンファレンス2006:145-162
- ^ a b c 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
- ^ a b Adam Barker、Christopher D. Walton、David Robertson:「Webサービスの振付」 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
- ^ パオロ・ベサナ、アダム・バーカー:「サービス振付のための実行可能な計算法」OTMカンファレンス2009:373-380
- ^ ラマン・カザミアキン、マルコ・ピストア:「 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 Service Choreography Interface (WSCI) 1.0 - Intalio、Sun、BEA、SAP による仕様。WS-Choreography への入力。
- 未来のインターネットのための大規模振り付け- 欧州委員会 FP7 研究プロジェクト
- 実践的なWebサービス振付- WSCIの動機と説明
- サービスコレオグラフィー- サービス指向システム設計の基盤としてサービスコレオグラフィーの概念を推進するサイト。また、WSCI上でコレオグラフィーをモデリングするための言語「Let's Dance」についても解説しています。
- Web サービス振付記述言語バージョン 1.0
- W3C Webサービス振付ワーキンググループ
- Webサービスの形式モデリング
- コミュニケーション中心の並行プログラミングの理論的基礎
- 振付の理論的基礎に向けて
- 振り付けの真髄を探る
サービス振り付け
ビジネスコンピューティングにおけるサービスコレオグラフィは、複数のパートナーサービス間の相互作用プロトコル(説明が必要)がグローバルな観点から定義されるサービス構成の一形態である。 [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によるXMLベースのビジネス プロセス モデリング言語を定義する仕様です。この仕様では、 Web サービス参加者の連携プロトコルが記述されます。このプロトコルでは、サービスがピアとして機能し、対話は長期間にわたってステートフルに維持されます。(オーケストレーションは、非常に似ていますが、異なる意味を持つ別の用語です。)
振り付けを実現するための主な取り組みであった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ワーキンググループへの主要なインプットの一つです[3]。XLang、WSFL、WSCIは、現在、どの標準化団体や企業からもサポートされていません。XlangはBPELに、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 第10回サービス指向コンピューティングおよびアプリケーション会議 (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
- ^ ハワード・フォスター、セバスチャン・ウチテル、ジェフ・マギー、ジェフ・クレイマー:「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
- ^ パオロ・ベサナ、アダム・バーカー:「サービス振付のための実行可能な計算法」OTMカンファレンス2009:373-380
- ^ ラマン・カザミアキン、マルコ・ピストア:「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 Service Choreography Interface (WSCI) 1.0 - Intalio、Sun、BEA、SAP による仕様。WS-Choreography への入力。
- 未来のインターネットのための大規模振り付け - 欧州委員会 FP7 研究プロジェクト
- 実践的なWebサービス振付 - WSCIの動機と説明
- サービスコレオグラフィー - サービス指向システム設計の基盤としてサービスコレオグラフィーの概念を推進するサイト。また、WSCI上でコレオグラフィーをモデリングするための言語「Let's Dance」についても解説しています。
- Web サービス振付記述言語バージョン 1.0
- W3C Webサービス振付ワーキンググループ
- Webサービスの形式モデリング
- コミュニケーション中心の並行プログラミングの理論的基礎
- 振付の理論的基礎に向けて
- 振り付けの真髄を探る