シーケンス図

シーケンス図は、クラスやオブジェクト間のやりとりを時間軸に沿って表現する図です。

image

シーケンス図の作成

シーケンス図は以下の方法で追加します。

  • メニューバーの [図] から [シーケンス図] をクリックして作成する

  • 「プロジェクトビュー」の [構造ツリー] から、コンテキストメニューで作成する

  • 相互作用の利用の編集 でシーケンス図を作成する


シーケンス図の図要素

image
各アイコンの説明

種類

アイコン

説明

選択

select_icon

ダイアグラムエディタ上の基本操作を実行するモードです。

ライフライン

object_wl_icon

ライフラインを追加します。

メッセージ

msg_icon

メッセージを追加します。

非同期メッセージ

asyn_msg_icon

非同期メッセージを追加します。

Createメッセージ

create_msg_icon

Createメッセージを追加します。

Deleteメッセージ

destroy_msg_icon

Deleteメッセージを追加します。

Replyメッセージ

return_msg_icon

Replyメッセージを追加します。

停止

termination_icon

停止を追加します。

持続時間制約

duration_constraint_icon

持続時間制約を追加します。

時間制約

time_constraint_icon

時間制約を追加します。持続時間制約アイコンのプルダウンから選択します。

複合フラグメント

combinedfragment_icon

複合フラグメントを追加します。プルダウンからalt、assert、break、consider、critical、ignore、loop、neg、opt、par、seq、strictを選択できます。

相互作用の利用

interactionuse_icon

相互作用の利用を追加します。

状態不変式

stateinvariant_icon

状態不変式を追加します。

その他は 共通の図要素 をご覧ください。


ライフライン

ライフラインの作成

ライフラインは以下の方法で作成します。

  • シーケンス図上をダブルクリックする

  • ツールバーの [ライフライン] object_wl_icon を選択して、図上をクリックする

  • ブロックやアクターを、[構造ツリー]から図へドラッグ&ドロップする

image

ライフラインの編集

ライフライン名/型名の表示

以下の方法で、ライフライン名/型名について表示/非表示を選択します。

  • コンテキストメニューの [名前の表示] を選択する

  • コンテキストメニューの [型前の表示] を選択する

名前を非表示にした場合

image

ライフラインの長さ調整

以下の方法で、ライフライン長さを調整します。

  • シーケンス図上でライフラインの先端をドラッグ&ドロップする

  • ライフラインのコンテキストメニューの[長さ調整]から、デフォルトの長さに変更する

  • シーケンス図コンテキストメニュー[ライフラインの長さ調整]から、[デフォルトの長さ]/[最短のライフラインの長さ]/[最長のライフラインの長さ]に変更する。

実行仕様の長さ調整

以下の方法で、実行仕様の長さを調整します。

  • シーケンス図上で実行仕様の先端をドラッグ&ドロップする

  • 実行仕様のコンテキストメニューの[実行仕様の長さ調整]から、デフォルトの長さに変更します。

  • シーケンス図コンテキストメニュー[実行仕様の長さ調整]から、デフォルトの長さに変更します。


同期メッセージ

同期メッセージの作成

同期メッセージは以下の方法で作成します。

ツールパレットから作成する場合

① ツールバーの [メッセージ] msg_icon を選択する ② メッセージを送信するライフラインをクリックする ③ メッセージを受信するライフラインをクリックする

ドロー・サジェストから作成する場合

  • ドローサジェストで [同期メッセージ] を選択して作成する

image

同期メッセージの編集

同期メッセージ名の編集

同期メッセージ名は以下の方法で編集します。

  • ダイアグラムエディタの図要素の名前をダブルクリックして編集する

  • プロパティビューの[ベース]タブから編集する

メッセージパラメタ/パラメタの型/パラメタの方向種別の表示/非表示

メッセージのコンテキストメニューの[メッセージパラメタの表示]、[メッセージパラメタの型の表示]、[メッセージのパラメタの方向種別の表示]から、それぞれの表示/非表示を選択します。

ステレオタイプの追加

ステレオタイプは以下の方法で追加します。

  • コンテキストメニューから [ステレオタイプの追加] を選択する

  • プロパティビューの [ステレオタイプ] タブから追加する

制約の追加

制約は以下の方法で追加します。

  • コンテキストメニューから [制約の追加] を選択する

  • プロパティビューの [制約] タブから追加する

制約の表示

制約の表示/非表示は以下の方法で選択します。

  • コンテキストメニューから [制約の表示] を選択する

同期メッセージの送信者/受信者の変更

同期メッセージ送受信する実行仕様を別のライフラインにドラッグ&ドロップすることで、同期メッセージを送受信するライフラインを変更します。(一部制限があります)


非同期メッセージ

非同期メッセージの作成

非同期メッセージは以下の方法で作成します。

ツールパレットから作成する場合

① ツールバーの [非同期メッセージ] asyn_msg_icon を選択する

② メッセージを送信するライフラインをクリックする

③ メッセージを受信するライフラインをすする

ドロー・サジェストから作成する場合

  • ドローサジェストで [非同期メッセージ] を選択して作成する

image

非同期メッセージの編集

詳細は 同期メッセージ名の編集 をご覧ください。


出現メッセージ

