Deklarative Spezifikation visueller Sprachen durch graphische Beispiele oder Ein Bild sagt mehr als tausend Formeln

Zusammenfassung

Trotz der zunehmenden Verbreitung visueller Sprachen sind ihre formalen Grundlagen, insbesondere ihre Spezifikation, noch unzureichend untersucht. Vor allem die Frage, ob und wie visuelle Sprachen durch ebenfalls visuelle Spezifikationen exakt beschrieben werden können, hat erstaunlich wenig Beachtung gefunden, obwohl gerade solche Formalismen die Möglichkeit zu zugleich leicht verständlichen und maschinell verarbeitbaren Spezifikationen in sich tragen. In der vorliegenden Arbeit wird ein solcher Formalismus vorgestellt, dessen Kernidee darin besteht, Logikformalismen um unifizierbare graphische Bildterme zu erweitern, die als partiell spezifizierte Beispielbilder betrachtet werden können.