Catálogo de publicaciones - tesis

Compartir en
redes sociales

Título de Acceso Abierto

Formalización de refactorings en el contexto de MDA

Claudia Teresa Pereira Liliana María Favre Gustavo Héctor Rossi

acceptedVersion.

Resumen/Descripción – provisto por el repositorio digital

El objetivo principal de esta tesis es presentar una técnica de especificación de refactorings alineados con MDA aplicables a sus diferentes tipos de modelos de diseño UML, es decir, a modelos independientes de la computación, modelos dependientes de una plataforma y modelos dependientes de la implementación. En particular, en este trabajo, se muestra la técnica de especificación de refactorings aplicados a modelos de diagramas de clases UML enriquecidos con anotaciones OCL en los distintos niveles de abstracción. Los refactorings se especifican como contratos OCL utilizando la técnica de metamodelado. Los metamodelos son expresados usando Meta Object Facility (MOF). Asimismo, en esta tesis, se analiza la integración de la especificación de los refactorings con técnicas formales. Se detalla la traducción de los contratos OCL de refactorings y los metamodelos MOF al lenguaje de especificación formal NEREUS.

Palabras clave – provistas por el repositorio digital

Ingeniería; Ingeniería Civil; Ciencias Informáticas; Software; Informática; Aplicación informática; Ingeniería de software; Lenguajes; Diseño de software