Nel modellamento UML, un trigger è un evento che avvia una transizione da uno stato a
un altro. Una condizione di guardia è una condizione booleana che è necessario soddisfare per
consentire il verificarsi di una transizione. Un effetto è l'azione o l'attività che si verifica
quando avviene una transizione.