State invariant dialog box

State invariants

A state invariant is a runtime constraint on the participants of the interaction. It may be used to specify a variety of different kinds of constraints, such as values of attributes or variables, internal or external states and so on.

The "State invariant" dialog box contains four tabs - "Properties", "Notes", "Tagged values" and "Stereotypes". For information on these standard dialog box tabs, please see "Standard dialog box tabs".

The "Properties" tab of the "State invariant" dialog box

The "Properties" tab of the "State invariant" dialog box is used to define values for a state invariant.

The "Properties" tab of the "State invariant" dialog box

Key:

· "Name": This is the optional name of the state invariant.

· "Invariant": This is the string expression of the invariant.