Home

Language

Environment

Release

Installation

Documentation

Applications

Publications

Mailing List

Related

Libraries

Copyright

List of Publications

Refer to the following publications for further information about PROGRES. Please also note the references specifically dealing with GRAS.

/RW08/

U. Ranger, E. Weinell: The Graph Rewriting Language and Environment PROGRES, in: Applications of Graph Transformations with Industrial Relevance, vol. 5088 of LNCS, Springer 2008.


/V+08/

D. Varro , M. Asztalos, D. Bisztray, A. Boronat, R. Geiß, M. Gogolla, P. van Gorp, O. Kniemeyer, A. Narayanan, E. Rencis, E. Weinell: Graph Transformation Tools Contest on the Transformation of UML Models to CSP, in: Applications of Graph Transformations with Industrial Relevance, vol. 5088 of LNCS, Springer 2008.
Also see the Tool Contest Wiki for comparison with other solutions.

/BS99/

D. Blostein, A. Schürr: Computing with Graphs and Graph Rewriting , in: Software - Practice & Experience, Vol. 29, No. 3, Los Alamitos: IEEE Computer Society Press (1999), 1-21


/BMST98/

R. Bardohl, M. Minas, A. Schürr, G. Taentzer: Application of Graph Transformation to Visual Languages, appears in: G. Rozenberg (ed.): Handbook on Graph Grammars: Applications, Vol. 2, Singapur: World Scientific (1998)


/BS97/

Blostein D., Schürr A.: Computing with Graphs and Graph Rewriting, Technical Report AIB 97-8, Fachgruppe Informatik, RWTH Aachen, Germany


/ELNSS92/

Engels G., Lewerentz C., Nagl M., Schaefer W., Schürr A.: Building Integrated Software Development Environments Part I: Tool Specification. In acm Transactions on Software Engineering and Methodology, vol. 1, no. 2, pp. 135-167


/KSW96/

N. Kiesel, A. Schürr, B. Westfechtel: GRAS, a Graph-Oriented Software Engineering Database System, in: M. Nagl (ed.): Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, LNCS 1170, Berlin: Springer Verlag (1996), 397-425


/KSZ96/

P. Klein, A. Schürr, A. Zündorf: Generating Single Document Processing Tools, in: M. Nagl (ed.): Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, LNCS 1170, Berlin: Springer Verlag (1996), 440-456


/KNS98/

P. Klein, M. Nagl, A. Schürr: IPSEN Tools, appears in: G. Rozenberg (ed.): Handbook on Graph Grammars: Applications, Vol. 2, Singapur: World Scientific (1998)


/Lefering94/

Lefering M.: Development of Incremental Integration Tools Using Formal Specifications, Technical Report AIB 94-02, RWTH Aachen, Germany (1994)


/LS96/

M. Lefering, A. Schürr: Specification of Integration Tools, in: M. Nagl (ed.): Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, LNCS 1170, Berlin: Springer Verlag (1996), 324-334


/MSW98/

M. Münch, A. Schürr, A. Winter: Integrity Constraints in the Multi-paradigm Language PROGRES, in: Proc. VL'98 14th Int. IEEE Symp. on Visual Languages, Halifax, Canada, Sept. 1998, Los Alamitos: IEEE Computer Society Press (1998)


/Nagl89/

Nagl M.(ed.): Proc. WG'89 Workshop on Graph-Theoretic Concepts in Computer Science, LNCS 411, Springer Verlag (1989)


/NS91/

Nagl M., Schürr A.: A Specification Environment for Graph Grammars, in Proc. 4th Int. Workshop on Graph-Grammars and Their Application to Computer Science, LNCS 532, Springer Verlag (1991), pp. 599-609


/NS96a/

M. Nagl, A. Schürr: Summary and Specification Lessons Learned, in: M. Nagl (ed.): Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, LNCS 1170, Berlin: Springer Verlag (1996), 370-378


/NS96b/

M. Nagl, A. Schürr: Software Integration Problems and Coupling of Graph Grammar Specifications, in: Proc. 5th Int. Workshop on Graph-Grammars and Their Application to Computer Science, Williamsburg, USA, Nov. 1994, LNCS 1073, Berlin: Springer Verlag (1996), 155-169


/NSW96/

M. Nagl, A. Schürr, A. Winter: Specification in the Large for Graph Grammars, in: M. Nagl (ed.): Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, LNCS 1170, Berlin: Springer Verlag (1996), 535-555


/RS95a/

J. Rekers, A. Schürr: A Graph Grammar Approach to Graphical Parsing, in: V. Haarslev (ed.): Proc. VL'95 11th Int. IEEE Symp. on Visual Languages, Darmstadt, Sept. 1995, Los Alamitos: IEEE Computer Society Press (1995), 195-202


/RS95b/

