状態不変式を作成する - UML 2.0

このトピックでは、状態不変式の作成方法について説明します。

状態不変式を OCL コメントとして作成するには：

UML 2.0 シーケンス図の [ツールパレット] で、状態不変式 を選択します。
作成先のライフラインまたは実行仕様をクリックします。
ヒント： あるいは、ライフラインまたは実行仕様のコンテキストメニューから [追加｜状態不変式] コマンドを選択します。
状態不変式の オブジェクトインスペクタ で、全般ノードを選択します。
[不変式の種類] フィールドで、ドロップダウンリストから OCL 式 を選択します。状態不変式のダイアグラム要素の形が、中かっこ（{ }）に変わります。
オブジェクトインスペクタ に追加される [OCL 不変式] ノードで、言語ドロップダウンリストからコメントの言語を選択します。選択肢は [OCL] と [テキスト] です。
テキストを入力し、変更を適用します。

状態不変式を状態に接続する

ダイアグラムの ツールパレット で、状態不変式 を選択します。
作成先のライフラインまたは実行仕様をクリックします。
状態不変式の オブジェクトインスペクタ で、全般ノードを選択します。
不変式の種類 フィールドで、ドロップダウンリストから 状態/領域 を選択します。
状態/領域 フィールドで、選択ボタンをクリックします。
状態/領域の選択 ダイアログボックスで、追加ボタンを使って、目的の状態または領域をモデルから選択します。
終了したら、［OK］をクリックします。
ヒント： あるいは、状態または領域の名前を入力します。状態または領域が別のパッケージに属している場合は、その完全修飾名を指定してください。

関連項目