Einführung in das Graphical Modeling Framework. 13. November 2012

Transkript

1 Einführung in das Graphical Modeling Framework 13. November

2 Überblick Was ist der Unterschied zwischen abstrakter Syntax und konkreter Syntax? Welche Arten von graphischen Editoren gibt es? Freihandeditoren syntaxgesteuerte Editoren Wie kann man mit dem Graphical Modeling Framework (GMF) einen graphischen Editor spezifizieren? Trennung von Domänen- und Diagrammmodell Abbildung zwischen Domänen- und Diagrammmodell Generierungsprozess Wie geht es viel einfacher mit Eugenia? Ein erstes Beispiel: ein einfacher Petrinetzeditor Taentzer Visuelle Sprachen 101

3 Beispiel: Ein Petrinetz konkrete Syntax produce ready to deliver deliver buffer filled remove ready to consume consume ready to produce buffer empty ready to remove abstrakte Syntax Taentzer Visuelle Sprachen 102

4 Freies Editieren feste Sprachsymbole, frei verwendbar: festes Alphabet Zusätzliche Wohlgeformtheitsregeln müssen überprüft werden. feste graphische Symbole, frei verwendbar: kein Alphabet definiert Abstrakte Syntax muss erkannt werden. freie Zeicheneditoren: Mit einem Stift können beliebige Formen eingegeben werden. Graphische Symbole müssen erst erkannt werden. Von welcher Art sind GMF- Editoren? z.b. der Ecore Diagramm Editor Taentzer Visuelle Sprachen 103

5 Freies Editieren Graphik Scanning Repräsentationsgraph Syntaxcheck Vor- und Nachteile: freies Editieren freie Layoutanpassung Editieren kann sehr "lowlevel" sein. Für jedes Diagramm muss ein Syntaxcheck durchgeführt werden. abstrakter Syntaxgraph Taentzer Visuelle Sprachen 104

6 Syntaxgesteuertes Editieren sprachabhängige Editieroperationen Einfügen und Löschen ganzer Sprachkonstrukte weitgehend automatisches Layout Vor- und Nachteile: Die Graphik ist immer korrekt. Ein Syntaxcheck der Graphik ist nicht nötig. Die Editieroperationen geben meist einen bestimmte Arbeitsweise vor. Das Layout kann nur begrenzt individuell festgelegt werden. Taentzer Visuelle Sprachen 105

7 Entwicklung eines graphischen Editors zu Fuß programmiert: Der Editor kann sehr speziell auf die Sprache angepasst werden. Die Oberfläche ist meist nicht standardisiert. viel "low-level" Implementierungsarbeit aus einer Sprachspezifikation generiert: weitgehend eine Standardoberfläche für verschiedene Sprachen, weniger speziell auf die Sprache zugeschnitten Ein Generator muss implementiert werden. "high-level" Entwicklung eines Editors Taentzer Visuelle Sprachen 106

8 Graphical Modeling Project (GMP) Designer und Generator für graphische Editoren Laufzeit-Infrastrukturen für graphische Editoren Unterprojekt: GMF (Graphical Modeling Framework) basiert auf den Eclipse- Plugins EMF und GEF (Graphical Editor Framework) resultierende GMF-Editoren sind auch Eclipse Plugins Link: GMF Konzepte: Trennung von abstrakter und konkreter Syntax im Editordesign Trennung von Domänenund Diagrammmodell Modell der Editoroberfläche Editoren für graphartige Diagramme Taentzer Visuelle Sprachen 107

9 GMF-Editor-Generierung strukturiertes Editormodell Ecore GmfTool GmfGraph GmfMap Generatormodell GenModel GmfGen Generator generierter Editor Taentzer Visuelle Sprachen 108

10 GMF Vorgehen GMF Projekt enthält ein Dashboard. Taentzer Visuelle Sprachen 109

11 Domänen-/Diagrammmodelle Domänenmodelle enthalten keine Layoutinformationen. Struktur orientiert sich entlang der Domäneninformation. Domänenmodelle können verschieden dargestellt werden: textuelle Darstellung Baumsicht verschiedene graphische Sichten Diagrammmodelle definieren Diagrammdarstellungen. Diagrammmodelle sind von speziellen Domänen unabhängig. Ein Diagrammmodell kann für die Darstellung verschiedener Domänenmodelle verwendet werden. Klassendiagramme für verschiedene EMF-Modelle Aktivitätendiagramme für Geschäftsprozesse, verteilte Algorithmen, etc. Taentzer Visuelle Sprachen 110

12 GMF-Domänenmodell EMF-Modell, das die Anwendungsdomäne beschreibt Wenn es keine spezielle Anwendungsdomäne gibt, definiert das Domänenmodell die abstrakte Syntax. Generierung des Gen- Modells: File New Other Eclipse Modeling Framework EMF Model, Ecore Datei auswählen Model- und Edit-Code erzeugen Taentzer Visuelle Sprachen 111

13 GMF-Diagrammmodell EMF-Modell, das eine Menge von graphartigen Diagrammen definiert kann direkt aus dem Domänenmodell abgeleitet werden dann definiert es eine vorgegebene konkrete Syntax zur abstrakten PetriEditor Diagrammmodell Taentzer Visuelle Sprachen 112

14 GMF-Modell für die Editoroberfläche EMF-Modell, das eine anwendungsspezifische Oberfläche definiert Es wird insbesondere die Editor-Palette definiert. PetriEditor-Oberflächenmodell Taentzer Visuelle Sprachen 113

15 Domänen-/Diagramm-Relation EMF-Modell, das die Beziehung zwischen Domänen-, Diagramm- und Oberflächenmodell definiert Domänenelemente müssen nicht angezeigt werden. Anzeige der Domänenelemente ist flexibel. PetriEditor- Domänen- /Diagramm- Relation: Taentzer Visuelle Sprachen 114

16 Eugenia Erleichterte Definition der konkreten Syntax durch Annotationen am Domänenmodell Textuelle Notation des Domänenmodells: petrimodel.ecore Generate Emfatic Source GMF-Annotationen an Domänenklassen petrimodel.emf Generate Ecore Model Generierung der konkreten Syntax: petrimodel.ecore Eugenia Generate GMF tool, graph and map models Anschließend: Generierung des GMFGen-Modells und des Editors wie in GMF EuGenia GMF Tutorial: /doc/articles/eugenia-gmf-tutorial/ Download: Taentzer Visuelle Sprachen 115

17 Definition der konkreten Syntax mit Eugenia Taentzer Visuelle Sprachen 116

18 Definition der konkreten Syntax mit Eugenia Taentzer Visuelle Sprachen 117

19 Generierter Editor Simpler graphischer Editor für Petrinetze: Zum Starten des GMF-Editors: vom GMF-Projekt aus Run As->Eclipse Application aufrufen unter File->New-> Other-> Examples gibt es einen neuen Eintrag Taentzer Visuelle Sprachen 118

20 Zusammenfassung Es gibt verschiedenartige graphische Editoren: syntaxgesteuerte Editoren Freihand-Editoren Einführung in das Graphical Modeling Framework: Trennung von Domänen- und Diagramminformation Das Domänenmodell enthält keine Layoutinformation. Die konkrete Syntax wird im Diagrammmodell definiert. Der GMF-Generierungsprozess basiert auf EMF und GEF. Eugenia erleichtert die Definition von GMF-basierten Editoren. Literatur zu GMF: Richard Gronback: Eclipse Modeling Project: A Domain- Specific Language (DSL) Toolkit, Addison Wesley, 2009 Taentzer Visuelle Sprachen 119