Condições de guarda

1. O que é uma condição de guarda?
2. Qual é a condição de guarda no diagrama de estado?
3. Quais são as condições de guarda em engenharia de software?
4. Qual é a diferença entre a condição de guarda e o evento?

O que é uma condição de guarda?

Na modelagem UML, uma condição de guarda é uma condição booleana que é avaliada quando uma transição inicia. Uma transição com uma condição de guarda ocorre quando a condição de guarda é avaliada como verdadeira.

Qual é a condição de guarda no diagrama de estado?

"Guarda" é uma condição que deve ser verdadeira para que o gatilho cause a transição. "Effect" é uma ação que será invocada diretamente no objeto que possui a máquina de estado como resultado da transição.

Quais são as condições de guarda em engenharia de software?

As condições de guarda podem especificar condições sobre os valores de entrada, estado atual e disponibilidade de recursos. Se a transição for acionada, o bloco executa o comportamento de saída do estado atual, executa o comportamento da transição (i.e., efeito) e entra no próximo estado.

Qual é a diferença entre a condição de guarda e o evento?

Em um diagrama de estado, o evento é o que causa uma transição entre os estados. Como um exemplo simples, uma porta tem dois estados, abertos e fechados. ReadidCard é o evento que transita o estado atual de fechado para aberto. Uma condição de guarda determina se o objeto receptor deve responder ao evento.