Abstract
The class of TGraphs, i.e. typed, attributed, and ordered directed graphs, is introduced as a general graph class for graph based modeling. TGraphs are suitable for a wide area of applications. A declarative approach to specifying subclasses of TGraphs by a combination of a schematic graphical description and an additional constraint language is given. The implementation of TGraphs by an appropriate software approach is described.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Martin Carstensen, Jürgen Ebert, Andreas Winter. Entity-Relationship-Diagramme und Graphenklassen. to appear as: Fachbericht Informatik 1994. Universität Koblenz 1994.
Carla Capellmann, Angelika Franzke. GRAL: Eine Sprache für die graphbasierte Modellierung. Universität Koblenz, Diplomarbeit, 1991.
Mariano P. Consens, Alberto O. Mendelzon. GraphLog: a Visual Formalism for Real Life Recursion. In: Proc. 9th Symposium on Principles of Database Systems. New York: ACM Press, 1990, pp. 417–424.
Bruno Courcelle. Graph rewriting: An algebraic and logic approach. In: Jan van Leeuwen (ed.): Handbook of Theoretical Computer Science, Vol. B. Amsterdam: Elsevier 1990. pp. 193–242.
Peter Dahm, Jürgen Ebert, Christoph Litauer. Das EMS-Graphenlabor. in preparation.
Anthony Diller. Z: An Introduction to Formal Methods. Wiley 1990.
Jürgen Ebert, Angelika Franzke. Specification of a Graph Based Data Model for a CASE Tool. Universität Koblenz, Fachbericht Informatik 5/92
Jürgen Ebert. A Versatile Data Structure For Edge-Oriented Graph Algorithms. Communications ACM 30 (1987, 6), 513–519.
Jürgen Ébert. Efficient Interpretation of State Charts, in: Zoltán Esik (Ed.). Fundamentals of Computation Theory (FCT '93), Szeged, Hungary. Berlin: Springer, LNCS 910, 1993, pp. 212–221.
Jürgen Ebert. KOGGE: A Generator for Graphical Design Environments, in preparation.
Gregor Engels, Claus Lewerentz, Manfred Nagl, Wilhelm Schäfer, Andreas Schürr. Building Integrated Software Development Environments. Part I: Tool Specification. ACM Transactions on Software Engineering and Methodology 1 (1992, 2), 135–167.
M. Gyssens, J. Paredaens, D. van Gucht. A graph-oriented object database model. In: Proc. 9th Symposium on Principles of Database Systems. New York: ACM Press, 1990, pp. 417–424.
David Harel. Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming 8 (1987, 3), 231–274
Andreas Schürr. Operationales Spezifizieren mit programmierten Graphersetzungssystemen. Wiesbaden: Deutscher Universitätsverlag 1991.
J.M. Spivey. The Z Notation — A Reference Manual. New York: Prentice Hall, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ebert, J., Franzke, A. (1995). A declarative approach to graph based modeling. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds) Graph-Theoretic Concepts in Computer Science. WG 1994. Lecture Notes in Computer Science, vol 903. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59071-4_36
Download citation
DOI: https://doi.org/10.1007/3-540-59071-4_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59071-2
Online ISBN: 978-3-540-49183-5
eBook Packages: Springer Book Archive