Título: «Construcción de un componente de software de un Meta Modelo de OOD basado en una especificación formal de OOD»
Autor: Rodrigo Alfredo Ruiz
Directora: Mg. Alejandra Cechich
Carrera: Licenciatura en Ciencias de la Computación
Fecha de defensa: 23 diciembre 2004
Resumen
El propósito del siguiente trabajo de tesis se centra en la concepción de un componente de software desarrollado en lenguaje Java que implementa parte de la descripción de un Meta- Modelo de Diseño Orientado a Objetos expresado en lenguaje RSL. Dicho Meta-Modelo describe de manera formal la estructura y comportamiento de los elementos que componen un Diseño Orientado a Objetos (clases , métodos y relaciones). Dada la complejidad y extensión del Meta- Modelo citado , se dividió el mismo en dos fragmentos funcionales complementarios. El primer fragmento trata acerca de la definición de las relaciones y las propiedades que las mis mas exhiben. El segundo fragmento, objeto de éste trabajo de tesis, exhibe el modelado de clases y métodos de Diseño Orientado a Objetos, y la verificación de las propiedades que presentan los mismos en cuanto a su estructura y comportamiento. Al mismo tiempo, modela la funcionalidad de la Estructura de Diseño relacionada con la verificación de las propiedades de diseño de las clases y métodos antes mencionados. El citado componente conforma, junto a otros componentes, la base para la concepción de una herramienta de software basada en componentes. La misma será utilizada por los diseñadores para modelar sistemas y luego verificar la correcta aplicación de Patrones de Diseño en sus diseños.