UML2 StateInvariant

Description

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 it is placed on a Lifeline.

Symbol(s)

UML2 StateInvariant UML2 StateInvariant UML2 StateInvariant UML2 StateInvariant UML2 StateInvariant UML2 StateInvariant UML2 StateInvariant