Réserver une Démo

SVP notez : Cette page d’aide n’est pas pour la dernière version d’Enterprise Architect. La dernière aide peut être trouvée ici.

Pré. Proc.

Invariant State

Un State invariant 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 d' 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 d' State .

A UML Sequence diagram showing a State/Continuation element used as a State Invariant.

Lorsqu'un State invariant est déplacé près d'une ligne de vie, il s'accroche au centre. Si l' object séquence est déplacé vers la gauche ou vers la droite, l'invariant d' State se déplace avec lui.

Apprenez Plus

Spécification OMG UML :

La spécification OMG Unified Modeling Language , (v2.5.1, p. 630) indique :

Un StateInvariant est une contrainte d'exécution sur les participants de l'interaction. Il peut être utilisé pour spécifier une variété de différents types de contraintes, telles que des valeurs d' Attributes ou de variables, des States internes ou externes, etc. Un StateInvariant est un InteractionFragment et il est placé sur une Lifeline.

Pré. Proc.