State invariants are runtime constraints, such as values
of variables, attributes, and states, that are placed on the objects
or capsules of an interaction. You can add state invariants to sequence
diagrams to specify values or states.
To create a state invariant:
- In the Palette, click State Invariant.
- In the interaction frame, click the lifeline to covered.
- In the dialog box that opens, verify the selected lifelines and click OK.
- Type a name for the state invariant and click OK.