Questão de Tecnologia da Informação · FGV CVM 2024 (nº 4)

Um GeneralizationSet (Conjunto de Generalização) no UML agrupa relações de herança e pode especificar como as subclasses se relacionam com a superclasse (por exemplo, se são disjuntas ou cobrem todas as possibilidades). Um Powertype (Tipo de Poder) é uma classe cujas instâncias são tipos (ou classes) de outro modelo. Quando um GeneralizationSet é associado a um powertype, significa que as subclasses desse conjunto são, na verdade, instâncias desse powertype, ou seja, o powertype define a "categoria" ou "tipo" das subclasses.

• (A) Correta: A designação powertype :ParticipanteTipo no GeneralizationSet indica que as subclasses (Associado, Eventual, Incentivador) são instâncias da classe ParticipanteTipo. Isso significa que ParticipanteTipo está classificando ou "tipificando" as subclasses de Participante, definindo que elas são "tipos de participante".
• (B) Incorreta: O GeneralizationSet possui a propriedade {isDisjoint}, o que significa que as subclasses (Associado, Eventual, Incentivador) são mutuamente exclusivas. Uma instância de Participante não pode ser simultaneamente um Associado e um Eventual, portanto, não compartilham instâncias.
• (C) Incorreta: Uma instância de uma subclasse (como Associado) é uma instância específica do powertype ParticipanteTipo. Ela não pode corresponder a "várias instâncias de ParticipanteTipo simultaneamente", pois Associado é uma das instâncias de ParticipanteTipo.
• (D) Incorreta: Não há um relacionamento de "realização" (geralmente representado por uma linha tracejada com seta vazada) explícito ou implícito entre as instâncias de ParticipanteTipo (que são as subclasses) e as instâncias de Participante. A relação é de generalização e tipificação das subclasses.
• (E) Incorreta: Embora as propriedades isDisjoint (não têm instâncias em comum) e isCovering (cobrindo semanticamente seus classificadores) estejam corretamente interpretadas, o termo "tipificação forte" não é uma propriedade padrão ou termo técnico do UML para GeneralizationSet. A alternativa A descreve de forma mais precisa e com terminologia correta o papel do powertype. A armadilha aqui é que parte da afirmação está correta (interpretação de isDisjoint e isCovering), mas o uso de um termo não-padrão ("tipificação forte") a invalida como a melhor resposta, especialmente quando há uma alternativa mais precisa sobre o powertype.