Création d'un invariant d'état - UML 2.0

Ce sujet explique comment créer un invariant d'état.

Pour créer un invariant d'état en tant que commentaire OCL :

Sur la palette d'outils du diagramme de séquence UML 2.0, choisissez le bouton Invariant d'état.
Cliquez sur la ligne de vie ou la spécification d'exécution cible.
Conseil : Vous pouvez également utiliser la commande Ajouter Invariant d'état du menu contextuel d'une ligne de vie ou d'une spécification d'exécution.
Dans l'inspecteur d'objets de l'invariant d'état, sélectionnez le noeud Général.
Dans le champ Invariant kind, choisissez OCL expression dans la liste déroulante. L'élément invariant d'état dans le diagramme est maintenant représenté par des accolades.
Dans le noeud Invariant OCL qui s'ajoute à l'inspecteur d'objets, sélectionnez le langage du commentaire dans la liste déroulante Langage. Les options possibles sont OCL et texte brut.
Tapez le texte et appliquez les modifications.

Pour connecter un invariant d'état à un état :

Dans la palette d'outils du diagramme, choisissez le bouton Invariant d'état.
Cliquez sur la ligne de vie ou la spécification d'exécution cible.
Dans l'inspecteur d'objets de l'invariant d'état, sélectionnez le noeud Général.
Dans le champ Invariant kind, choisissez States/Regions dans la liste déroulante.
Dans le champ States/Regions, cliquez sur le bouton sélecteur.
Dans la boîte de dialogue de sélection d'états et/ou de régions, sélectionnez les états et/ou les régions souhaités dans le modèle, à l'aide du bouton Ajouter.
Cliquez sur OK lorsque vous avez terminé.
Conseil : Vous pouvez également taper le nom de l'état ou de la région. Si l'état ou la région appartient à un package différent, indiquez son nom complet.

Voir aussi