Título: Construcción de un componente de verificación de DOO basado en un metamodelo formal
Autor: Pablo Daniel Quiroga
Directores: Lic. Silvia Amaro – Lic. Gabriela Aranda
Carrera: Licenciatura en Ciencias de la Computación
Fecha de defensa: 09 de junio de 2006
Resumen
El propósito de la presente tesis de grado es la construcción de un componente de software que permita veri car si un Diseño Orientado a Objetos (DOO) es bien formado. Para ello, se ha utilizado un MetaModelo Formal preexistente, que describe el comportamiento y la estructura de un DOO y que se compone, básicamente, de un conjunto de clases y un conjunto de relaciones. Dado que la implementación de ambos conjuntos presenta cierta di cultad, en esta tesis se presenta el módulo correspondiente a las relaciones entre las clases de diseño y sus restricciones, mientras que en la tesis de Rodrigo Ruiz [15], fue presentado el módulo correspondiente a las clases y sus métodos. El producto combinado de ambos trabajos constituye un componente de software, implementado en el lenguaje Java, que permite veri car la correctitud del diseño orientado a objetos de una aplicación.
Finalmente, este componente junto a otros que están en desarrollo, formará parte de una herramienta cuyo objetivo es facilitar, a los diseñadores de software, la tarea de veri car si el uso de patrones de diseño dentro de sus aplicaciones es correcto, y a la vez adquirir una mayor comprensión sobre los principios de diseño con patrones.
