
Metamodel user guide
A StateInvariant 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.
A StateInvariant is an InteractionFragment and is placed on a Lifeline.

Attribute | Description |
---|---|
string Body [1..1] | A Constraint that should hold at runtime for this StateInvariant. |