StateInvariant
Runtime constraint on the participants of the interaction.
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.
: StateInvariant (architecture_autodiagram)
Figure 157 : StateInvariant (architecture_autodiagram)
StateInvariantOccurrenceSpecification
Attribute
Description
string Body [1..1]
A Constraint that should hold at runtime for this StateInvariant.
integer EndLineNumber [1..1]