メッセージシーケンスチャート

メッセージシーケンスチャート(またはMSC ) は、国際電気通信連合によって標準化されたSDLファミリの相互作用図です。

MSC (メッセージシーケンスチャート) を推奨する目的は、メッセージ交換によるシステムコンポーネントとその環境の通信動作の仕様と説明のためのトレース言語を提供することです。MSC では、特にグラフィカルな表現で通信動作が非常に直感的で透過的な方法で示されるため、MSC 言語は習得、使用、解釈が容易です。他の言語と組み合わせて、システムの仕様、設計、シミュレーション、テスト、およびドキュメント化の方法論をサポートするために使用できます。

歴史

MSC 規格の最初のバージョンは 1993 年 3 月 12 日にリリースされました。

1996年版では、参照、順序付け、インライン表現の概念が追加され、MSCのシーケンスを表現する方法である HMSC ^[1] ( High -level M essage Sequence C harts)が導入されました。

MSC 2000バージョン^[2]では、オブジェクト指向が追加され、図表でのデータと時間の使用が改良され、リモートメソッド呼び出しの概念が追加されました。^[3]

最新バージョンは2011年2月に公開されました。

MSC のシンボル

既存のシンボルは次のとおりです。

MSC のヘッド、ライフライン、および終了: 上部にボックスがあり、下部にボックスまたは十字がある垂直線。
インスタンスの作成: 新しく作成されたインスタンスへの水平の破線矢印。
MSC における動的プロセス作成
メッセージ交換: 水平矢印。
制御フロー: 'call' プレフィックスが付いた水平矢印、応答記号の破線矢印、その間のメソッドおよびサスペンション記号。
MSC での通話操作
タイマー: 開始、キャンセル、タイムアウト。
時間間隔: 破線の垂直矢印による相対的および絶対的。
MSC における時間制約
条件: 通常、基礎となるステートマシンの状態を表すために使用されます。
アクション: ボックス。
インライン式: 代替合成、順次合成、例外、オプション領域、並列合成、反復 (ループ)。
参照: 別の MSC への参照。
MSC 内の MSC 参照
データコンセプト: ユーザーは任意のデータコンセプトを使用できます。バインディングが定義されていない場合、デフォルトのデータコンセプトは、Z.121 勧告で定義されているSDLのデータコンセプトになります。
コリージョン: 順序付けられていないイベントを記述する二重破線のインスタンスの行。

シンボル拡張

SDL-RTでは以下が導入されました:
- セマフォインスタンス表現。
  MSC への SDL-RT セマフォ拡張
- メッセージを保存するための保存シンボル。

UMLとの比較

UML 2.0シーケンス図は、ITU-T MSC に強く影響を受けています。ただし、歴史的な理由により、デフォルトの基本原則はかなり異なります。

ライフライン

MSC では、垂直線は自律実行エンティティです。通常、これらは並列で実行されているステートマシンを表します。ステートマシンは同じコンピューター上にある必要はありません。
シーケンス図では、垂直線は通常オブジェクトです。オブジェクトはアクティブ (独自の実行スレッド内) またはパッシブ (アクティブオブジェクトの実行コンテキスト内) になります。

矢印

MSC では、矢印は通常、あるエンティティから別のエンティティに送信される非同期メッセージです。メッセージが送信されると、送信側エンティティは実行を再開します。
シーケンス図では、矢印は通常、クラスの操作呼び出しとして理解されます。したがって、これは同期的であり、呼び出しエンティティは操作が返されるまでハングします。^{[引用が必要]}

MSCはUMLの相互作用図の候補として検討されてきたと言われています。 ^[4]

しかし、エリクソンなどのMSC支持者は、大規模または複雑なシステムのモデリングにはMSCの方がUML 2.0よりも優れていると考えています。^[5]

ライブシーケンスチャート

David Harel 氏は、 MSC には次のような欠点があると指摘しました。

MSCは、いくつかの動作要件を捉えることが不可能になる弱い部分順序セマンティクスを提案している。
MSC要件と実行可能仕様の関係は明確ではない。

MSC標準の拡張としてライブシーケンスチャート（LSC）を提案した。^[6]^[7]^[8]

参照

PSCプロパティシーケンスチャートは、MSC ^[9]またはシーケンス図でプロパティを記述する方法です。
SDL仕様および記述言語、MSC 関連の ITU-T 言語。
UML の相互作用図。

参考文献

^ "HMSC". sdl-forum.org . 2009年9月19日閲覧。
^ Øystein Haugen. 「MSC 2000」（PDF） . Ericsson . 2011年6月7日時点のオリジナル（PDF）からアーカイブ。2009年9月19日閲覧。
^ 「MSC 96 と比較した MSC 2000 の新機能」 sdl-forum.org 。 2009 年 9 月 19 日閲覧。
^ Ekkart Rudolph、Jens Grabowski、Peter Graubmann (1999)。「UMLシーケンス図とMSCの調和に向けて」ゲッティンゲン大学。 2014年8月25日閲覧。
^ Øystein Haugen (2000 年 6 月)。「UML 2.0 vs. SDL/MSC – Ericsson の立場表明」( PDF)。Ericsson。2009年 9 月 19 日閲覧。
^ David Harel (2003-04-08). 「メッセージシーケンスチャート」(PDF)。2006-08-26 にオリジナル(PDF)からアーカイブ。2009-09-20に取得。
^ David Harel (2005-02-22). 「LSC: メッセージシーケンスチャートに命を吹き込む」.システム設計における形式手法. 19 : 45–80. doi :10.1023/A:1011227529550. S2CID 1551133.
^ David Harel (2002). 「実行可能シーケンスチャートの複数のインスタンスとシンボリック変数」ACM SIGPLAN Notices . 37 (11): 83–100. CiteSeerX 10.1.1.20.5984 . doi :10.1145/583854.582429.
^ エマニュエル・ゴーディン、エリック・ブルネル (2013)。SDL 2013: モデル駆動型ディペンダビリティエンジニアリング。コンピュータサイエンスの講義ノート。第7916巻。シュプリンガー。pp. 19–35。doi : 10.1007 /978-3-642-38911-5_2。ISBN 978-3-642-38910-8。

外部リンク

ITU-T勧告Z.120メッセージシーケンスチャート（MSC）

[1] "HMSC". sdl-forum.org . 2009年9月19日閲覧。

[2] Øystein Haugen. 「MSC 2000」（PDF） . Ericsson . 2011年6月7日時点のオリジナル（PDF）からアーカイブ。2009年9月19日閲覧。

[3] 「MSC 96 と比較した MSC 2000 の新機能」 sdl-forum.org 。 2009 年 9 月 19 日閲覧。

[4] Ekkart Rudolph、Jens Grabowski、Peter Graubmann (1999)。「UMLシーケンス図とMSCの調和に向けて」ゲッティンゲン大学。 2014年8月25日閲覧。

[5] Øystein Haugen (2000 年 6 月)。「UML 2.0 vs. SDL/MSC – Ericsson の立場表明」( PDF)。Ericsson。2009年 9 月 19 日閲覧。

[6] David Harel (2003-04-08). 「メッセージシーケンスチャート」(PDF)。2006-08-26 にオリジナル(PDF)からアーカイブ。2009-09-20に取得。

[7] David Harel (2005-02-22). 「LSC: メッセージシーケンスチャートに命を吹き込む」.システム設計における形式手法. 19 : 45–80. doi :10.1023/A:1011227529550. S2CID 1551133.

[8] David Harel (2002). 「実行可能シーケンスチャートの複数のインスタンスとシンボリック変数」ACM SIGPLAN Notices . 37 (11): 83–100. CiteSeerX 10.1.1.20.5984 . doi :10.1145/583854.582429.

[9] エマニュエル・ゴーディン、エリック・ブルネル (2013)。SDL 2013: モデル駆動型ディペンダビリティエンジニアリング。コンピュータサイエンスの講義ノート。第7916巻。シュプリンガー。pp. 19–35。doi : 10.1007 /978-3-642-38911-5_2。ISBN 978-3-642-38910-8。