Eignung von Grammatik-basiertem Layout für grafische Programmiersprachen Seminar Layout-Algorithmen für Graphen Institut für Informatik Christian-Albrechts.

Slides:



Advertisements
Ähnliche Präsentationen
Prüfungspläne Bachelor-Thesis
Advertisements

Semantik und Wissensrepräsentation
Kontextfreie Grammatiken
LS 2 / Informatik Datenstrukturen, Algorithmen und Programmierung 2 (DAP2)
Informatik 12 | DAES Compilerbau Wintersemester 2010 / 2011 Dr. Heiko Falk Technische Universität Dortmund Lehrstuhl Informatik 12 Entwurfsautomatisierung.
Graphen Ein Graph ist eine Kollektion von Knoten und Kanten. Knoten sind einfache Objekte. Sie haben Namen und können Träger von Werten, Eigenschaften.
Gliederung 1. Grundlagen der Bottom-Up-Syntaxanalyse
TECHNISCHE UNIVERSITÄT DARMSTADT Naive Bayes for Ranking
B-Bäume.
R. Der - Vorlesung Algorithmen und Datenstrukturen (Magister)
Default Logiken Zhao Li
8. Formale Sprachen und Grammatiken
Puck eine visuelle Programmiersprache für die Schule
Imperative Programmierung
Einführung in Berechenbarkeit und Formale Sprachen
Grammatiken, Definitionen
Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Grammatiken beschreiben Sprachen L µ *, indem.
Christian Schindelhauer
Anwendung und Visual Basic
Kapitel 4 Syntaktische Analyse: LR Parsing.
Parser generieren Yet Another Compiler – Compiler YACC.
QBE in MS Access formulieren
Vorlesung Informatik 2 Algorithmen und Datenstrukturen (04 – Entwurfsverfahren) Prof. Th. Ottmann.
Algorithmen und Datenstrukturen
Layout Algorithmen.
HTML - Eine erste Annäherung
M a r c – o l i v e r p a h l Informatik II – Kapitel 18 Übersetzung Zusammenfassung des Kapitel 18 Küchlin, Weber, Vorversion Einführung in die Informatik,
Informatik II – Kapitel 13
Prof. Dr. rer.nat. Ralph Großmann Fakultät Informatik / Mathematik Sommersemester 2012 Internet-Technologien XML-basierte Techniken Teil Metasprache der.
Parsing regulärer Ausdrücke
Rigi und Web2Rsf vorgestellt von Tobias Weigand. Inhalt Ziel von Web2Rsf und Rigi Vorstellung des Parsers Web2Rsf Vorstellung des Werkzeugs Rigi Analyse.
PG 478 – Open Graph Drawing Framework Thema: Compounds & Force-Directed Francois Bertault & Mirka Miller – An Algorithm for Drawing Compound Graphs [1999]
High Performance = Innovative Computer Systems + Efficient Algorithms Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen.
Algorithmen und Komplexität
1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einführung in Berechenbarkeit, Formale Sprachen und Komplexitätstheorie Wintersemester.
Christian Schindelhauer
Einführung in Berechenbarkeit, Formale Sprachen und Komplexitätstheorie Wintersemester 2005/ Vorlesung Dominic Dumrauf.
Christian Schindelhauer
Minimum Spanning Tree: MST
Struktur-Funktions-Modelle von Pflanzen - Sommersemester Winfried Kurth Universität Göttingen, Lehrstuhl Computergrafik und Ökologische Informatik.
Struktur-Funktions-Modelle von Pflanzen - Sommersemester Winfried Kurth Universität Göttingen, Lehrstuhl Computergrafik und Ökologische Informatik.
Folie 1 Reengineering-Werkzeugen für Webseiten Johannes Martin, University of Victoria Ludger Martin, Technische Universität Darmstadt WSR 2001 Bad Honnef,
Grundkurs Theoretische Informatik, Folie 7.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 7 Gottfried Vossen Kurt-Ulrich Witt.
Vorschläge für Bachelor Arbeiten in 2009 (2010)
Christian Schindelhauer Wintersemester 2006/07 8. Vorlesung
Black Box Algorithmen Hartmut Klauck Universität Frankfurt SS
Typo3 Templates und TypoScript
Effiziente Algorithmen
Effiziente Algorithmen Hartmut Klauck Universität Frankfurt SS
CGI (Common Gateway Interface)
Algorithmen und Datenstrukturen Übungsmodul 8
Beispiele: KFG 2.Teil Beispiel 1: Sei G eine Grammatik mit den folgenden Regeln: S  Ac | Bd A  aAb | ab B  aBbb | abb Definieren Sie.
Delphi Einführung Von Frank Schullerer. Inhalt  1 Einführung  2 Die integrierte Entwicklungsumgebung  3 Komponenten  4 Das erste Programm  5 Die.
Christian Schindelhauer Wintersemester 2006/07 6. Vorlesung
Informatik Formale Sprachen 1.2 Grammatiken formaler Sprachen
Informatik Formale Sprachen 1.1 Aufbau von Sprachen
Analyse der Laufzeit von Algorithmen
Agenda Motivation und Einordnung Syntaxgerichtete Übersetzung
Institut für Softwarewissenschaft – Universität WienP.Brezany 1 Beispiele (Frist: ) Beispiel 1: Sei  = {a, b} ein Alphabet und Q = {q 0, q 1 } eine.
7. Formale Sprachen und Grammatiken
Semantische Analyse und attributierte Grammatiken
2 Grundlagen In diesem Abschnitt werden die Grundbegriffe und Methoden der Theorie der formalen Sprachen und der Automaten wiederholt, soweit diese ben.
Strukturmodelle: Systematik, State of the Art bearbeitet von: Dr. Gerhard Buck-Sorlin Institut für Pflanzengenetik und Kulturpflanzenforschung Gatersleben.
Struktur-Funktions-Modelle von Pflanzen - Sommersemester Winfried Kurth Universität Göttingen, Lehrstuhl Computergrafik und Ökologische Informatik.
Anmerkung des Autor Diese Präsentation ist mit Powerpoint für MacOS erstellt. Leider ist sie nicht vollständig mit Powerpoint für Windows kompatibel.
Gliederung der Vorlesung
13.Dezember 2006–1Elektronisches Publizieren: Schemasprachen — Relax NG Schemasprachen für XML — Relax NG — Anne Brüggemann-Klein TU München.
Schulungsunterlagen der AG RDA Vertretungen der Öffentlichen Bibliotheken 1.
Algorithmen und Datenstrukturen
DiaPlan Stefan Wilcke 8. Juli 2004.
 Präsentation transkript:

Eignung von Grammatik-basiertem Layout für grafische Programmiersprachen Seminar Layout-Algorithmen für Graphen Institut für Informatik Christian-Albrechts Universität zu Kiel Kevin Hesse

Struktur Einführende Worte Graph-Grammatik Layout-Graph-Grammatik Gruppierung von Teilgraphen und Parser-Graphen Reversed Graph Grammar VisPro RGG mit Layout-Regeln in VisPro Anwendung im Beispielfall Auswertung 2

Einführende Worte Grammatik-basiertes Layout Grafische Programmiersprachen Kombination 3

Graph-Grammatik 4

5

Aufbau der Grammatik wie bei Wörtern Graph muss markiert sein Regeln müssen angepasst werden – Einbettungsinformationen – Graph als Rechte Seite der Regel Gleichheit bedeutet Isomorphie 6

Layout Graph-Grammatik 7

Trotz Layout-Komponente wieder eine Graph- Grammatik Positionsbedingung müssen konsistent sein Nach Brandenburg werden nur allgemein die Horizontale und die Vertikale bedacht. Keine konkreteren Angaben 8 F. Brandenburg: Layout graph grammars: The placement approach

Gruppierung von Teilgraphen und Parser-Graphen nach McCreary et al. Bildung von Gruppen von Teilgraphen Parser-Graph, gebildet aus Gruppen als Knoten und Nichtterminalen als Blätter Ein Algorithmus bildet aus dem Parser-Graph mit Hilfe von Relationsinformationen einen neuen Graphen 9 C. McCreary, R. Chapman, and F.-S. Shieh. Using graph parsing for automatic graph drawing

Reversed Graph Grammar Nicht kontextfrei Keine Kanten im herkömmlichen Sinne Knoten enthalten Verbindungsinformationen 10 K. Z. D-Q. Zhang. Reserved Graph Grammar: A Specication Tool for Diagrammatic VPLs

Struktur Einführende Worte Graph-Grammatik Layout-Graph-Grammatik Gruppierung von Teilgraphen und Parser-Graphen Reversed Graph Grammar VisPro RGG mit Layout-Regeln in VisPro Anwendung im Beispielfall Auswertung 11

VisPro Programm zum erstellen von visuellen Programmiersprachen Grammatik der Sprache über Graph- Grammatik Parser zur Auswertung kann generiert werden Layout-Generierung kann auf den Regeln der Auswertung der Sprache beruhen 12 K. Z. D-Q. Zhang. VisPro: A Visual Language Generation Toolset

RGG mit Layout-Regeln in VisPro Der Parser kann beim Prüfen der Syntax direkt das neue Layout berechnen Beim Auswerten des Graphen kann dann das neue Layout gezeichnet werden Layout ist an Korrektheit gebunden 13

14 K.-B. Zhang, K. Zhang, and M. Orgun. Grammar-based layout for a visual programming language generation system

Anwendung im Beispielfall 15 K.-B. Zhang, K. Zhang, and M. Orgun. Grammar-based layout for a visual programming language generation system

Anwendung im Beispielfall 1.Prüfen der Syntax 2.Parser-Graph mit Gruppen erstellen 3.Größen-Bestimmung der Teilbäume in den Gruppen 4.Optimierung der Kantenverläufe 5.Bestimmung der Positionen der einzelnen Knoten anhand der Layout-Regeln 16

Auswertung Anwendbarkeit – Programmabhängig, unwahrscheinlich, dass viele Programme solch Tiefe Layout-Bestimmungen anbieten – Mit VisPro jedoch, einfach und nebenbei umsetzbar – Kann an jede visuelle Programmiersprache angepasst werden 17

Auswertung Endnutzerfreundlichkeit – Visuelle Programmiersprachen Entwickler (VisPro): Kann mit den syntaktischen Regeln zusammen erstellt werden Ergibt sich mit der Sprache – Nutzer von solchen Programmiersprachen: Layout ist intuitiv, da an Syntax gekoppelt Kein zusätzlicher Aufwand, Layout wird, bei korrekter Syntax, angepasst 18

Auswertung Flexibilität – Wenig, da es sich um ein Regelsystem handelt – Ausnahmen sind schwer einzurichten, grade wegen der Verknüpfung zur Syntax – Jede Regel kann jedoch individuell das Layout beeinflussen und die Einteilung in Gruppen tut dies ebenso, daher nicht ganz unflexibel 19

Auswertung Fazit +Passt sehr gut zu visuellen Programmiersprachen +Benötigt keine weiteren Programmierkenntnisse und es müssen keine Algorithmen angepasst werden -Wenig Flexibel -Entwicklungsprogramm muss diese Art von Layout unterstützen 20

Ende Fragen? 21