Um dos conceitos chave em uma linguagem de programação denomina-se polimorfismo. De acordo com a literatura especializada, linguagens de programação orientada a objetos contemplam normalmente quatro tipos de polimorfismo. A figura mostra um diagrama de classes da UML, que apresenta a modelagem orientada a objetos de uma hierarquia envolvendo três classes.
O tipo de polimorfismo presente na modelagem denomina-se:

Durante a análise orientada a objetos, um dos principais artefatos a serem produzidos é o diagrama de classes que apresenta as classes de análise e os relacionamentos entre elas. Nessa modelagem, o desenvolvedor pode definir uma determinada classe como sendo concreta ou abstrata. De acordo com os conceitos de orientação a objetos, uma classe abstrata