Nel modellamento UML, è possibile aggiungere transizioni a un diagramma di una macchina a stati
per mostrare la modifica di stato di un oggetto. Un trigger, una condizione di guardia e un effetto
sono le tre parti facoltative di una transizione. Aggiungere un trigger a una transizione per indicare
che è necessario attivare un evento per avviare una transizione. Aggiungere una condizione di
guardia a una transizione per indicare
che è necessario rendere true una determinata condizione Booleana per avviare una transizione. Aggiungere un effetto a una transizione per indicare
che un oggetto esegue una determinata attività quando si soddisfa una condizione di guardia.