HINWEIS: Diese Seiten sind veraltet. Bitte erwägen Sie, auf die Seiten des Nachfolgesystems DEViL zu wechseln.
Visuelle Ausdrücke werden in VL-Eli durch einen Baum repräsentiert, dessen Struktur durch eine kontextfreie Grammatik beschrieben wird. Die Knoten des Baumes können Attribute beliebigen Typs und Querbeziehungen zu anderen Baumknoten besitzen. Die visuelle Repräsentation wird aus dem abstrakten Strukturbaum berechnet und Änderungen an der visuellen Darstellung werden wiederum auf die abstrakte Struktur zurückgeführt. Berechnungen auf dem abstrakten Strukturbaum lassen sich einfach und deklarativ durch attributierte Grammatiken beschreiben. Sowohl die Berechnung der visuellen Repräsenatation, als auch strukturelle Transformationen, Analysen und Übersetzungsschritte lassen sich durch diese Technik realisieren.
Zur weiteren Vereinfachung der Spezifikation sind wiederverwendbare Lösungen für häufig auftretende Teilprobleme in sogenannten Spezifikationsmodulen gekapselt. Diese können flexibel miteinander kombiniert und auf die konkreten Bedürfnisse angepasst werden.
Im Problembereich der Editor-Implementierung kapseln die Spezifikationsmodule sogenannte visuelle Muster. Das Konzept der visuellen Muster ermöglicht es, häufig eingesetzte Ausdrucksmittel in visuellen Sprachen auf hohem Niveau wiederzuverwenden und zu kombinieren. Visuelle Sprachen lassen sich in vielen Fällen fast vollständig implementieren, indem die Muster der visuellen Darstellung identifiziert und die entsprechenden Spezifikationsmodule zu deren Realisierung instanziiert werden.
Visuelle Muster kapseln neben den Darstellungseigenschaften der visuellen Konstrukte auch spezialisierte Interaktions- und Layoutmechanismen. Aufgrund dieser Eigenschaft hat unsere Spezifikationstechnik das Potential, intuitive und benuterfreundliche Editoren zu generieren.
Unsere Implementierung basiert auf dem Eli-System, was auch die Wiederverwendung dessen Werkzeuge zur Analyse und Weiterverarbeitung ermöglicht. Zur Realisierung der Benutzeroberfläche und der grafischen Darstellung wird Tcl/Tk verwendet. Zusätzlich ist der Constraintsolver Parcon integriert. VL-Eli besteht aus ca. 8000 Zeilen Tcl-Scripten, 1000 Zeilen Shell-Scripten, einer 5000 Zeilen langen Eli-Spezifikation der Spezifikationssprache vtree, sowie einer 12000 Zeilen langen Implementierung der Spezifikationsmodule für visuelle Muster.
Eine vollständige, evtl. aktuellere Liste aller Veröffentlichungen der Arbeitsgruppe ist unter
Veröffentlichungen
zu finden.