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 :
- 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.
- Dans les parenthèses situées à côté du nom de la transition, décrivez
la condition de garde et appuyez sur Entrée.