Skip to main content
SpringerLink
Log in

Graph based modeling and implementation with EER/GRAL

  • Session 4: Representation
  • Conference paper
  • First Online:
Conceptual Modeling — ER '96 (ER 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1157))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F. Bohlmann, J. Ebert, and R. Süttenbach. An OMT Metamodel. Projektbericht 1/96, UniversitÄt Koblenz-Landau, Institut für Softwaretechnik, Koblenz, 1996.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. P. Dahm. PDL: Eine Sprache zur Beschreibung grapherzeugender Parser. Diplomarbeit D-305, UniversitÄt Koblenz-Landau, Fachbereich Informatik, Koblenz, Oktober 1995.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. M. Drüke. Dokumentation für den Datenflu\diagramm-Editor. Studienar-beit S 429, UniversitÄt Koblenz-Landau, Fachbereich Informatik, Koblenz, Mai 1996.

    Google Scholar 

  10. J. Ebert. A Versatile Data Structure For Edge-Oriented Graph Algorithms. Communications ACM, 30(6):513–519, June 1987.

    Google Scholar 

  11. J. Ebert and M. Carstensen. Ansatz und Architekur von KOGGE. Projektbericht 2/94, UniversitÄt Koblenz-Landau, Institut für Softwaretechnik, Koblenz, 1994.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. A. Franzke. GRAL: A Reference Manual. to appear as Fachbericht Informatik, UniversitÄt Koblenz-Landau, Fachbereich Informatik, Koblenz, 1996.

    Google Scholar 

  17. A. Franzke. Querying Graph Structures with G2QL. Fachbericht Informatik 10/96, UniversitÄt Koblenz-Landau, Fachbereich Informatik, Koblenz, 1996.

    Google Scholar 

  18. S. Gossens and L. Kirchner. Projekt MOTOS Modellierung, Frontend und Backend. Studienarbeit S 410, UniversitÄt Koblenz-Landau, Fachbereich Informatik, Koblenz, Januar 1996.

    Google Scholar 

  19. F. Harary. Graph theory. Addison-Wesley, Reading, Mass., 3 edition, 1972.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. R. Hull and R. King. Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys, 19(3):201–260, September 1987.

    Google Scholar 

  22. 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.

    Google Scholar 

  23. 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.

    Google Scholar 

  24. 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.

    Google Scholar 

  25. 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.

    Google Scholar 

  26. J. Jowett L. Wakeman. PCTE, The Standard for Open Repositories. Prentice Hall, New York, 1993.

    Google Scholar 

  27. K. Mehlhorn. Data structures and algorithms, volume 2. Graph algorithms and NP-completeness. Springer, Berlin, 1984.

    Google Scholar 

  28. K. Mehlhorn and S. NÄher. LEDA. A Platform for Combinatorial and Geometric Computing. Technical report, Max-Planck-Institut für Informatik, 1996.

    Google Scholar 

  29. 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.

    Google Scholar 

  30. J.-M. Nerson and K. Waldén. Seamless Object-Oriented Software Architecture. Analysis and Design of Reliable Systems. Prentice Hall, Englewood Cliffs, 1995.

    Google Scholar 

  31. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, 1991.

    Google Scholar 

  32. A. Schürr. Operationales Spezifizieren mit Graph Ersetzungssystemen, Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung. Deutscher Universitaetsverlag, Wiesbaden, 1991.

    Google Scholar 

  33. J. M. Spivey. The Z Notation: A Reference Manual. International Series in Computer Science. Prentice Hall, Hemel Hempstead, Hertfordshire, UK, 2 edition, 1992.

    Google Scholar 

  34. 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.

    Google Scholar 

  35. 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.

    Google Scholar 

  36. 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.

    Google Scholar 

  37. 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.

    Google Scholar 

  38. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Software Technology, University of Koblenz, Rheinau 1, D-56075, Koblenz

    J. Ebert, A. Winter, P. Dahm, A. Franzke & R. Süttenbach

Authors
  1. J. Ebert
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Winter
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. P. Dahm
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. A. Franzke
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. R. Süttenbach
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bernhard Thalheim

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation