EER/GRAL

Description

GRAL

The Graph Specification Language (GRAL) enables the specification of graph class constraints and thus supports the specification of graph based software systems. It has been developed at the work group Ebert at the University of Koblenz-Landau. Since then, the language was used in various projects and has been improved significantly.

GRAL is a predicate language based on Z. Predicates are restricted to clauses, which can be tested on given graphs in polynomial time. Additional to pure Z, GRAL supplies facilities to specify additional graph properties. The most important of these extensions is the usage of regular path expressions to specify the structural properties of TGraphs.

There is an interpreter which tests GRAL-predicates for given GraLab graphs.

EER/GRAL

EER/GRAL is an approach for the modeling of specific applications via a declarative specification of classes of TGraphs, developed at the work group Ebert at the University of Koblenz-Landau (Ebert1996GBM, Ebert1996GBM1).

The specification can be made using extended Entity-Relationship (EER) diagrams which describe the type system. Additional constraints may be specified using GRAL.

This approach has been used in the modeling of many data domains, especially visual languages.

 

Publications

1998

  • [Ebert1998GMA] Details BibTeX entry
    Jürgen Ebert, Andreas Winter, Peter Dahm, Angelika Franzke, Roger Süttenbach: Graph-Based Modeling and Implementation with EER/GRAL. 1998. Föllbach. pp 33-50. 3.
  • [Dahm1998TUE1] Details BibTeX entry
    Peter Dahm, Jürgen Ebert, Angelika Franzke, Manfred Kamp, Andreas Winter: TGraphen und EER-Schemata -- Formale Grundlagen. in Jürgen Ebert, Rainer Gimnich, H. Stasch, Andreas Winter: GUPRO -- Generische Umgebung zum Programmverstehen. 1998. kein Verlag zugeordnet. pp 51-66.
  • [Dahm1998TUE] Details BibTeX entry Link to the document
    Peter Dahm, Jürgen Ebert, Angelika Franzke, Manfred Kamp, Andreas Winter: TGraphen und EER-Schemata - formale Grundlagen. Universität Koblenz-Landau, Institut für Informatik. 1998. Fachberichte Informatik. Koblenz.

1997

  • [Franzke1997GAR] Details BibTeX entry
    Angelika Franzke: GRAL: A Reference Manual. Universität Koblenz-Landau, Fachbereich Informatik. 1997. Fachberichte Informatik. Koblenz.
  • [Moskopp1997IEB] Details BibTeX entry
    Frank Moskopp: Implementierung eines Bibliotheksbausteins zur Auswertung elementarer GRAL-Ausdrücke. Universität Koblenz-Landau, Fachbereich Informatik. 1997. Studienarbeit. Koblenz.
  • [Polock1997ESO] Details BibTeX entry
    David Polock: Ein statischer Optimierer für GRAL- und GReQL-Ausdrücke. Universität Koblenz-Landau, Institut für Softwaretechnik. 1997. Diplomarbeit. Koblenz.

1996

  • [Ebert1996GBM] Details BibTeX entry Link to the document
    Jürgen Ebert, Andreas Winter, Peter Dahm, Angelika Franzke, Roger Süttenbach: Graph Based Modeling and Implementation with EER/GRAL. in B. Thalheim: ER'96 - Proceedings of the 15th International Conference on Conceptual Modeling. 1996. Springer Verlag. Berlin. LNCS. 1157. pp 163-178.
  • [Ebert1996GBM1] Details BibTeX entry Link to the document
    Jürgen Ebert, Andreas Winter, Peter Dahm, Angelika Franzke, Roger Süttenbach: Graph Based Modeling and Implementation with EER/GRAL (Extended Version). Universität Koblenz-Landau, Institut für Informatik. 1996. Fachbericht Informatik. Koblenz.