J. Rekers, A. Schürr: A Graph Grammar Approach to Graphical Parsing, in: A. Nijholt, G. Scollo, R. Steetskamp (eds.): Proc. Twente Workshop on Language Technology 10 joint with First AMAST Workshop on Language Processing, Twente University, Netherlands, Dez. 1995, 163-172


/RS96/

J. Rekers, A. Schürr: A Graph Based Framework for the Implementation of Visual Environments, in: Proc. VL'96 12th Int. IEEE Symp. on Visual Languages, Boulder, Colorado, Sept. 1996, Los Alamitos: IEEE Computer Society Press (1996), 148-155


/RS97/

J. Rekers, A. Schürr: Defining and Parsing Visual Languages with Layered Graph Grammars, in: Journal of Visual Languages and Computing, Vol. 8, No. 1, London: Academic Press (1997), 27-55


/Schürr88/

A. Schürr: Modellierung und Simulation komplexer Systeme mit PROGRES, in: W. Ameling (Hrsg.): Proc. 5. Symp. Simulationstechnik, Aachen, Germany, Sept. 1988, Informatik-Fachberichte 179, Berlin: Springer-Verlag (1988), 84-91


/Schürr89/

Schürr A.: Introduction to PROGRES, an Attribute Graph Grammar Based Specification Language, in: /Nagl89/, pp 151-165


/Schürr91a/

Schürr A.: PROGRES: A VHL-Language Based on Graph Grammars, in Proc. 4th Int. Workshop on Graph-Grammars and Their Application to Computer Science, LNCS 532, Springer Verlag (1991), pp. 641-659, also: Technical Report AIB 90-16, RWTH Aachen, Germany (1990)


/Schürr91b/

Schürr A.: Operational Specifications with Programmed Graph Rewriting Systems (in German), Dissertation, RWTH Aachen, Deutscher Universitaetsverlag (1991)


/Schürr91c/

A. Schürr: PROGRES-Editor: A Text-Oriented Hybrid Editor for PROgrammed Graph REwriting SyStems, in: H. Ehrig, H.-J. Kreowski, G. Rozenberg (eds.): Proc. 4th Int. Workshop on Graph-Grammars and Their Application to Computer Science, Bremen, Germany, März 1990, LNCS 532, Berlin: Springer Verlag (1991), page 67


/Schürr94a/

Schürr A.: Logic Based Structure Rewriting Systems, in Proc. Dagstuhl-Seminar 9301 on Graph Transformation in Computer Science, LNCS 776, Springer Verlag (1994), pp. 341-357


/Schürr94b/

Schürr A.: PROGRES, A Visual Language and Environment for PROgramming with Graph REwrite Systems, Technical Report AIB 94-11, RWTH Aachen, Germany (1994) (also available in 8.5" x 11.0" format)


/Schürr94c/

Schürr A.: Specification of Graph Translators with Triple Graph Grammars, in Proc. WG 94, Int. Workshop on Graph- Theoretic Concepts in Computer Science, LNCS 903, Springer Verlag, pp. 151-163, also: Technical Report AIB 94-12, RWTH Aachen, Germany (1994)


/Schürr94d/

Schürr A.: Logic Based Programmed Structure Rewriting Systems, Technical Report AIB 94-13, RWTH Aachen, Germany (1994) (also available in 8.5" x 11.0" format)


/Schürr94e/

Schürr A.: Rapid Programming with Graph Rewrite Rules, in USENIX Symposium Proc. on Very High Level Languages, Usenix Association (1994), pp. 83-100 (also available in 8.5" x 11.0" format)


/Schürr96a/

A. Schürr: Programmed Graph Replacement Systems, in: G. Rozenberg (ed.): Handbook on Graph Grammars: Foundations, Vol. 1, Singapur: World Scientific (1997), 479-546


/Schürr96b/

A. Schürr: Logic Based Programmed Structure Rewriting Systems, G. Engels, H. Ehrig, G. Rozenberg (guest eds.): Fundamenta Informaticae, Special Issue on Graph Transformations, Vol. 26, No. 3/4 (double issue), Amsterdam: IOS Press (1996), 363-385


/Schürr96c/

A. Schürr: Introduction to the Specification Language PROGRES, in: M. Nagl (ed.): Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, LNCS 1170, Berlin: Springer Verlag (1996), 248-279


/Schürr96d/

A. Schürr: The Formal Background of PROGRES, in: M. Nagl (ed.): Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, LNCS 1170, Berlin: Springer Verlag (1996), 280-296


/Schürr97a/

A. Schürr: BDL - A Nondeterministic Data Flow Programming Language with Backtracking, in: Proc. VL'97 13th Int. IEEE Symp. on Visual Languages, Capri, Italien, Sept. 1997, Los Alamitos: IEEE Computer Society Press (1997), 398-405


