Universität Bremen  
  FB 3 Informatik  
  B. Hoffmann > GraTra-Tag > Deutsch
English
 

Nutzung von Hypergraphvervollständigungen zur Realisierung von Diagrammvervollständigungen und Editieroperationen
 
Vortrag von Steffen Mazanek, Universität der Bundeswehr München.

Abstract

In [1] haben wir gezeigt, wie man Hypergraphvervollständigungen (HCs) bezüglich Hyperkantenersetzungsgrammatiken (HRGs) berechnen kann. Dabei wird ein gegebener Hypergraph durch Einfügen von Kanten und Verkleben von Knoten derart modifiziert, dass der resultierende Hypergraph zur Sprache der jeweiligen HRG gehört. HCs haben sich in der Domäne der Diagrammeditoren als nützlich erwiesen: So werden im DiaGen-System [4] HRGs zur Definition von visuellen Sprachen genutzt. Diagramme werden dabei intern durch einen Hypergraphen repräsentiert. Ein Hypergraphparser wird für die syntaktische Analyse eingesetzt [2]. Dieser Ansatz ermöglicht das freie Editieren von Diagrammen. Ein inkorrektes bzw. unvollständiges Diagramm kann korrigiert werden, indem eine HC seines Hypergraphmodells (falls existent) in eine entsprechende Diagrammvervollständigung umgerechnet wird [3]. Als wichtiger Spezialfall können HCs des leeren Hypergraphen benutzt werden, um Beispieldiagramme der zu Grunde liegenden Sprache zu generieren.

Des Weiteren kann man HCs einsetzen, um korrektheitserhaltende oder sogar korrigierende Editieroperationen zu generieren. Dazu wird die entsprechende Komponentenhyperkante scheinbar aus ihrem Kontext herausgelöst und HCs für den resultierenden Hypergraphen berechnet. Die sich ergebenden HCs können, sofern sie bestimmten Relevanzkriterien genügen, direkt in entsprechende Editieroperationen transformiert werden.

Die resultierenden Diagrammeditoren vereinen die Vorteile von freiem und strukturiertem Editieren: Der Nutzer hat alle Freiheiten beim Erstellen seiner Diagramme. Gleichzeitig steht ihm eine leistungsstarke Unterstützungskomponente zur Verfügung.

Referenzen

  1. S. Mazanek, S. Maier, M. Minas. An Algorithm for Hypergraph Completion according to Hyperedge Replacement Grammars. Proc. of the 4th International Conference on Graph Transformation (ICGT 2008), 2008. LNCS, Volume 5214/2008, Seiten 39-53.
  2. M. Minas. Diagram editing with hypergraph parser support. Proc. of the 1997 IEEE Symposium on Visual Languages (VL'97), 1997. IEEE Computer Society Press, Seiten 226-233.
  3. S. Mazanek, S. Maier, M. Minas. Auto-completion for Diagram Editors based on Graph Grammars. Proc. of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2008), 2008. IEEE Computer Society Press, Seiten 242-245.
  4. Webseite DiaGen
  5. Webseite Graphvervollständigung
 
   
Autor: Dr. Berthold Hoffmann 		 
   
Zuletzt geändert am: 27. Oktober 2008