Formalización de refactorings en el contexto de MDA

Título:

Formalización de refactorings en el contexto de MDA

Autor:

Pereira, Claudia Teresa

Otros autores / Colaboradores:

 Favre, Liliana María; [ Director/a]  Rossi, Gustavo Héctor; [ Codirector/a] 

Temas:

ARQUITECTURA DIRIGIDA POR MODELOS - MDA; DIAGNÓSTICO MÉDICO; DISEÑO DE SOFTWARE; 

URL:

,

Nota de tesis:

Tesis (Maestría en Ingeniería de Software) -- Universidad Nacional de La Plata. Facultad de Informática, 2008.

Extensión:

iii. 230 h.  : il. + 1 CD-ROM

Resumen:

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.

Puede solicitar más fácilmente el ejemplar con: TES 08/03