Resumen de Especificación orientada a objetos de lenguajes visuales de grafos

Amador Durán Toro , José Miguel Toro Bonilla

• Los pocos formalismos existentes en el joven campo de los lenguajes visuales carecen de herramientas asociadas o sus algoritmos de análisis no son eficientes, por lo que los entornos de programación necesarios para este tipo de lenguajes has de construirse casi desde cero, empleando grandes cantidades de tiempo y trabajo. En este artículo se esbozan las primeras líneas de un nuevo lenguaje (textual) de especificación orientado a objetos para lenguajes visuales de grafos basado en el lenguaje de especificación formal Z. También se exponen las características generales de los entornos de programación visual que se podrían generar automáticamente a partir de las especificaciones. El lenguaje propuesto permite especificar los aspectos léxicos, sintácticos y de semántica estática de lenguajes visuales de grafos con un estilo orientado a objetos que favorece la modularidad de la especificación y la reutilización de especificaciones previas.