Tesis doctoral de Esther Guerra Sanchez
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.
Datos académicos de la tesis doctoral «Especificacion, analisis y generacion de entronos para lenguajes visuales de dominio especifico«
- Título de la tesis: Especificacion, analisis y generacion de entronos para lenguajes visuales de dominio especifico
- Autor: Esther Guerra Sanchez
- Universidad: Autónoma de Madrid
- Fecha de lectura de la tesis: 20/12/2007
Dirección y tribunal
- Director de la tesis
- Juan De Lara Jaramillo
- Tribunal
- Presidente del tribunal: manuel Alfonseca moreno
- Antonio Vallecillo moreno (vocal)
- isidro Ramos salavert (vocal)
- Miguel angel Laguna serrano (vocal)