Un invariant d'état représente une contrainte d'exécution sur l'état d'une ligne de vie. Il peut être utilisé pour définir un état de l'objet représenté par la ligne de vie, ou différents types de contraintes, telles que des valeurs d'attributs ou de variables, etc.

Beginner

HOPEX System Blueprint, HOPEX UML.