Generalização

analise2.gif (9661 bytes)

Os conceitos PagamentoDinheiro, PagamentoCC e PagamentoCheque são semelhantes de podem ser organizados num hierarquia de tipos chamada Generalização-Especialização
Temos um supertipo (Pagamento) que representa um conceito mais genérico e subtipos mais especializados

28-1.gif (3062 bytes)

A generalização é útil pois:
- Permite identificar conceitos em termos mais gerais e abstratos
- Permite evitar a repetição de informação
- No momento de implementar, a herança será usada e ela permite polimorfismo, o que leva a código mais extensível
Duas formas de representar generalização em UML

28-2.gif (3215 bytes)

Definição de Supertipos e Subtipos

Uma definição de supertipo é mais geral do que uma definição de subtipo
Exemplo:
- Um Pagamento (genérico) envolve um valor transferido entre partes
- Um PagamentoCC é um Pagamento que deve ser autorizado
- Portanto, Pagamento é mais geral e PagamentoCC é mais específico
Em termos de teoria dos conjuntos:
- Todos os membros de um conjunto de subtipo pertence ao conjunto do supertipo

28-4.gif (2620 bytes)

O particionamento nem sempre é útil
- Exemplo: Supertipo Cliente e subtipos ClienteMasculino e ClienteFeminino pode não ser útil
Para criar um subtipo, uma das 4 regras abaixo deve se aplicar:
- O subtipo tem atributos adicionais
- O subtipo tem associações adicionais
- O conceito subtipo é manipulado, recebe operações, reage, ou leva a reações diferentemente do supertipo ou outros subtipos
- O conceito subtipo representa uma coisa animada (animal, robô, ...) que se comporta de forma diferente comparado ao subtipo ou outros subtipos
Pelas regras, os subtipos ClienteMasculino e ClienteFeminino não parecem úteis (mas podem ser em algumas aplicações estranhas)
Exemplos concretos seguem:

Motivação para ter um subtipo	Exemplos
O subtipo tem atributos adicionais	Pagamentos - não aplicável Biblioteca - Livro, subtipo de RecursoEmprestável tem um ISBN
O subtipo tem associações adicionais	Pagamentos - PagamentoCC, subtipo de Pagamento, está associado a um CC Biblioteca - Vídeo, subtipo de RecursoEmprestável, está associado a um Diretor
O conceito subtipo é manipulado, recebe operações, reage, ou leva a reações diferentemente do supertipo ou outros subtipos	Pagamentos - PagamentoCC, subtipo de Pagamento, é manipulado de forma diferente no que diz respeito a autorização Biblioteca - Software, subtipo de RecursoEmprestável, requer um depósito antes de ser emprestado
O conceito subtipo representa uma coisa animada (animal, robô, ...) que se comporta de forma diferente comparado ao subtipo ou outros subtipos	Pagamentos - não aplicável Biblioteca - não aplicável Pesquisa de mercado - PessoaMasculina, subtipo de Pessoa, tem um comportamento diferente de PessoaFeminina com respeito a hábitos de compras

A generalização de tipos existentes é motivada pela identificação de fatores comuns entre subtipos potenciais
Algumas regras:
- Os subtipos potenciais representam variações de um conceito similar
- Os subtipos obedecerão as regras 100% e É-um
- Todos os subtipos possuem um determinado atributo que pode ser fatorado e colocado no supertipo
- Todos os subtipos possuem uma determinada associação que pode ser fatorada e colocada no supertipo

28-7.gif (5670 bytes)

28-8.gif (5606 bytes)

Transações com o mundo externo devem ser mostradas no modelo conceitual porque os processos utilizam esses conceitos
Vários tipos de hierarquias podem ser montadas usando esses conceitos
Usar uma hierarquia muito profunda pode ser complexo demais
Optamos pela estrutura abaixo que exibe as relações enquanto mantém uma certa simplicidade

28-10.gif (5846 bytes)

Se um conceito não pode existir como instância concreta, estamos definindo um tipo abstrato
Exemplo: um Pagamento não pode existir, sem que seja um dos subtipos
Em UML, um tipo abstrato recebe um nome em itálico

28-11.1.gif (2787 bytes)

Na implementação, um tipo abstrato pode ser implementado como classe abstrata ou como interface (em Java, por exemplo)

Não modele mudanças de estado de objetos como mudanças de tipos (mutações)
Exemplo: um Pagamento pode ser não autorizado (no início) e passar a ser autorizado
- Não modele isso como mudança de um tipo PagamentoNãoAutorizado para outro tipo PagamentoAutorizado
Falaremos mais sobre mutações quando elaborarmos sobre herança num capítulo futuro

Não falamos de herança aqui porque estamos no mundo conceitual e não estamos falando de classes de software
Em linguagens OO, uma subclasse de uma superclasse herda atributos e métodos
- A herança é portanto uma forma de implementar a regra 100%
Ao passar para a fase de projeto, poderemos ou não usar herança para as hierarquias de tipo
- Exemplo, em C++, poderíamos usar uma única classe com templates em vez de uma hierarquia de classes