A declarative approach to graph based modeling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 903, Issue , 1995, Pages 38-50

  Ebert, Jürgen ^a   Franzke, Angelika ^a  

^a Abt Koblenz   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPHIC METHODS;

CONSTRAINT LANGUAGE; GENERAL GRAPH; GRAPH-BASED MODELING; GRAPHICAL DESCRIPTION; SOFTWARE APPROACH;

DIRECTED GRAPHS;

EID: 84947914217     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-59071-4_36     Document Type: Conference Paper

References (15)

1. [CaEbWi 94] Martin Carstensen, Jürgen Ebert, Andreas Winter. Entity-Relation-ship-Diagramme and, Graphenklassen. to appear as: Fachbericht Informatik 1994. Universität Koblenz 1994.
2. [CapFra 91] Carla Capellmann, Angelika Franzke. GRAL: Eine Sprache für die graphbasierte Modellierung. Universität Koblenz, Diplomarbeit, 1991.
3. [ConMen 90] Mariano P. Consens, Alberto O. Mendelzon. Graph Log: a Visual Formalism for Real Life Recursion. In: Proc. 9th Symposium on Principles of Database Systems. New York: ACM Press, 1990, pp. 417-424.
4. [Courcelle 90] 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.
5. [DaEbLi 94] Peter Dahm, Jürgen Ebert, Christoph Litauer. Das EMS-Graphen-labor. in preparation.
6. [Diller 90] Anthony Diller. Z: An Introduction to Formal Methods. Wiley 1990.
7. [EbeFra 92] Jürgen Ebert, Angelika Franzke. Specification of a Graph Based Data Model for a CASE Tool. Universität Koblenz, Fachbericht Informatik 5/92
8. [Ebert 87] Jürgen Ebert. A Versatile Data Structure For Edge-Oriented Graph Algorithms. Communications ACM 30 (1987, 6), 513-519.
9. [Ebert 93] Jürgen Ebert. Efficient Interpretation of State Charts, in: Zoltán Ésik (Ed.). Fundamentals of Computation Theory (FCT ’93), Szeged, Hungary. Berlin: Springer, LNCS 910, 1993, pp. 212-221.
10. [Ebert 94] Jürgen Ebert. KOGGE: A Generator for Graphical Design Environments. in preparation.
11. [EnLeNa 92] 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.
12. [GyPaGu 90] 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.
13. [Harel 87] David Harel. Sta.techa.rts: a Visual Formalism for Complex Systems. Science of Computer Programming 8 (1987, 3), 231-274
14. [Schuerr 91] Andreas Schürr. Operαtionαles Spezifìzieren mit progrαmmierten Grαphersetzungssystemen. Wiesbaden: Deutscher Universitätsverlag 1991.
15. [Spivey 92] J.M. Spivey. The Z Notation - A Reference Manual. New York: Prentice Hall, 1992.