[Praxisumfrage] Graphersetzungssysteme - Export der Grammatiken

[Prof84]

Hallo,

ich suche ein Tool um Graphgrammatiken zu entwickeln und zu exportieren (vorzugsweise in XML).

Ich habe 3 Tools gefunden:
http://de.wikipedia.org/wiki/GrGen
http://de.wikipedia.org/wiki/Progres
http://user.cs.tu-berlin.de/~gragra/agg/

Hat jemand schon mit ihnen gearbeitet und kann mir sagen wie das mit dem Export aussieht? Kennt jemand weitere Tools. Google-Buzz erscheinen nicht selektiv.

Beiträge zu formalen Sprachen der Grammatiken wären auch interessant z.B.:
http://www.se.rwth-aachen.de/tikiwiki/tiki-index.php%3Fpage_ref_id=564.html

Bisher habe ich alles immer mit Scripten, Eclipse oder Java gelösst. Nur im Moment bin ich es leid jedesmal ein Tool für Tool für ein Tool für ein Tool zu entwickeln. Zuviel Nebenkampfplätze ...