出現メッセージの作成

出現メッセージは以下の方法で作成します。

① ツールバーの [メッセージ] msg_icon、又は [非同期メッセージ] asyn_msg_icon を選択する

② ライフライン以外とメッセージを受信するライフラインを順にクリックする

image

消失メッセージ

消失メッセージの作成

消失メッセージは以下の方法で作成します。

① ツールバーの [メッセージ] msg_icon、又は [非同期メッセージ] asyn_msg_icon を選択する

② メッセージを送信するライフラインとライフライン以外を順にクリックする

image

ゲート

ゲートの作成

ゲートは以下の方法で作成します。

① ツールバーの [メッセージ] msg_icon、又は [非同期メッセージ] asyn_msg_icon を選択する

② フレームとメッセージを受信するライフラインを順にクリックする

image

Createメッセージ

Createメッセージの作成

Createメッセージは以下の方法で作成します。

① ツールバーの [Createメッセージ] create_msg_icon 選択する

② メッセージを送信するライフラインとメッセージを受信するライフラインを順にクリックする

image

Createメッセージの編集

詳細は 同期メッセージ名の編集 をご覧ください。


Deleteメッセージ

Deleteメッセージの作成

Deleteメッセージは以下の方法で作成します。

① ツールバーの [Deleteメッセージ] destroy_msg_icon 選択する

② メッセージを送信するライフラインとメッセージを受信するライフラインを順にクリックする

image

Deleteメッセージの編集

詳細は 同期メッセージ名の編集 をご覧ください。


Replyメッセージ

Replyメッセージの作成

Replyメッセージは以下の方法で作成します。実行仕様が非表示の時は、プロパティビューのベースタブの実行仕様の表示をONにしてください。

  • ツールバーの [Replyメッセージ] return_msg_icon 選択し、Replyメッセージを送信するメッセージの実行仕様をクリックする

image

注釈

メッセージのコンテキストメニュー"Replyメッセージの生成"や、またはツールパレットの [Replyメッセージ自動生成モード] auto_return_messageicon をONにした状態でメッセージを作成することで、Replyメッセージを作成することもできます。

Replyメッセージの編集

詳細は 同期メッセージ名の編集 をご覧ください。


停止

停止の作成

停止は以下の方法で作成します。

  • ツールバーの [停止] termination_icon を選択し、停止を設定するライフラインをクリックする

image

持続時間制約

持続時間制約の作成

持続時間制約は以下の方法で作成します。

① ツールバーの [持続時間制約] duration_constraint_icon を選択する

② 持続時間制約の先頭に設定するメッセージをクリックしてから、末尾とするメッセージをクリックする

image

③ 時間の範囲を指定する

image

時間制約

時間制約の作成

時間制約は以下の方法で作成します。

① ツールバーの [時間制約] time_constraint_icon を選択する

② 時間制約を作成するメッセージをクリックする

image

③ 時間の範囲を指定する

image

複合フラグメント

複合フラグメントの作成

複合フラグメントは以下の方法で作成します。

  • ツールバーの [複合フラグメント] combinedfragment_icon を選択し、複合フラグメントを設定するライフライン上でドラッグする

image

複合フラグメントの編集

複合フラグメント名の変更

複合フラグメント名は以下の方法で編集します。

  • 複合フラグメントの左上のaltにカーソルを合わせ、ダブルクリックして編集する

  • プロパティビューの[ベース]タブから編集する

オペランドの追加

  • コンテキストメニューから[オペランドの追加]をクリックし、入力されたオペランドの[Guard]をダブルクリックしてガードを編集する

  • プロパティビューの [オペランド] タブから追加する

image

相互作用の利用

相互作用の利用の作成

相互作用の利用は以下の方法で作成します。

  • ツールバーの [相互作用の利用] interactionuse_icon を選択、相互作用の利用を設定するライフライン上をドラッグする

image

相互作用の利用の編集

相互作用の利用名の変更

相互作用の利用名は以下の方法で編集します。

  • ダイアグラムエディタの図要素の名前をダブルクリックして編集する

  • プロパティビューの[ベース]タブから編集する

コンテキストメニューの[名前の表示]から、ライフライン名を表示/非表示を選択します。

シーケンス図を作成する

以下の方法で相互作用の利用からシーケンス図を作成します。

  • 関連するシーケンス図が未設定な相互作用の利用を右クリックし、コンテキストメニューから[シーケンス図を作成する]を選択する

  • 関連するシーケンス図が未設定の相互作用の利用をダブルクリックして作成する

関連するシーケンス図を開く

以下の方法で関連するシーケンス図を開きます。

  • 関連するシーケンス図が設定された相互作用の利用を右クリックして、コンテキストメニューから[図を開く]を選択する

  • 関連するシーケンス図が設定された相互作用の利用を図上でダブルクリックする


状態不変式

状態不変式の作成

状態不変式は以下の方法で作成します。

  • ツールバーの [状態不変式] stateinvariant_icon を選択し、ライフライン上をクリックする

image

状態不変式の編集

状態不変式名の編集

状態不変式名は以下の方法で編集します。

  • ダイアグラムエディタの図要素の名前をダブルクリックして編集する

  • プロパティビューの[ベース]タブから編集する

image