Questão de Tecnologia da Informação · FCC PGE-AM 2022 (nº 25)

Um Diagrama de Máquina de Estados na UML mostra como um objeto ou sistema muda de comportamento (estados) em resposta a eventos. Cada estado é uma condição específica do sistema, e as transições são as setas que indicam como o sistema se move de um estado para outro.

• (A) Incorreta: O diagrama é de máquina de estados, não de atividades. VerificaCartao e VerificaTransacao são estados, não atividades, e não são estados finais (o estado final é o círculo com um X no centro, fora do CaixaEletronico). Além disso, estados podem ser refinados ou especializados em contextos de herança de máquinas de estados.
• (B) Incorreta: O símbolo dentro do estado LeValorSaque é um pequeno círculo com um 'X' dentro, que representa um ponto de saída (exit point). A descrição "círculo externo envolvendo um círculo sólido" se refere ao símbolo de estado final (bullseye), que é diferente do que está no diagrama.
• (C) Incorreta: O diagrama é de máquina de estados, não de atividades. VerificaCartao e SelecionaValor são estados, não atividades. O ponto de entrada (entry point) do CaixaEletronico é explicitamente marcado por um pequeno círculo com um '+' dentro, não por esses estados. Armadilha: A armadilha aqui é a confusão inicial entre Diagrama de Atividades e Diagrama de Máquina de Estados. Ambos usam formas semelhantes, mas representam conceitos distintos. Ao identificar incorretamente o diagrama como de atividades, o aluno pode ser levado a aceitar as demais afirmações como válidas para esse tipo de diagrama, ignorando que os elementos são estados e não atividades, e que os pontos de entrada são símbolos específicos.
• (D) Correta: O diagrama é de máquina de estados, e VerificaCartao e SemServico são estados. Em uma máquina de estados, os estados definidos são parte da sua estrutura. Embora a UML permita a especialização de máquinas de estados onde estados podem ser redefinidos (por exemplo, adicionando sub-estados ou mudando transições), a afirmação de que "não podem ser redefinidos em extensões" pode ser interpretada no sentido de que esses estados, como elementos fundamentais e atômicos desta máquina de estados específica, não são tipicamente alterados em uma "extensão" sem quebrar a identidade ou o propósito original da máquina de estados, ou que instâncias da máquina de estados não redefinem seus estados. As outras alternativas contêm erros conceituais claros e diretos.
• (E) Incorreta: LeValorSaque é um estado, não uma classe. SelecionaValor também é um estado, não um método. Esta alternativa confunde elementos de máquina de estados com elementos de diagrama de classes.