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

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

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

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

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

MSC 2000 バージョン^{[ 2 ]}では、オブジェクト指向が追加され、図におけるデータと時間の使用方法が洗練され、リモート メソッド呼び出しの概念が追加されました。^{[ 3 ]}

最新版は2011年2月に公開されました。

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

• MSCのヘッド、ライフライン、エンド：上部に四角形、下部に四角形または十字形が付いた垂直線。
• インスタンスの作成：新しく作成されたインスタンスへの水平方向の点線矢印。

  

• メッセージ交換：水平方向の矢印。
• 制御フロー：水平方向の矢印に「call」という接頭辞が付き、応答記号には破線の矢印、その間にメソッド記号と中断記号が配置されます。

  

• タイマー：開始、キャンセル、タイムアウト。
• 時間間隔：相対時間と絶対時間間隔を、点線の垂直矢印で示します。

  

• 条件：通常、基となるステートマシンの状態を表すために使用されます。
• 動作：箱。
• インライン式：代替合成、逐次合成、例外、オプション領域、並列合成、反復（ループ）。
• 参照: 他の MSC への参照。

  

• データ概念: ユーザーは任意のデータ概念を使用できます。バインディングが未定義の場合、デフォルトのデータ概念は、Z.121勧告で定義されているSDLのものです。
• 共領域：順序付けされていないイベントを表す二重破線のインスタンス線。

• SDL-RTは以下を導入しました：
  • セマフォインスタンスの表現。

    

  • メッセージを保存するための保存アイコン。

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

• ライフライン

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

• 矢印

• MSC（マルチソースコード）において、矢印は通常、あるエンティティから別のエンティティへ送信される非同期メッセージです。メッセージが送信されると、送信側のエンティティは実行を再開します。
• シーケンス図において、矢印は通常、クラスに対する操作呼び出しとして解釈されます。したがって、これは同期的な操作であり、呼び出し元のエンティティは操作が完了するまで待機状態になります。

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

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

デビッド・ハレルは、MSCには次のような欠点があると指摘した。

• MSCは、一部の振る舞いの要件を捉えることが不可能な弱い部分順序意味論を提案しています。
• MSC要件と実行可能仕様の関係は明確ではない。

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

• PSCプロパティシーケンスチャートは、MSC ^{[ 9 ]}またはシーケンス図でプロパティを記述する方法です。
• SDL（仕様記述言語）は、MSC（多国間規格協議会）関連のITU-T言語である。
• UMLにおける相互作用図。

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