状態不変式は、変数の値、属性、および状態などの実行時制約です。
これは、相互作用のカプセルまたはオブジェクトに配置されます。
シーケンス図に状態不変式を追加すると、値または状態を指定できます。
このタスクについて
状態不変式を作成するには、次のようにしてください。
- パレット内で、「状態不変式」をクリックします。
- 相互作用フレーム内で、カバーするライフラインをクリックします。
- 表示されたダイアログ・ボックスで、選択されているライフラインを確認して、「OK」をクリックします。
- 状態不変式の名前を入力して、「OK」をクリックします。
ヒント: 制約を状態不変式に変更するには、ダイアグラム・エディターで制約を右クリックして、
をクリックします。