Seminar: Businessplan in der Praxis: Bankengespräch
Wissenschaftliche(r) Mitarbeiter(in) im Bereich CSCW/Enterprise 2.0 gesucht
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.
Project Members
B 108
+49 261 287 -2722
ebert at uni-koblenz.de
B 121
+49 261 287-2706
riediger at uni-koblenz.de
B 118
+49 261 287-2764
winter at uni-koblenz.de
Publications
1998
- [Ebert1998GMA]
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]
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]
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]
Angelika Franzke: GRAL: A Reference Manual. Universität Koblenz-Landau, Fachbereich Informatik. 1997. Fachberichte Informatik. Koblenz. - [Moskopp1997IEB]
Frank Moskopp: Implementierung eines Bibliotheksbausteins zur Auswertung elementarer GRAL-Ausdrücke. Universität Koblenz-Landau, Fachbereich Informatik. 1997. Studienarbeit. Koblenz. - [Polock1997ESO]
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]
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]
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.
Kontakt