Inhalt

•  
   1 Einführung
•  
  2 Implementieren visueller Sprachen
•  
   2.1 Visuelle Sprachen und visuelle Programmierung
•  
   2.1.1 Überblick
•  
   2.1.2 Einige visuelle Sprachen
•  
   2.1.2.1 Unified Modeling Language
•  
   2.1.2.2 LabView
•  
   2.1.2.3 Prograph
•  
   2.1.2.4 Streets
•  
   2.1.2.5 Fluß- und Nassi-Shneiderman-Diagramme
•  
   2.1.3 Entwurf visueller Sprachen
•  
   2.1.3.1 ``Cognitive Dimensions''
•  
   2.1.3.2 Match-Mismatch-Hypothese
•  
   2.2 Grundlegende Methoden und Werkzeuge
•  
   2.2.1 Muster
•  
   2.2.2 Attributierte Grammatiken
•  
   2.2.2.1 Inkrementelle Attributauswerter
•  
   2.2.2.2 Modularisierung und Wiederverwendung
•  
   2.2.3 Constraints
•  
  2.3 Entwicklungsumgebungen für visuelle Sprachen
•  
   2.3.1 Universaleditor und visuelle Parser
•  
   2.3.1.1 Visuelle Parser
•  
   2.3.2 Struktureditoren
•  
   2.3.3 Grundlagen von Struktureditoren
•  
   2.3.3.1 Repräsentation der Programme
•  
   2.3.3.2 Layout
•  
   2.3.4 Generatoren von Struktureditoren
•  
   2.3.4.1 PROGRESS
•  
   2.3.4.2 GenGEd
•  
   2.3.4.3 VPE
•  
   2.3.4.4 GIGAS
•  
   2.3.4.5 LOGGIE
•  
   2.3.4.6 VIVID
•  
  3 Muster in visuellen Sprachen
•  
   3.1 Die Idee
•  
   3.2 Die Methode
•  
   3.2.1 Anwendbarkeit
•  
   3.3 Visuelle Muster
•  
  3.4 Suche nach visuellen Mustern
•  
   3.4.1 Auswahl untersuchter Sprachen
•  
   3.4.2 Durchführung der Untersuchung
•  
  3.4.3 Ergebnis
•  
   3.4.3.1 Tupel: das Formular- und das Registerkarten-Muster
•  
   3.4.3.2 Folgen: das Listen- und das Stapel-Muster
•  
   3.4.3.3 Mengen: das Mengen-Muster
•  
   3.4.3.4 Relationen: Das Linien- und das Attribut-Relations-Muster
•  
   3.4.3.5 Kombinationen: das Tabellen-, das Matrix- und das Graph-Muster
•  
   3.5 Literaturbezug
•  
   4 Generieren von Struktureditoren mit VLEli
•  
   4.1 Attributierte Grammatiken
•  
   4.1.1 Strukturbäume
•  
   4.1.2 Abstraktionstechniken
•  
   4.1.3 Attributauswertung und Effizienz
•  
   4.1.4 Auswahl eines Generators
•  
   4.2 Repräsentation visueller Programme durch Strukturbäume
•  
   4.2.1 Kombination aus Strukturbaum und Definitionstabelle
•  
   4.2.2 Spezifikation der Repräsentation
•  
   4.2.3 Darstellbare Strukturen
•  
   4.2.4 Beispiel
•  
   4.3 Sichten
•  
   4.3.1 Motivation
•  
   4.3.2 Spezifikation
•  
   4.3.2.1 Graphische Darstellung einer Sicht
•  
   4.3.2.2 Werkzeugleiste einer Sicht
•  
   4.3.3 Beispiel und Diskussion
•  
   4.3.4 Model-View
•  
   4.4 Graphische Darstellung
•  
   4.4.1 Layoutberechnung durch den Attributauswerter
•  
   4.4.1.1 Automatisch berechnetes Layout
•  
   4.4.1.2 Manuell unterstütztes Layout
•  
   4.4.2 Layoutberechnung mit Constraints
•  
   4.4.2.1 Constraints
•  
   4.4.2.2 Kombinierte Layoutberechnung
•  
   4.4.2.3 Auswahl von Parcon
•  
   4.4.2.4 Einbindung des Constraint-Solvers
•  
   4.4.3 Weitere Attributberechnungen
•  
   4.5 Editieren visueller Programme
•  
   4.5.1 Einfügemarken
•  
   4.5.2 Drag&Drop
•  
   4.5.2.1 Drag&Drop innerhalb eines Fensters
•  
   4.5.3 Spezielle Editieroperationen
•  
   4.6 Analyse- und Weiterverarbeitung
•  
   4.6.1 Konsistenzprüfungen
•  
   4.6.1.1 Prüfung der Verbindungen bei Petri-Netzen
•  
   4.6.1.2 Konsistenz zwischen Tabellendefinition und Abfragen bei QBE
•  
   4.6.2 Übersetzung visueller Programme
•  
   4.7 Literaturbezug
•  
   5 Entwicklung und Einsatz von Spezifikationsmodulen
•  
   5.1 Konzepte
•  
  5.1.1 Anwendung der Spezifikationsmodule
•  
   5.1.1.1 Die Sprache VCore
•  
   5.1.1.2 Änderungen der graphischen Darstellung
•  
   5.1.1.3 Sprachänderungen
•  
   5.1.2 Kombination der Spezifikationsmodule
•  
   5.1.2.1 Schnittstelle für geschachtelte Darstellungen
•  
   5.1.2.2 Box-and-Glue-Layout
•  
   5.1.2.3 Constraintbasiertes Layout
•  
   5.1.2.4 Linien
•  
   5.1.3 Symbolrollendiagramme
•  
   5.1.4 Dynamische Zeichnungen
•  
  5.2 Evaluierung
•  
   5.2.1 Überblick über die Spezifikationsmodulbibliothek
•  
   5.2.1.1 Das SimpleList- und das RecursiveList-Modul
•  
   5.2.1.2 Das Set-Modul
•  
   5.2.1.3 Das Form-Modul
•  
   5.2.1.4 Das Table-Modul
•  
   5.2.1.5 Die Linien-Module
•  
  5.2.2 Implementierung visueller Sprachen mit Modulen
•  
   5.2.2.1 Anwendungsbeispiele
•  
   5.2.2.2 Untersuchung der Spezifikation
•  
   5.2.2.3 Effizienz der generierten Sprachimplementierung
•  
   5.2.2.4 Benutzbarkeit der generierten Sprachimplementierung
•  
   5.3 Literaturbezug
•  
   6 Zusammenfassung und Ausblick
•  
   Abbildungsverzeichnis
•  
   Tabellenverzeichnis
•  
   Literaturverzeichnis