Com respeito às máquinas de estado, na UML, uma expressão booleana, avaliada quando a transição é iniciada, e cuja falsidade não permite o início da transição, é denominada