Questão de Engenharia de Software — UML — VUNESP 2023

Diagrama de Máquina de Estados da UML

Gabarito: letra B. Em um diagrama de máquina de estados da UML, pode haver qualquer número de estados finais, mas apenas um único estado inicial — essa é a regra que a alternativa B espelha corretamente. A UML 2.0 define que o estado inicial é representado por um círculo preenchido (bolinha), e o estado final por um círculo com um anel ao redor (símbolo de "olho de boi"), não por losango ou retângulo.

O diagrama de máquina de estados (ou diagrama de estados) é um dos diagramas comportamentais da UML. Ele modela o ciclo de vida de um objeto ou de um sistema, mostrando os estados pelos quais ele pode passar e as transições entre esses estados, que são disparadas por eventos (também chamados de gatilhos). Cada transição pode ter uma condição de guarda (que precisa ser verdadeira para a transição ocorrer) e pode gerar uma ação (efeito colateral).

A regra central que a questão explora é a assimetria entre o estado inicial e os estados finais. O estado inicial é único e obrigatório — todo diagrama de máquina de estados precisa ter exatamente um ponto de partida, que indica onde o objeto começa sua vida. Já os estados finais são opcionais e podem ser múltiplos — um objeto pode terminar sua vida de várias maneiras diferentes (por exemplo, um pedido pode ser "entregue", "cancelado" ou "devolvido"), e cada uma dessas terminações é representada por um estado final distinto. Não há nenhuma exigência de que o número de estados iniciais seja igual ao número de estados finais.

Na prática, imagine o ciclo de vida de um pedido em um sistema de e-commerce. O estado inicial é único: "Novo Pedido". A partir daí, o pedido pode transitar por estados como "Pagamento Pendente", "Pagamento Aprovado", "Em Separação", "Enviado" e "Entregue". Mas ele também pode, a qualquer momento, ir para o estado final "Cancelado". Ou seja, temos dois estados finais ("Entregue" e "Cancelado") e apenas um estado inicial — exatamente o que a alternativa B permite.

A pegadinha da banca está em inverter essa lógica: a alternativa A afirma que pode haver qualquer número de estados iniciais, o que é falso — o estado inicial é único. A alternativa C tenta impor uma igualdade entre o número de estados iniciais e finais, o que também não existe. E as alternativas D e E trocam a notação gráfica: o estado inicial é um círculo preenchido, e o estado final é um círculo com um anel ao redor (não um losango, nem um retângulo com linhas duplas).

Guarde essa distinção entre quantidade (um inicial, vários finais) e notação (círculo preenchido vs. círculo com anel) — é exatamente nesses dois eixos que as alternativas se dividem.

Alternativa A — ❌ Incorreta

Afirma que pode haver qualquer número de estados iniciais. Isso é falso: a UML determina que o diagrama de máquina de estados deve ter exatamente um estado inicial. Ele é o ponto de partida obrigatório do ciclo de vida do objeto. A banca inverteu a regra do estado final (que pode ser múltiplo) e a aplicou ao estado inicial.

Alternativa B — ✅ Correta ⟵ GABARITO

Esta é a afirmação correta. O diagrama de máquina de estados pode ter qualquer número de estados finais, pois um objeto pode terminar seu ciclo de vida de diversas formas. Não há limite nem obrigatoriedade de quantidade — pode haver zero, um ou vários estados finais, dependendo do domínio modelado.

Alternativa C — ❌ Incorreta

Afirma que o número de estados iniciais deve ser igual ao número de estados finais. Não existe essa regra na UML. O estado inicial é único (sempre um), enquanto os estados finais podem ser zero, um ou vários. Portanto, a igualdade entre as quantidades é impossível na prática, já que o inicial é fixo em um.

Alternativa D — ❌ Incorreta

Afirma que o estado inicial é representado por um losango. Isso está errado. Na notação UML, o estado inicial é representado por um círculo preenchido (uma bolinha sólida). O losango é utilizado em outros contextos, como no diagrama de atividades para representar decisões (bifurcações do fluxo), mas não no diagrama de máquina de estados.

Alternativa E — ❌ Incorreta

Afirma que o estado final é representado por um retângulo com linhas duplas. Isso também está errado. O estado final na UML é representado por um círculo com um anel ao redor (o símbolo conhecido como "olho de boi"). O retângulo com linhas duplas não é uma notação padrão da UML para nenhum elemento do diagrama de estados.

Gabarito: letra B