Especificación, análisis y generación de entornos para lenguajes visuales de dominio específico

• Autores: Esther Guerra Sánchez
• Directores de la Tesis: Juan de Lara Jaramillo (dir. tes.) , Paloma Díaz Pérez (dir. tes.)
• Lectura: En la Universidad Autónoma de Madrid ( España ) en 2007
• Idioma: español
• Tribunal Calificador de la Tesis: Manuel Alfonseca Moreno (presid.) , Roberto Moriyón Salomón (secret.) , Isidro Ramos Salavert (voc.) , Miguel Á. Laguna (voc.) , Antonio Vallecillo Moreno (voc.)
• Enlaces
  • Tesis en acceso abierto en: Biblos-e Archivo
• Resumen

  • Los Lenguajes Visuales de Dominio Especifico (LVDEs) se utilizan con frecuencia para el análisis y diseño de sistemas, tareas que suelen realizarse en entornos de modelado, Para construir estos entornos la tendencia actual es partir de una definición de alto nivel del LVDE, desde la cual se genera una herramienta que permite definir modelos conforme a la sintaxis del lenguaje. Sin embargo, la complejidad de los sistemas software actuales requiere entornos más funcionales que permitan no solo dibujar modelos, sino también verificar su consistencia, analizarlos, a cuantificar su calidad, aplicar patrones de diseño, sintetizar código o generar informes.

    Por esta razón, el objetivo de la presente tesis es facilitar la definición de un conjunto de funcionalidades orientadas al control de la calidad d l os diseños, reduciendo o eliminando la necesidad de codificarlos. Para ello se propone un marco basado en técnicas visuales y formales para la definición de LVDEs que contempla la especificación de los tipos de diagramas propuestos por el lenguaje visual, la generación de mecanismo de consistencia sintáctica derivados automáticamente a partir de la definición del lenguaje, la verificación del sistema mediante su transformación a un dominio semántico formal y posterior anotación de resultados al lenguaje original, el uso de un lenguaje de consulta sobre modelos basado en patrones que proporciona sincronización entre el modelo consultado y el resultado de la consulta, la definición de métricas especificas de dominio y la definición de rediseños especificaos de dominio (automatizables a partir del valor de las métricas). La propuesta sigue un enfoque basado en meta-modelado para especificar la sintaxis del lenguaje y de los distintos tipos de diagrama, y en sistemas de transformación de grafos, patrones y otros modelos para especificar la funcionalidad adicional.

    El marco propuesto se ha validado mediante su implementación en una herramienta de meta-modelado que se ha usado para generar entornos para LVDEs en diversos dominios.