シーケンス図
概要
オブジェクト間の相互的な処理の流れを見える化するために、シーケンス図を利用できます。
このページでは、シーケンス図を利用するための操作について、次の順で説明します。
- シーケンス図を配置する
- ライフラインを定義する
- メッセージを定義する
- 複合フラグメントを定義する
- 相互作用の利用を定義する
また、ユーザーのモデリングを支援するために、次の機能を提供し ています。
これらについても、順に説明します。
- モデルを検証する
- 表示内容を設定する
シーケンス図を配置する
シーケンス図を配置するには、以下の手順で行います。
- モデルナビゲータにてパッケージを選択し、コンテキストメニューの [モデルの追加] > [シーケンス図] をクリックします。
- 選択したパッケージの子要素としてシーケンス図が配置されます。
ライフラインを定義する
ライフラインを定義するには、以下の手順で行います。
- モデルナビゲータで既存のクラスを選択し、 シーケンス図にドラッグ&ドロップします。
- 表示されているシーケンス図に、選択したクラスを型に持つライフラインが新規作成されます。
シーケンス図ではツールボックスで表示している次の要素を追加できます。
アイコン | 名称 |
---|---|
ライフライン | |
複合フラグメント | |
相互作用の利用 | |
インタラクションノート | |
破棄 |
型が未設定のライフラインを定義する
シーケンス図にツールボックスから [ライフライン] をドラッグ&ドロップすることで、型が未設定のライフラインを作成できます。
ライフラインの型を変更するには、シーケンス図上でライフラインを選択し、コンテキストメニューの [ライフラインの型の変更] をクリックします。
設定できるライフラインの型
ライフラインの型には、次の要素を指定できます。
アイコン | 名称 |
---|---|
クラス | |
インタフェース | |
コンポーネント | |
アクター | |
ブロック |
メッセージを定義する
メッセージを定義するには、以下の手順で行います。
- シーケンス図で、ライフラインにマウスオーバーすると黒塗りの三角のアイコンが表示されます。
- 表示されたアイコンを対象となるライフラインに向かってドラッグ&ドロップします。
- ファインダが表示されたら、メッセージに対応する操作を選択して、 [OK] ボタンを押下します。
- 対象となるライフラインへの同期メッセージが作成されます。
シーケンス図ではサブツールボックスで表示している次の要素を追加できます。
アイコン | 名称 |
---|---|
同期メッセージ | |
非同期メッセージ | |
応答メッセージ | |
生成メッセージ | |
破棄メッセージ |
これらのメッセージを追加するときは、サブツールボックスで追加したいメッセージの種類を選択してからメッセージを追加します。
シーケンス図上でメッセージの操作をテキスト入力すると、メッセージの操作の表記フォーマットに従ってテキスト解析されます。
もちろん、各フィールド値を変更すれば図上のテキストに反映されます。
メッセージのテキスト表記フォーマットと各フィールド値との対応関係
メッセージは以下のフォーマット従ってテキスト表示・解析されます。
- 要求メッセージ(応答メッセージ以外)の場合
<要求メッセージ> ::= <メッセージ名> ['('[<引数の一覧>] ')'] [':'<戻り値の型>]
- 補足
<引数の一覧>
は以下のフォーマットで表示されます。<引数の一覧> ::= <引数> [','<引数>]*
<引数> ::= [<引数名> '='] <引数の値> | '-'
- 例
メッセージ名:Drive
引数1の名前:m
、値:100
引数2の名前:s
、値:200
戻り値の型:boolean
の場合、以下のテキスト表示になります。
Drive(m=100, s=200) : boolean
- 注意
<戻り値の型>
は設定時には無視されます。
- 補足
- 応答メッセージの場合
<応答メッセージ> ::= [<戻り値の変数名> '='] <メッセージ名>['(' [<引数の一覧>] ')'] [':' <戻り値の値>]
- 補足
<引数の一覧>
は以下のフォーマットで表示されます。<引数の一覧> ::= <引数> [','<引数>]*
<引数> ::= [<引数の変数名> '='] <引数名> [':' <引数の値>]
- 例
戻り値の変数名:return_value
、戻り値の値:true
メッセージ名:Drive
引数1の変数名:miles
、引数名:m
、値:200
引数2の変数名:speed
、引数名:s
、値:100
の場合、以下のテキスト表示になります。
return_value=Drive(miles=m:200, speed:s=100) : true
- 補足
メッセージに対応する操作を変更するには、メッセージを選択し、コンテキストメニューの [メッセージの型の変更] をクリックします。
複合フラグメントを定義する
複合フラグメントを定義するには、以下の手順で行います。
- ツールボックスで複合フラグメントを選択し、 シーケンス図にドラッグ&ドロップします。
- 追加した複合フラグメントの左上をダブルクリックすると、種別の一覧がドロップダウンリストで表示され、追加する複合フラグメントの種類を選択できます。
複合フラグメントには、次の種類を設定できます。
種類 | 意味 |
---|---|
alt | Alternative |
opt | Option |
loop | Loop |
par | Parallel |
break | Break |
neg | negation |
strict | strict |
seq | seq |
ignore | ignore |
consider | Consider |
assert | Assert |
相互作用の利用を定義する
相互作用の利用を定義するには、以下の手順で行います。
- ツールボックスで相互作用の利用を選択し、 シーケンス図にドラッグ&ドロップします。
- 追加した相互作用の利用を選択し、コンテキストメニューの[相互作用の関連付け]で参照するシーケンス図を関連付けます。
相互作用の利用に関連付けられたシーケンス図にジャンプするには、相互作用の利用を選択し、コンテキストメニューの[関連付けられた相互作用を表示]をクリックします。
モデルを検証する
シーケンス図で検証される内容は、次の通りです。
- メッセージに対応づけた操作が、送信先のライフラインの型で利用できる操作か
例えば、次のような変更を行った結果、メッセージに対応づけた操作と送信先のライフラインの型の間で生じた不整合を検出できます。
- メッセージに対応づける操作に、送信先のライフラインの型となるクラスの継承元クラスで定義した操作を指定します。
- クラス図などで、送信先のライフラインの型となるクラスの継承関係を削除します。
モデルを検証するには、以下の手順で行います。
- リボンから [UML] > [検証] > [整合チェック] を実行します。
- シーケンス図で配置したメッセージに不整合が検出された場合は、エラー表示されます。
リボンの [ホーム] > [モデル] > [エラーチェック] ボタンをクリックすると、標準の検証に加え、全てのモデルに対し検証が行われます。
表示内容を設定する
モデルを変更することなく、関心のある情報のみをシーケンス図に表示できます。
要求メッセージに対応する引数の表示内容を設定するには、以下の手順で行います。