PROGRES - A Graph Grammar Programming Environment
An integrated environment and very high level language
for PROgrammed Graph REwriting Systems
The PROGRES project works on the theoretical foundations as well as the practical implementation of an executable specification language based on graph rewriting systems (graph grammars). It combines EER-like and soon UML-like class diagrams for the definition of complex object structures with graph rewrite rules and Fusion-like life cycle expressions for the definition of operations on these structures.
Created specifications are subject to about 300 different consistency checks and may be interpreted. Complete specifications are also translated into C and Tcl/Tk-code. In this way it is possible to generate prototypes of diagram editors, visual programming environments, and so forth.
PROGRES is nowadays used at various sites around the world for purposes like prototyping process modeling and reengineering tools (Aachen, Paderborn, Leiden), and manipulating Sowa's Conceptual Graphs (Sophia Antopolis).
A sample screenshot of the PROGRES environment
Java binding developed as part of DRAGOS. Supported by the YourKit profiler.
For further information about PROGRES please contact
Dipl.-Inform. Erhard Weinell
Lehrstuhl für Informatik 3,
University of Technology Aachen (RWTH Aachen),
Created by: system last modification: Tuesday 19 of August, 2008 [07:16:15 UTC] by admin