Research: Progres

Home Language Environment Release Installation Documentation Applications Publications Mailing List Related Libraries Copyright

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),

Ahornstr. 55,
D-52056 Aachen

Created by: system last modification: Tuesday 19 of August, 2008 [07:16:15 UTC] by admin