Invariantes de estado
Una invariante de estado 
es una condición o restricción aplicada a una línea de vida. Para que exista la línea de vida es obligatorio que la condición se cumpla.
Para definir una InvarianteDeEstado:
| 1. | Haga clic en el icono InvarianteDeEstado de la barra de herramientas y después en la línea de vida o en la activación de objetos. |
| 2. | Inserte la condición/restricción que desea aplicar (p. ej. accountAmount > 0) y pulse Entrar para confirmar. |
