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.
About this task
To create a state invariant:
Procedure
- In the Palette, click State Invariant.
- In the interaction frame, click the lifeline to cover.
- In the dialog box that opens, verify the selected lifelines
and click OK.
- Type a name for the state invariant and click OK.
Tip: To change constraints to state invariants,
in the diagram editor, right-click a constraint; then click .