Concepts : Concepts used in HOPEX : Object Types (MetaClass) : State Invariant
   
State Invariant
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.
Translations
Technical Level
Beginner
Products
HOPEX System Blueprint, HOPEX UML.
Diagrams containing this object type
Sequence Diagram (SBP), Sequence Diagram (UML2).