Ajout de conditions de garde dans les transitions

En modélisation UML, une condition de garde est une condition booléenne qui est évaluée au démarrage d'une transition. Une transition avec une condition de garde a lieu lorsque l'évaluation de la condition de garde est positive.

Avant de pouvoir ajouter un déclencheur à une transition, vous devez avoir un diagramme d'automate fini ouvert dans la perspective de modélisation.
Pour ajouter une condition de garde à une transition, procédez comme suit :
  1. Cliquez dessus avec le bouton droit de la souris sur une transition ; ensuite, cliquez sur l'option permettant d'ajouter une entité UML, puis sur Condition de garde.
  2. Dans les parenthèses situées à côté du nom de la transition, décrivez la condition de garde et appuyez sur Entrée.
Concepts associés
Etats, régions et transitions
Conditions d'utilisation | Retours d'informations
(C) Copyright IBM Corporation 2004, 2005. All Rights Reserved.