Questão de Tecnologia da Informação · FGV TRF1 2024 (nº 45)

Um Diagrama de Máquina de Estados (State Machine Diagram) em UML mostra os diferentes estados pelos quais um objeto pode passar durante sua vida e as transições (mudanças) entre esses estados, geralmente causadas por eventos.

• (A) Incorreta: As transições de A para B (via event1) e de A para C (via event2) são alternativas, ou seja, apenas uma delas pode ocorrer a partir de A, dependendo do evento que chegar. O paralelismo (execução simultânea) ocorre dentro de um estado composto que possui regiões (como o estado B), não entre transições que partem do mesmo estado.
• (B) Incorreta: Ao entrar no estado composto B, as regiões B1 e B2 são ativadas simultaneamente (em paralelo), e seus respectivos estados iniciais (e eventuais ações de entrada desses sub-estados) são executados. No entanto, a afirmação "requer execução dos comportamentos de duas regiões" é vaga e pode ser mal interpretada como exigindo a execução de todos os comportamentos, o que não é o caso. A entrada no estado B apenas inicia as regiões B1 e B2, executando as ações de entrada dos seus estados iniciais.
• (C) Incorreta: A transição event4 / action4 no estado B1 é uma autotransição (ou self-transition), indicada pela seta que sai e retorna ao próprio estado B1. Uma autotransição sempre causa a execução do comportamento de saída do estado B1, seguido pela execução do comportamento de entrada do estado B1. A afirmação de que o comportamento de entrada não é executado está incorreta.
• (D) Correta: A transição event5 [guard] / action5 no estado B2 é uma transição interna. Uma transição interna é representada dentro do limite do estado (B2, neste caso) e não possui uma seta que sai e reentra no estado. Por definição, uma transição interna não causa a saída nem a entrada do estado em que ocorre. Portanto, nenhum comportamento de saída ou entrada do estado B2 é executado; apenas a action5 é realizada se event5 ocorrer e a guard for verdadeira.
• (E) Incorreta: A transição para o estado final (fim do ciclo de vida) a partir do estado C é acionada pelo event3. O comportamento de saída do estado C (se houver) seria executado como parte dessa transição, mas a transição em si depende do event3 para ser disparada, e não do comportamento de saída. O comportamento de saída é uma consequência da transição, não sua condição ou dependência para que ela ocorra.