Nos modelos
UML, um acionador é um evento que inicia uma transição de um estado para outro. Uma condição de segurança é uma condição booleana que deve ser satisfeita para que uma transição ocorra. Um efeito
é a ação ou atividade que acontece quando ocorre uma transição.