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: