Altova UModel 2024

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

© 2017-2023 Altova GmbH