<< 目次を表示 >>
ページ位置: UMLのモデリング > UMLの要素 > 振る舞い図に関連する要素 > 状態不変式/継続 >
状態不変式とはライフラインに適用される条件であり、ライフラインが存在するために必ず満たさなければならない条件です。 要素を作成するには、ツールボックスの状態不変式/継続要素をダイアグラム内にドロップしてください。
状態不変式は下のダイアグラムのように表示されます。
なお、状態不変式をライフラインの上に配置した場合にライフラインを左右に移動すると、状態不変式も左右に移動します。
参照:
