Incorporando la Gestión de la Trazabilidad en un entorno de Desarrollo de Transformaciones de Modelos Dirigido por Modelos

Abstract

La IEEE define la trazabilidad como: "El grado de relación que puede establecerse entre dos o más productos de un proceso de desarrollo, especialmente productos que tienen relaciones predecesor-sucesor o maestro-subordinado con otro producto." Una correcta gestión de la trazabilidad permitiría conocer cómo evolucionan los elementos del sistema a lo largo del proceso de desarrollo y cómo se relacionan los diferentes elementos entre sí. Este tipo de información puede utilizarse en diferentes actividades, como el análisis del impacto, la toma de decisiones de diseño y en general, cualquier actividad relacionada con el mantenimiento del sistema. Así, sería deseable que cualquier metodología de desarrollo software proporcionara un soporte adecuado para la gestión de la trazabilidad. Sin embargo, aunque esta necesidad ha sido reconocida históricamente, lo cierto es que hasta la fecha, son pocas las propuestas metodológicas y tecnológicas que la soportan. Por otro lado, la Ingeniería Dirigida por Modelos (MDE, Model-Driven Engineering) es el último paso en la tendencia a elevar el nivel de abstracción al que se diseña y construye el software: del ensamblador pasamos a los lenguajes estructurados, que dieron lugar a la orientación a objetos, etc. Los principios fundamentales de la MDE son potenciar el rol de los modelos a lo largo de todo el ciclo de vida y potenciar el nivel de automatización en el proceso de desarrollo. La pieza que une estos dos principios son las transformaciones de modelos. En general, las transformaciones se utilizan para ir refinando la especificación del sistema, recogida en un conjunto de modelos de alto nivel, hasta obtener un nivel de detalle suficiente para abordar la generación automática del código que implementa el sistema. No obstante, también pueden utilizarse para cualquier otra tarea relacionada con el procesamiento de modelos, como la validación, o el merging. Así, el papel clave que juegan las transformaciones a lo largo del proceso de desarrollo proporciona un nuevo escenario en el que abordar la gestión de la trazabilidad de una forma mucho más eficiente y completa. La idea de fondo es simple e intuitiva: el conjunto de reglas que componen una transformación representan las relaciones que deben darse entre los elementos de los modelos origen y los elementos de los modelos destino implicados en dicha transformación, por tanto, se pueden utilizar esas relaciones para identificar y crear las trazas entre los diferentes elementos del sistema, que habrán sido producidos como resultado de ejecutar diferentes transformaciones a lo largo del proceso de desarrollo. Por otro lado, dado que las transformaciones son otro artefacto software, parece lógico aplicar los principios de la MDE a su desarrollo, es decir, concebirlas como un producto que podemos obtener a partir de refinamientos sucesivos desde una especificación de alto nivel. En este caso, dicha especificación no será más que el conjunto de relaciones que deberían darse entre los elementos de los modelos de origen y destino. Combinando estas ideas, la presente tesis doctoral aborda la construcción de un entorno de desarrollo de transformaciones de modelos dirigido por modelos que incorpora la generación de trazas. Dicho entorno parte de una especificación de alto nivel de las relaciones entre los elementos de los modelos de origen y de los modelos de destino, que es refinada automáticamente hasta llegar a un modelo de transformación que puede ser serializado en el código que implementa la transformación. La ejecución de la transformación generada producirá, además del modelo/s destino, el modelo de trazas que recoge las relaciones entre los artefactos origen y los artefactos destino.