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

Diagrama de estados da UML: estados inicial e final

Gabarito: letra A. Na UML 2.0, um diagrama de estados pode ter apenas um único estado inicial, mas pode ter vários estados finais — essa assimetria é a regra que decide a questão. O estado inicial é obrigatório e único; os estados finais são opcionais e podem ser múltiplos, refletindo os diferentes caminhos de término do ciclo de vida de um objeto.

O diagrama de estados (ou máquina de estados) é um diagrama comportamental da UML que descreve o ciclo de vida de um objeto de uma classe: os estados pelos quais ele passa, os eventos que disparam as transições entre esses estados e as ações executadas durante essas mudanças. Um estado representa uma "situação na vida de um objeto durante a qual ele satisfaz alguma condição ou realiza alguma atividade". O diagrama é composto por elementos como estados, transições, eventos, pseudosestados (como o estado inicial e o estado final) e regiões.

A regra central sobre os pseudosestados inicial e final é a seguinte: o estado inicial é representado por um círculo preenchido (bolinha preta) e indica o ponto de partida do objeto — ele é único e obrigatório em um diagrama de estados simples. Já o estado final é representado por um círculo com um anel ao redor (bolinha com circunferência) e indica a conclusão do ciclo de vida — ele é opcional e pode haver vários, pois um objeto pode terminar seu ciclo de vida por caminhos diferentes, cada um levando a um estado final distinto. Essa assimetria é intencional: o objeto nasce de um único ponto, mas pode morrer de várias formas.

Na prática, imagine um pedido em um sistema de e-commerce. O estado inicial é único: todo pedido começa em "Criado". Porém, o pedido pode terminar em estados finais diferentes: "Entregue", "Cancelado" ou "Devolvido". Cada um desses é um estado final possível, e o diagrama pode representar todos eles. Se a regra fosse simétrica (um estado final para cada inicial), não seria possível modelar essa multiplicidade de desfechos.

A pegadinha que a banca explora aqui é justamente a simetria intuitiva: o candidato tende a achar que, se há um único início, deve haver um único fim. Mas a UML não adota essa simetria — o número de estados finais é independente do número de estados iniciais. Guarde essa fronteira: inicial = único e obrigatório; final = múltiplo e opcional. É exatamente nela que as alternativas se dividem.

Alternativa A — ✅ Correta ⟵ GABARITO

A UML 2.0 determina que um diagrama de estados pode ter somente um único estado inicial. Esse é o pseudostate de entrada obrigatório, representado por um círculo preenchido, que marca o ponto de partida do ciclo de vida do objeto. Não é permitido mais de um estado inicial em um mesmo diagrama de estados simples, pois o objeto deve ter um único ponto de nascimento.

Alternativa B — ❌ Incorreta

Afirma que só pode haver um único estado final. Isso é falso: a UML permite múltiplos estados finais em um diagrama de estados. Cada caminho de término do ciclo de vida do objeto pode levar a um estado final diferente. O estado final é opcional e pode aparecer várias vezes no diagrama.

Alternativa C — ❌ Incorreta

Diz que o número de estados iniciais deve ser igual ao número de estados finais. Não há qualquer relação de igualdade entre eles. O estado inicial é único e obrigatório, enquanto os estados finais podem ser vários ou até mesmo ausentes (em diagramas que representam ciclos contínuos). A UML não impõe simetria entre esses pseudostates.

Alternativa D — ❌ Incorreta

Afirma que o estado final deve ser o mesmo que o estado inicial. Isso contraria a própria finalidade do diagrama: o estado inicial marca o nascimento do objeto e o estado final marca sua conclusão. Eles são conceitualmente distintos e, na prática, representam momentos diferentes do ciclo de vida. Não há obrigatoriedade de coincidirem.

Alternativa E — ❌ Incorreta

Diz que no estado final sempre ocorre a remoção de um objeto. O estado final indica a conclusão do ciclo de vida do objeto, mas não implica necessariamente sua remoção da memória ou destruição. O objeto pode permanecer armazenado, arquivado ou simplesmente inativo. A remoção é uma consequência possível, mas não é uma regra obrigatória do diagrama de estados.

Gabarito: letra A — somente pode haver um único estado inicial.