1.3.1.4.16 StateInvariant
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.
BodyStateInvariantInteractionFragmentOccurrenceSpecification
Attribute
Description
string Body [1..1]
A Constraint that should hold at runtime for this StateInvariant.