Graph Based Modeling and Implementation with EER / GRAL

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.

[1]  Peter A. Ng,et al.  A Formal Definition of Entity-Relationship Models , 1979, ER.

[2]  Frieder Stolzenburg,et al.  Membership-Constraints and Complexity in Logic Programming with Sets , 1996, FroCoS.

[3]  J. Ebert,et al.  Querying Graph Structures with GQL , 1996 .

[4]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[5]  Martin Jung,et al.  GTU - A workbench for the development of natural language grammars , 1995 .

[6]  Ilkka Niemell.  A Tableau Calculus for Minimal Model Reasoning Ilkka Niemel a a Tableau Calculus for Minimal Model Reasoning , 1996 .

[7]  Andy Schürr,et al.  GRAS, a Graph-Oriented (Software) Engineering Database System , 1995, Inf. Syst..

[8]  Thomas Marx,et al.  NetCASE -- a Petri Net based Method for Database Application Design and Generation , 1995 .

[9]  P. Simons.  Eecient Implementation of the Well- Founded and Stable Model Seman- Tics , 1996 .

[10]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[11]  Jürgen Ebert,et al.  A Declarative Approach to Graph Based Modeling , 1994, WG.

[12]  John Beidler,et al.  Data Structures and Algorithms , 1996, Wiley Encyclopedia of Computer Science and Engineering.

[13]  Stefan Brass,et al.  D-wfs: a Connuent Calculus and an Equivalent Characterization , 1995 .

[14]  Martin Gogolla,et al.  A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions , 1988, International Conference on Conceptual Modeling.

[15]  Ulrich Furbach.  Theory Reasoning in First Order Calculi , 1994, IS/KI.

[16]  Gottfried Vossen,et al.  I-Serializability: Generalized Correctness for Transaction-Based Environments , 1997, Inf. Process. Lett..

[17]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[18]  Maurizio Lenzerini.  SERM: Semantic Entity-Relationship Model , 1985, ER.

[19]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[20]  Ilkka Niemell,et al.  Implementing Circumscription Using a Tableau Method Ilkka Niemel a Implementing Circumscription Using a Tableau Method , 1996 .

[21]  Kim Walden,et al.  Seamless object-oriented software architecture , 1995 .

[22]  Peter P. S. Chen.  Entity-relationship approach : the use of ER concept knowledge representation , 1985 .

[23]  Christoph Steigner,et al.  Modelling Timeouts in Protocol Design , 1995 .

[24]  Jean-Marc Nerson,et al.  Seamless Object-Oriented Software Architecture - Analysis and Design of Reliable Systems , 1995 .

[25]  Jürgen Dix,et al.  Characterizations of the Stable Semantics by Partial Evaluation , 1994, LPNMR.

[26]  Chandrabose Aravindan.  An Abductive Framework for Negation in Disjunctive Logic Programming , 1996, JELIA.

[27]  Andreas Schürr,et al.  Operationales Spezifizieren mit programmierten Graphersetzungssystemen , 1991 .

[28]  Peter Baumgartner,et al.  Model Elimination, Logic Programming and Computing Answers , 1995, IJCAI.

[29]  Y. Edmund Lien,et al.  On the Semantics of the Entity-Relationship Data Model , 1979, ER.

[30]  Marco A. Casanova,et al.  A Proposal for Formalizing and Extending the Generalization and Subset Abstractions in the Entity-Relationship Model , 1989, ER.

[31]  Dieter Zöbel,et al.  PROGRAM TRANSFORMATIONS FOR DISTRIBUTED CONTROL SYSTEMS , 1994 .

[32]  Jürgen Dix,et al.  A general Approach to Bottom-Up Computation of Disjunctive Semantics , 1994, NMELP.

[33]  Kurt Mehlhorn,et al.  Graph Algorithm and NP-Completeness , 1984 .

[34]  NET CASE: Towards a Petri Net Based Technique for the Development of Expert/Database Systems , 1994 .

[35]  Stephan Philippi,et al.  Integration of Integrity Constraints into Object-Oriented Database Schema according to ODMG-93 , 1995 .

[36]  Lutz Priese,et al.  Abstract Fairness and Semantics , 1997, Theor. Comput. Sci..

[37]  Andy Schürr,et al.  Graph Grammar Engineering with PROGRES , 1995, ESEC.

[38]  Alfred V. Aho,et al.  Data Structures and Algorithms , 1983 .

[39]  Jürgen Ebert.  A versatile data structure for edge-oriented graph algorithms , 1987, CACM.

[40]  Andy Schürr,et al.  GRAS, a Graph-Oriented (Software) Engineering Database System , 1995, Inf. Syst..

[41]  Jürgen Dix,et al.  Characterizations and Implementation of Static Semantics of Disjunctive Programs , 1996 .

[42]  Jürgen Dix,et al.  Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations , 1996, Fundam. Informaticae.

[43]  Jürgen Dix,et al.  A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation , 1994, GI Jahrestagung.

[44]  Walter Hower,et al.  Constraint Satisfaction - Algorithms and Complexity Analysis , 1995, Inf. Process. Lett..

[45]  Kurt Mehlhorn,et al.  Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness , 1984, EATCS Monographs on Theoretical Computer Science.

[46]  Axel van Lamsweerde,et al.  Esec '91: 3rd European Software Engineering Conference , 1992 .

[47]  Kurt Mehlhorn,et al.  A platform for combinatorial and geometric computing , 1995 .

[48]  Frank Harary,et al.  Graph Theory , 2016 .

[49]  Andy Schürr,et al.  Design and Evaluation of GRAS and a Graph-Oriented Database System for (Software) Engineering Applications , 1993 .

[50]  Hartmut Noltemeier,et al.  Graphtheoretic Concepts in Computer Science , 1980, Lecture Notes in Computer Science.

[51]  Dominique Nanci,et al.  The Occurrence Structure Concept: An Approach to Structural Integrity Constraints in the Entity-Relationship Model, with Application to Realationship Decomposition and Metamodel Achievement , 1981, ER.

[52]  Bernhard Thalheim,et al.  Fundamentals of Cardinality Constraints , 1992, ER.

[53]  Rainer Gimnich,et al.  Wartungsunterstützung in heterogenen Sprachumgebungen ein Überblick zum Projekt GUPRO , 1996, Softwarewartung und Reengineering.

[54]  A. Winter.  Generic Support for Understanding Heterogeneous Software Generic Support for Understanding Heterogeneous Software , 1995 .

[55]  Toby J. Teorey,et al.  Relative Constraints in ER Data Models , 1993, ER.

[56]  Kurt Mehlhorn,et al.  LEDA: a platform for combinatorial and geometric computing , 1997, CACM.