Menos es más : Una formalización minimalista de la orientación a objetos

En este trabajo analizamos los conceptos presentes en el paradigma de Orientación a Objetos, identificando un conjunto de conceptos esenciales, y luego clasificándolos entre básicos o elementales y construibles. Los elementos básicos son los que estarán presentes en la formulación minimal. Esta formulación minimal es un cálculo de objetos imperativo con extensiones. Tiene primitivas de creación de objetos, pasaje de mensajes y actualización y extensión de objetos. Este cálculo es una variante del cálculo imperativo de objetos de Abadi y Cardelli. Dentro de los conceptos que consideramos construibles ubicamos a la capacidad de compartir comportamiento, o sharing. Esta característica es una de las más importante, ya que se encuentra presente en casi todos los lenguajes, y su organización define las dos grandes familias de lenguajes y los dos modelos tradicionales del paradigma. También es importante desde el punto de vista de la ingeniería de software, porque permite una modelización más adecuada de la realidad, favorece el reuso de software, evita la replicación de código y simplifica la definición de políticas de seguridad. Las diferentes formas en que se presenta el sharing en los distintos lenguajes se pueden ver como combinaciones de decisiones más simples. Presentaremos una clasificación que permite describir los distintos esquemas de sharing posibles. Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática. Licenciado en Informática