Diagramática: una formalización para la construcción de lenguajes visuales

Abstract

En este trabajo propongo una formalización basada en gramáticas de atributos que permite capturar en forma precisa la estructura de los diagramas y su simultánea evaluación (p. ej., construir/evaluar automáticamente el modelo semántico de los diagramas durante la construcción de los mismos). Comencé este trabajo en el marco de un proyecto colaborativo entre la UNLP y la PUC (Pontificia Universidad Católica do Rio de Janeiro) y reporté algunos resultados preliminares. En dicha instancia introduje la idea básica do utilizar gramáticas para capturar la estructura de los diagramas y estudié además distintas alternativas para la formalización. Además, ese proyecto culminó con la construcción de un prototipo funcional que mostraba la importancia práctica de la investigación previamente mencionada. En esta tesis reporto el trabajo mencionado y brindo un análisis más comprensivo y extenso del uso de gramáticas para la descripción de los lenguajes visuales. Por otro lado, y a fin de demostrar la importancia práctica, desarrollo un editor que utiliza los conceptos expresados, mostrando de esta forma cómo el diseño y prototipación de lenguajes visuales se vé simplificada en forma significativa. Además el trabajo está acompañado de una serie de ejemplos prácticos que apoyan el desarrollo.