Com respeito às máquinas de estado, na UML, uma expressão b...

A alternativa correta é a C - condição de proteção.

Na UML (Unified Modeling Language), que é uma linguagem de modelagem padronizada utilizada em engenharia de software, as máquinas de estado são um recurso para modelar o comportamento de um objeto ao longo do tempo, em resposta a eventos externos. Essas máquinas são compostas por estados e transições entre esses estados.

Uma transição de estado é representada por uma seta que conecta dois estados, indicando que, sob determinadas condições ou em resposta a um evento, o objeto mudará de um estado para outro. Contudo, essa mudança pode ser condicionada pela avaliação de uma expressão lógica que deve ser verdadeira para que a transição ocorra. Essa expressão é conhecida como condição de proteção.

A condição de proteção é uma expressão booleana que, como mencionado na questão, deve ser avaliada positivamente (verdadeira) para que a transição seja disparada. Se a expressão for falsa, o objeto permanece no seu estado atual e a transição não acontece. Isso é particularmente útil para garantir que certos requisitos ou condições sejam atendidos antes de permitir mudanças no estado de um objeto.

Vamos olhar brevemente as outras opções para entender por que elas não são a resposta correta:

• Linha de vida é um termo utilizado em diagramas de sequência e não está associado diretamente a máquinas de estado.
• Evento de ativação não é um conceito padrão em UML relacionado a máquinas de estado.
• Efeito é uma ação que ocorre como resultado de uma transição, não uma condição para sua ocorrência.
• Bifurcação refere-se a uma decisão dentro de um diagrama de atividades que direciona o fluxo de acordo com condições booleanas, mas não é uma condição de proteção em uma máquina de estado.

Portanto, a condição de proteção é crucial para o entendimento e a correta modelagem de máquinas de estado em UML, garantindo que as transições entre os estados aconteçam apenas quando as condições especificadas são satisfeitas.

Em 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.

A condição de segurança também é chamada de condição de guarda.

FONTE: http://www.ibm.com/support/knowledgecenter/pt-br/SS8PJ7_9.1.2/com.ibm.xtools.modeler.doc/topics/ttransitions.html