Les invariants d'état sont des contraintes d'exécution, telles que des valeurs de variables, d'attributs et d'états, qui sont placées sur les objets ou les capsules d'une interaction. Vous pouvez ajouter des invariants d'état à des diagrammes de séquence pour spécifier des valeurs ou des états.
A propos de cette tâche
Pour créer un invariant d'état :
- Dans la Palette, cliquez sur Invariant d'état.
- Dans le cadre d'interaction, cliquez sur la ligne de vie à couvrir.
- Dans la boîte de dialogue qui s'ouvre, vérifiez les lignes de vie sélectionnées et cliquez sur OK.
- Entrez un nom pour l'invariant d'état et cliquez sur OK.
Conseil : Pour changer les contraintes à des invariants d'état, dans l'éditeur de diagrammes, cliquez avec le bouton droit de la souris sur une contrainte, puis sélectionnez .