シーケンス図への状態不変式の追加

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

フィードバック