Resumen

Analizando la evolución del desarrollo de software durante los últimos años, es posible observar que las tecnologías involucradas se están enfocando cada vez más en la definición de modelos para especificar los productos de software requeridos. Este esquema de desarrollo centrado en modelos es el ingrediente principal para el paradigma de Desarrollo de Software Dirigido por Modelos (DSDM).
En términos generales, las aproximaciones DSDM proponen la generación de productos de software de manera automática mediante la transformación de los modelos definidos en el código del programa final. Este proceso de transformación también es conocido como proceso de compilación de modelos. De esta manera, DSDM está orientado a reducir (o incluso eliminar) la programación manual, que es una tarea lenta y propensa a errores. Por lo tanto, los modelos se convierten en los actores principales de los procesos DSDM: los modelos son el nuevo lenguaje de programación.
En este contexto, la interoperabilidad puede ser considerada como una tendencia natural para el futuro de las tecnologías dirigidas por modelos, en donde, distintas aproximaciones de desarrollo, modelado, herramientas, y estándares pueden ser integrados y coordinados para reducir los tiempos de implementación y de aprendizaje de las aproximaciones DSDM, y consecuentemente, mejorar la calidad de los productos de software. Sin embargo, existe una carencia de aproximaciones que provean soluciones adecuadas para soportar la interoperabilidad en procesos DSDM. Además, las propuestas que definen marcos de interoperabilidad para procesos DSDM aún se encuentran a nivel teórico y no están alineadas con los estándares actuales, otras aproximaciones de interoperabilidad o tecnologías existentes.
Por este motivo, el objetivo principal de esta tesis es desarrollar una aproximación para conseguir la interoperabilidad en procesos MDD. Esta aproximación de interoperabilidad está basada en estándares actuales de metamodelado, mecanismos para la personalización de lenguajes de modelado, y tecnologías para realizar transformaciones de modelo a modelo. Para alcanzar este objetivo, se han definido propuestas innovadoras para mejorar la integración de lenguajes de modelado, obtener un adecuado intercambio de información de modelado, y verificar automáticamente la interoperabilidad.
Para validar y verificar la aproximación de interoperabilidad propuesta, se han realizado estudios empíricos que determinan la completitud de la interoperabilidad en relación a las necesidades de modelado de los procesos MDD involucrados. Además, la aproximación propuesta ha sido utilizada para conseguir la interoperabilidad de UML y del marco i* con una propuesta DSDM de aplicación industrial. A partir de estos dos escenarios de interoperabilidad, se ha obtenido información relevante para mejorar la propuesta desarrollada. Estos escenarios también muestran cómo aplicar los resultados la tesis y proporcionan resultados interesantes para la comunidad DSDM.