Na análise orientada a objetos, a descoberta de um conjunto de operações que pode ser definido para determinado objeto do domínio de análise, de modo que tais operações apliquem-se a todas as ocorrências desse objeto, indica a necessidade de polimorfismo nas mensagens da classe que representará tal objeto.