Resumen

El desarrollo de software dirigido por modelos (MDD, acrónimo de Model Driven software Development) propone un proceso de desarrollo de software en el que los conceptos claves son los modelos y las transformaciones de modelos. En este proceso, el software se obtiene construyendo uno o más modelos y transformándolos en otros. La visión general de este proceso es que los modelos de entrada son independientes de la plataforma y los de salida son específicos de la plataforma y que, estos últimos pueden ser fácilmente transformados a formato ejecutable. En otras palabras, el proceso dirigido por modelos es comúnmente visto como un proceso de generación de código a partir de modelos. La transformación de modelos requiere soporte especializado: debemos comprender sus fundamentos, su semántica y propiedades (modularidad, composicionalidad, y parametrización). Es necesario encontrar formas efectivas y eficientes de tratar las transformaciones como elementos de primer orden en MDD, de permitirnos almacenarlas, manejarlas, descubrirlas, verificarlas y reutilizarlas. Se presenta también la necesidad de combinar transformaciones con el objetivo de producir transformaciones más potentes y tener la posibilidad de implementar nuevas operaciones sobre los modelos. Es necesario tener una metodología de desarrollo de software donde la transformación de modelos sea soportada por herramientas y entornos apropiados. En este contexto, este proyecto aportará teorías, metodologías y herramientas tendientes a mejorar la calidad de los lenguajes de transformación de modelos de software.