- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- Synthesis(Jpn) へ行く。
- 1 (2014-06-03 (火) 17:39:16)
- 2 (2014-06-04 (水) 10:05:52)
- 3 (2014-06-04 (水) 13:13:56)
- 4 (2014-06-04 (水) 16:12:45)
コミュニケーション図から状態機械の合成 †
合成手順は以下のようになります．
- クラス図の作成
- コミュニケーション図の作成
- 状態機械の合成
例題 †
コレオグラフィを右図に示します． 右図はUML1.xのコラボレーション図の記法により書かれています． *1
この例は，BPEL-WS 2.0仕様書を元に T. Bultan等によって作成された例を一部改変しています．
この例では，Customer, Vendor, Shipping, Invoicing, Scheduling の5つのサービスが存在します．VendorはCustomerからorderを受け取ると，Shipping, Invoicing, Schedulingの各サービスに指令を出し，それらからの返答をまとめてCustomerにorderReplyとして返信します．
Shippingへの指令はshipReqで，返答はshipInfoです．
Invoicingへの指令はproductInfoとshipTypeで，返答はinvoiceです．ここで，productInfoはorderを受けるとすぐに送信しますが，shipTypeはshipTypeはshipReqを送信した後でないと送信してはいけません．InvoicingはproductInfoとshipTypeを受信した後に，何らかの処理を行い，invoiceを返信します．
Schedulingへの指令はproductScheduleとshipScheduleです．ここで，VendorはproductScheduleについてはorderを受けるとすぐに送信しますが，shipScheduleはshipInfoを受信した後に送信します．
VendorはshipInfoとinvoiceを受信して，shipScheduleを送信した後にorderReplyをCustomerに送信します．
クラス図の作成 †
RSA上に，UMLプロジェクトを作成します．
次に，クラス図を作成します．この例では，Customer, Vendor, Shipping, Invoicing, Schedulingのサービスが存在しますので，それらのクラスを作成します．
コミュニケーション図の作成 †
コミュニケーション図を作成し，作成したクラスをコミュニケーション図上にライフラインとして配置します．
通信が行われるライフライン間にメッセージ路を引きます．
メッセージを追加します．
RSAではメッセージの種類として，
- 非同期呼び出し(Asynchronous Call)
- 非同期シグナル(Asynchronous Signal)
- 同期呼び出し(Synchronous Call)
の三種類を選ぶことができます．CSCB Toolsでは，非同期呼び出しと同期呼び出しの2種類をサポートしています． ここでは，例の全てのメッセージが非同期呼び出しであるとします． メッセージを追加したコミュニケーション図は下図のようになります．
メッセージ間の順序関係を定義します．
- コミュニケーション図ではコラボレーション図にあった先行子が無くなっています．
- シーケンス番号がありますが，例のような順序を表すことはできません．
CSCB Toolsではメッセージの「文書」に先行するメッセージを記述することにします． 例えば，orderReplyにはshipInfo, invoice, shipScheduleが先行するので，orderReplyの文書に下図のような記述を追加します．
これで，準備完了です．
状態機械の合成 †
プロジェクトエクスプローラーで状態機械を合成するパッケージを右クリックし，メニューから「Create StateMachine?」-> 「create State Machine all by CSCB」を選択すると，全てのサービスの状態機械が合成されいます．
ちなみに，「create State Machine by CSCB」を選択すると，合成するサービスを選択することができます． また，「... by projection」を選択すると射影法によって状態機械を合成します．
特に問題が無ければ，状態機械が合成され，モデルに追加されます． ちょっとわかりづらいですが，上の図のPurchaseOrder?プロジェクトのBlanc Packageにはクラス図とコミュニケーション図しかありませんが，下図では各サービスの状態機械が追加されています．
- Customerの状態機械
初期疑似状態から状態V1への遷移において，操作"send order to vendor"(vendorにメッセージorderを送信する)を実行し，事象orderReply_receiveの生起により終了状態に遷移しています．
- Vendorの状態機械
Vendorはメッセージorderの受信事象order_receiveが生起すると，3つのプロセスを並行して実行します．これらは状態V2の3つの領域にある状態機械で表現されます．
最初の領域では，shippingにshipReqを送信し，shipInfoを受信すると，さらに2つのプロセスに分かれます．一つ目のプロセスではschedulingにshipScheduleを送信します．もう一つのプロセスではinvoicingにshipTypeを送信し，invoiceを受信します．これら2つのプロセスが終了するとcustomerにorderReplyを送信します．
2つめの領域では，schedulingにproductScheduleを送信します．
3つめの領域では，invoicingにproductInfoを送信します．
3つの領域の実行が終了すると，終了状態に遷移します．
- Shippingの状態機械
ShippingはshipReqを受信すると，shipInfoをvendorに返信します．