/Schürr97b/

A. Schürr: Developing Graphical (Software Engineering) Tools with PROGRES, Formal Demonstration, in: Proc. 19th Int. Conf. on Software Engineering ICSE'97, Boston, Massachusetts, 18.-23. Mai 1997, Los Alamitos: IEEE Computer Society Press (1997), 618-619


/SW92/

Schürr A., Westfechtel B.: Graph Grammars and Graph Rewriting Systems (in German), Course Book, Technical Report AIB 92-15, RWTH Aachen, Germany (1992)


/SW97/

A. Schürr, A. Winter: Formal Definition and Refinement of UML's Module/Package Concept, in: ECOOP '97 Workshop Reader (Workshop 5 on Precise Semantics for Object-Oriented Modeling Techniques), 10. Juni 1997, Jyvaskyla, Finnland, LNCS 1357, Berlin: Springer Verlag (1997), 211-215


/SW98a/

A. Schürr, A. J. Winter: UML Packages for Programmed Graph Rewriting Systems, in: Proc. TAGT'98 - Theory and Application of Graph Transformations, Paderborn, Germany, Nov. 1998


/SW98b/

A. Schürr, A. Winter: Formal Definition of UML's Package Concept, in: M. Schader, A. Korthaus: The Unified Modeling Language - Technical Aspects and Applications, 1st GROOM UML Workshop Proc., Mannheim, Okt. 1998, Heidelberg: Physica-Verlag (1998), 144-159


/SWZ95a/

Schürr A., Winter A., Zündorf A.: Visual Programming with Graph Rewriting Systems, in: V. Haarslev (ed.): Proc. VL'95 11th Int. IEEE Symp. on Visual Languages, Darmstadt, Sept. 1995, Los Alamitos: IEEE Computer Society Press (1995), 326-335 (also available in 8.5" x 11.0" format)


/SWZ95b/

Schürr A., Winter A., Zündorf A.: Spezifikation und Prototyping graphbasierter Systeme, in: Proc. Fachtagung Software-Technik '95, TU Braunschweig, Okt. 1995, GI SofTec NRW (1995), 86-97


/SWZ95c/

Schürr A., Winter A., Zündorf A.: Graph Grammar Engineering with PROGRES in: W. Schäfer, P. Botella (eds.), Proc. of the 5th European Software Engineering Conference (ESEC'95), Barcelona, Spain, Sep. 95, LNCS 989, Springer-Verlag, Berlin (1995), pp. 219-234, also: Technical Report AIB 95-02, RWTH Aachen, Germany (1995)


/SWZ96/

A. Schürr, A. Winter, A. Zündorf: Developing Tools with the PROGRES Environment, in: M. Nagl (ed.): Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, LNCS 1170, Berlin: Springer Verlag (1996), 356-369


/SWZ98/

A. Schürr, A. Winter, A. Zündorf: PROGRES: Language and Environment, appears in: G. Rozenberg (ed.): Handbook on Graph Grammars: Applications, Vol. 2, Singapur: World Scientific (1998)


/SZ91/

Schürr A., Zündorf A.: Nondeterministic Control Structures for Graph Rewriting Systems, in Proc. WG'91 Workshop in Graph- Theoretic Concepts in Computer Science, LNCS 570, Springer Verlag (1992), pp. 48-62, also: Technical Report AIB 91-17, RWTH Aachen, Germany (1991)


/SZ96/

A. Schürr, A. Zündorf: Specification of Logical Documents and Tools, in: M. Nagl (ed.): Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, LNCS 1170, Berlin: Springer Verlag (1996), 297-323


/Westfe91/

Westfechtel B.: Revision Control in an Integrated Software Development Environment (in German), Dissertation, RWTH Aachen, Informatik-Fachberichte 280, Springer Verlag (1991)


/WS97a/

A. Winter, A. Schürr: Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems, Technical Report AIB 97-3, RWTH Aachen (1997), 22 pages


/WS97b/

A. Winter, A. Schürr: Adopt, Adapt, and Improve: UML packages for Graph Rewrite Systems, First European GetGrats (General Theory of Graph Transformation Systems) Workshop, Bordeaux, France, Okt. 1997 (6 pages)


/Zündorf89/

Zündorf A.: Control Structures for the Specification Language PROGRES (in German), Diploma Thesis, RWTH Aachen, Germany (1989)


/Zündorf92/

Zündorf A.: Implementation of the Imperative/Rule Based Language PROGRES, Technical Report AIB 92-38, RWTH Aachen, Germany (1992)


/Zündorf93/

Zündorf A.: A Heuristic Solution for the (Sub-) Graph Isomorphism Problem in Executing PROGRES, Technical Report AIB 93-5, RWTH Aachen, Germany (1993)