Invariantes de estado

www.altova.com Imprimir este apartado Página anterior Subir un nivel Página siguiente

Inicio >  Diagramas UML > Diagramas de comportamiento > Diagrama de secuencia > Insertar elementos >

Invariantes de estado

Una invariante de estado ic-state-inv 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.

state-invariant


© 2019 Altova GmbH