Transformación de modelos de la vista estructural de un sistema

Gastón Osés, Unai
Zapata Abad, María Antonia (dir.)

Universidad de Zaragoza, CIEN, 2023

Graduado en Matemáticas

Resumen: En este Trabajo de Fin de Grado exploramos las transformaciones de modelos, un componente clave de
la Ingeniería de Software basada en modelos. Las transformaciones de modelos son necesarias por diferentes
motivos. En primer lugar, la adaptación a cambios en los requisitos del sistema es un motivo importante para
realizar transformaciones. A medida que evoluciona un proyecto, es común que surjan nuevos requisitos o
que los existentes se modifiquen. Mediante las transformaciones de modelos, podemos ajustar los modelos
existentes para reflejar estos cambios, garantizando así la coherencia entre el modelo y los requisitos del
sistema. Otro motivo para realizar transformaciones en los modelos es la mejora de la calidad del modelo.
Los modelos pueden contener elementos redundantes o ineficientes que pueden afectar la comprensión,
mantenibilidad y eficacia del sistema. Mediante las transformaciones de modelos, podemos aplicar técnicas
para eliminar redundancias, simplificar estructuras complejas y mejorar la legibilidad y mantenibilidad del
modelo.
En nuestro enfoque, proponemos tratar los modelos como grafos y las transformaciones de modelos
como transformaciones de grafos, lo que nos permite aplicar teorías y técnicas de la teoría de grafos. Comenzamos por introducir los conceptos fundamentales de modelo y metamodelo, sentando así las bases para
comprender las transformaciones de modelos. A continuación, exploramos diferentes tipos de transformaciones de modelos y posteriormente presentamos diversas definiciones de grafos y de transformaciones de
grafos, las cuales nos sirven de base teórica para estudiar las transformaciones de modelos. En particular,
nos centramos en dos tipos de transformaciones: endógenas y exógenas.
En el ámbito de las transformaciones endógenas, nos centramos en la refactorización de modelos y demostramos cómo la teoría de transformación de grafos brinda soporte formal para esta actividad. Presentamos
un ejemplo específico de un modelo de red de área local (LAN) y describimos el proceso de refactorización
utilizando un ejemplo concreto llamado Ascender Método. Además, presentamos una secuencia de reglas
adicionales que nos permitirán llevar a cabo la transformación completa.
En cuanto a las transformaciones exógenas, nos enfocamos en la transformación del diagrama de clases al
esquema relacional, una transformación ampliamente explorada en la literatura. Establecemos un conjunto
de reglas con un orden concreto que nos permiten llevar a cabo la transformación al esquema relacional.
Como ejemplo particular, aplicamos estas reglas a un diagrama de clases que modeliza los profesores y
estudiantes de los centros de una universidad.
Para llevar a cabo estas transformaciones hemos utilizado el software AGG. A lo largo de este trabajo, se
presentan varias opciones que ofrece AGG, así como sus dos modos de ejecución, que nos permiten realizar
y visualizar las transformaciones de modelos de manera más cómoda y visual.

Tipo de Trabajo Académico: Trabajo Fin de Grado