En modélisation UML, vous pouvez ajouter des transitions à un diagramme d'automate fini pour montrer comment un objet change d'état. Un déclencheur, une condition de garde et un effet sont les trois parties facultatives d'une transition. Ajoutez un déclencheur à une transition pour montrer qu'un événement doit se produire pour que la transition commence. Ajoutez une condition de garde à une transition pour montrer qu'une condition booléenne particulière doit être vraie pour que la transition se produise. Ajoutez un effet à une transition pour montrer qu'un objet effectue une activité particulière lorsqu'une condition de garde est satisfaite.