Un lenguaje para Transformación de Modelos basado en
MOF y OCL
 

Roxana S. Giandini Claudia F. Pons
Universidad Nacional de La Plata, Facultad de Informática
LIFIA - Laboratorio de Investigación y Formación en Informática Avanzada
La Plata, Argentina, 1900
[giandini, cpons]@lifia.info.unlp.edu.ar
 
Resumen
 
La iniciativa MDD (Model Driven Development) cubre un amplio espectro de áreas de investigación como : lenguajes de modelado, definición de lenguajes de transformación entre modelos y construcción de herramientas de soporte.
Actualmente, algunos de estos aspectos están siendo fundamentados y aplicados, mientras otros están en proceso de definición. Consecuentemente son necesarios esfuerzos que conviertan a MDD en una propuesta coherente, soportada por técnicas y herramientas maduras. Las transformaciones entre modelos requieren de lenguajes específicos para su definición. Estos lenguajes deben tener base formal, por eje mplo tener un metamodelo que los sustente, y permitir un tratamiento automatizado.
En este trabajo presentamos un lenguaje declarativo para transformaciones de modelos inspirado en estándares de OMG. Nuestra propuesta constituye una extensión de especificaciones ya existentes en OMG y utiliza OCL para especificar relaciones de transformación.
 
Palabras claves: Ingeniería de Software, Desarrollo Dirigido por Modelos, Transformación de Modelos, Extensión de Metamodelos.
Abstract
 

MDD (Model Driven Development) initiative covers a broad spectrum of research areas such as modelling languages, definition of transformation languages among models , and construction of support tools.
Currently, some of these aspects are being established and applied, while others are still in the process of definition.
Consequently, it is necessary to make every effort to turn a MDD into a coherent proposal, supported by mature tools and techniques. Transformations among models require specific languages for their definition. These languages must have a formal base, for example, a metamodel that supports them and allows for an automated treatment.
This paper presents a declarative language for model transformations inspired on OMG standards. Our proposal pretends to be a minimal extension of the already existing OMG specifications, and it basically uses OCL language to specify transformation relations.
 
Keywords:Software Engineering, Model Driven Development, Model Transformation, Metamodel Extension.