Ajout de déclencheurs aux diagrammes de machine d'état
Dans les modèles UML, un déclencheur est un événement qui initie une transition entre un état et un autre.
Une condition de surveillance est une condition booléenne qui doit être satisfaite pour que la transition s'exécute. Un effet est l'action ou l'activité exécutée lors de la transition.