| Pré. | Proc. |
State invariant
Un invariant State est une condition appliquée à une ligne de vie, qui doit être remplie pour que la ligne de vie existe. Vous créez un invariant State en faisant glisser l'élément State /Continuation sur le diagramme à partir de la page Éléments d'interaction de la boîte à outils.
Ce diagramme illustre un invariant State .
Lorsqu'un invariant State est déplacé à proximité d'une ligne de vie, il s'aligne au centre. Si l' object de séquence est déplacé vers la gauche ou la droite, l'invariant State se déplace avec lui.
Apprenez Plus
Spécification OMG UML :
La spécification Unified Modeling Language OMG (v2.5.1, p. 630) stipule :
Un StateInvariant est une contrainte d'exécution sur les participants de l'interaction. Il peut être utilisé pour spécifier différents types de contraintes, telles que des valeurs d' Attributes ou de variables, States internes ou externes, etc. Un StateInvariant est un InteractionFragment et il est placé sur une Lifeline.