Abstract
This paper gives a cohesive approach to modeling and implementation with graphs. This approach uses extended entity relationship (EER) diagrams supplemented with the Z-like constraint language GRAL. Due to the foundation of EER/GRAL on Z a common formal basis exists. EER/GRAL descriptions give conceptual models which can be implemented in a seamless manner by efficient data structures using the GraLab graph library.
Descriptions of four medium size EER/GRAL-applications conclude the paper to demonstrate the usefulness of the approach in practice.
Chapter PDF
References
F. Bohlmann, J. Ebert, and R. Süttenbach. An OMT Metamodel. Projektbericht 1/96, UniversitÄt Koblenz-Landau, Institut für Softwaretechnik, Koblenz, 1996.
J. B. Behm and T. J. Teorey. Relative Constraints in ER Data Models. R. A. Elmasri, V. Kouramajian, B. Thalheim (Eds.): Entity-¯Relationship Approach — ER '93, 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15–17, 1993, pages 46–59, 1994.
M. Carstensen, J. Ebert, and A. Winter. Entity-Relationship-Diagramme und Graphenklassen. to appear as Fachbericht Informatik, 1996, Institut für Softwaretechnik, UniversitÄt Koblenz-Landau, 1996.
P. P.-X. Chen. The Entity-Relationship Model — Toward a Unified View of Data. ACM Transactions on Database Systems, 1(1):9–36, March 1976.
B. Courcelle. Graph structure definition using monadic second-order languages. In: Proceedings of the Workshop on Finite Models and Descriptive Complexity, Princeton, New Jersey, January 14–17, 1996, to appear in: AMS-DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 1996.
P. Dahm. PDL: Eine Sprache zur Beschreibung grapherzeugender Parser. Diplomarbeit D-305, UniversitÄt Koblenz-Landau, Fachbereich Informatik, Koblenz, Oktober 1995.
P. Dahm, J. Ebert, and C. Litauer. Das EMS-Graphenlabor 3.0. Projekt-bericht 3/94, UniversitÄt Koblenz-Landau, Institut für Softwaretechnik, Koblenz, 1994.
P. Dahm, J. Fricke, R. Gimnich, M. Kamp, H. Stasch, E. Tewes, and A. Winter. Anwendungslandschaft der Volksfürsorge. Projektbericht 5/95, UniversitÄt Koblenz-Landau, Institut für Softwaretechnik, Koblenz, 1995.
M. Drüke. Dokumentation für den Datenflu\diagramm-Editor. Studienar-beit S 429, UniversitÄt Koblenz-Landau, Fachbereich Informatik, Koblenz, Mai 1996.
J. Ebert. A Versatile Data Structure For Edge-Oriented Graph Algorithms. Communications ACM, 30(6):513–519, June 1987.
J. Ebert and M. Carstensen. Ansatz und Architekur von KOGGE. Projektbericht 2/94, UniversitÄt Koblenz-Landau, Institut für Softwaretechnik, Koblenz, 1994.
J. Ebert and A. Franzke. A Declarative Approach to Graph Based Modeling. in: E. Mayr, G. Schmidt, G. Tinhofer (Eds.) Graphtheoretic Concepts in Computer Science Springer, Berlin, Lecture Notes in Computer Science, LNCS 903, pages 38–50, 1995.
J. Ebert, R. Gimnich, and A. Winter. Wartungsunterstützung in heterogenen Sprachumgebungen, Ein überblick zum Projekt GUPRO. in F. Lehner (Hrsg.): Softwarewartung und Reengineering — Erfahrungen und Entwicklungen, Wiesbaden, pages 263–275, 1996.
H. Ehrig and M. Korff. Computing with Algebraic Graph Transformations 3-An Overview of Recent Results. G. Valiente Feruglio and F. Rosello Llompart (eds): Proc. Colloquium on Graph Transformation and its Application in Computer Science. Universitat de les Illes Balears, 1995, pages 17–23, 1995.
J. Ebert, M. Kamp, and A. Winter. Generic Support for Understanding Heterogeneous Software. Fachbericht Informatik 3/96, UniversitÄt Koblenz-Landau, Fachbereich Informatik, Koblenz, 1996.
A. Franzke. GRAL: A Reference Manual. to appear as Fachbericht Informatik, UniversitÄt Koblenz-Landau, Fachbereich Informatik, Koblenz, 1996.
A. Franzke. Querying Graph Structures with G2QL. Fachbericht Informatik 10/96, UniversitÄt Koblenz-Landau, Fachbereich Informatik, Koblenz, 1996.
S. Gossens and L. Kirchner. Projekt MOTOS Modellierung, Frontend und Backend. Studienarbeit S 410, UniversitÄt Koblenz-Landau, Fachbereich Informatik, Koblenz, Januar 1996.
F. Harary. Graph theory. Addison-Wesley, Reading, Mass., 3 edition, 1972.
U. Hohenstein and M. Gogolla. A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions. C. Batini (Ed.): Entity-Relationship Approach: A Bridge to the User, Proceedings of the Seventh International Conference on Entity-Relationship Approach, pages 129–148, 1989.
R. Hull and R. King. Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys, 19(3):201–260, September 1987.
N. Kiesel, A. Schürr, and B. Westfechtel. A Graph-Oriented (Software) Engineering Database System. Information Systems, vol. 20, no. 1, pages 21–52, 1995.
A. Kölzer and I. Uhe. Benutzerhandbuch für die KOGGE-Tool BONsai, Version 2.0. Projektbericht 4/96, UniversitÄt Koblenz-Landau, Institut für Softwaretechnik, Koblenz, 1996.
M. Lenzerini. SERM: Semantic Entity-Relationship Model. P. P. Chen (ed.): Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, Proceedings of the Fourth International Conference on Entity-Relationship Approach, Chicago, Illinois, USA, 29–30 October 1985, pages 270–278, 1985.
Y. E. Lien. On the Semantics of the Entity-Relationship Data Model. P. P. Chen (Ed): Entity-Relationship Approach to Systems Analysis and Design. Proc. 1st International Conference on the Entity-Relationship Approach, pages 155–168, 1980.
J. Jowett L. Wakeman. PCTE, The Standard for Open Repositories. Prentice Hall, New York, 1993.
K. Mehlhorn. Data structures and algorithms, volume 2. Graph algorithms and NP-completeness. Springer, Berlin, 1984.
K. Mehlhorn and S. NÄher. LEDA. A Platform for Combinatorial and Geometric Computing. Technical report, Max-Planck-Institut für Informatik, 1996.
P. A. Ng and J. F. Paul. A Formal Definition of Entity-Relationship Models. P. P. Chen (Ed): Entity-Relationship Approach to Systems Analysis and Design. Proc. 1st International Conference on the Entity-Relationship Approach, pages 211–230, 1980.
J.-M. Nerson and K. Waldén. Seamless Object-Oriented Software Architecture. Analysis and Design of Reliable Systems. Prentice Hall, Englewood Cliffs, 1995.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, 1991.
A. Schürr. Operationales Spezifizieren mit Graph Ersetzungssystemen, Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung. Deutscher Universitaetsverlag, Wiesbaden, 1991.
J. M. Spivey. The Z Notation: A Reference Manual. International Series in Computer Science. Prentice Hall, Hemel Hempstead, Hertfordshire, UK, 2 edition, 1992.
N. Südkamp. Enforcement of Integrity Constraints in an Entity Relationship Data Model. Bericht 8607, Institut für Informatik und Praktische Mathematik, Christian Albrechts UniversitÄt, Kiel, September 1986.
A. Schürr, A.J. Winter, and A. Zündorf. Graph Grammar Engineering with PROGRES. W. SchÄfer (Ed.): ESEC '95, 5th European Software Engineering Conference, pages 219–234, 1995.
L. Tucherman, M. A. Casanova, P. M. Gualandi, and A. P. Braga. A Proposal for Formalizing and Extending the Generalization and Subset Abstractions in the Enity-Relationship Model. F. H. Lochovsky (Ed.): Entity-Relationship Approach to Database Design and Querying, Proceedings of the Eight International Conference on Entity-Relationship Approach, Toronto, Canada, 18–20 October, 1989, pages 27–41, 1991.
B. Thalheim. Fundamentals of Cardinality Constraints. G. Pernul, A. M. Tjoa (Eds.): Entity-Relationship Approach — ER'92, 11th International Conference on the Entity-Relationship Approach, Karlsruhe, Germany, October 7–9, 1992, pages 7–23, 1992.
Y. Tabourier and D. Nanci. The Occurrence Structure Concept: An Approach to Structural Integrity Constraints in the Entity-Relationship Model. P. P. Chen (Ed.): Proc. 2nd Int. Conf. on the Entity-Relationship Approach (ER'81), pages 73–108, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ebert, J., Winter, A., Dahm, P., Franzke, A., Süttenbach, R. (1996). Graph based modeling and implementation with EER/GRAL. In: Thalheim, B. (eds) Conceptual Modeling — ER '96. ER 1996. Lecture Notes in Computer Science, vol 1157. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019922
Download citation
DOI: https://doi.org/10.1007/BFb0019922
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61784-6
Online ISBN: 978-3-540-70685-4
eBook Packages: Springer Book Archive