En modélisation UML, un déclencheur est un événement qui démarre une transition entre un état et un autre. Une condition de garde est une condition booléenne qui doit être satisfaite pour que la transition se produise. Un effet est l'action ou l'activité qui se produit au moment d'une transition.