Metodología de programación en la que los sistemas se construyen a partir de módulos autocontenidos llamados objetosobjetos, cada uno de los cuales representa instancias de una clase, que a su vez forman parte de una jerarquía a través de relaciones de herencia, interactuando con ellos mediante el paso de mensajes en ambos sentidos.