Más Información ..| ..Especificación del UML del OMG
Una invariante del estado es una condición aplicada a una línea de vida, la cual debe ser cumplida para que la línea de vida exista.
Abajo se ejemplifica un estado invariante.
Cuando una invariante del estado se mueve cerca de una línea de vida, ésta se ajustará al centro. Si el objeto de secuencia se arrastra a la izquierda o derecha, la invariante del estado se moverá con el mismo.
Especificación del UML del OMG
La especificación del UML del OMG (UML 2.0 Superstructure, p. 433) establece:
"Un EstadoInvariante es una restricción sobre el estado de una Línea de Vida. En este caso decimos por "estado" también los valores de los atributos eventuales de la Línea de Vida.
"Un Estado Invariante es un Fragmento de Interacción y se ubica sobre una Línea de Vida ."