Uniform-modelling in graph grammar specifications

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 776)


Building Integrated Environments in the context of Software Development /Na 94a/, Data Specification/Sc91/, and Computer Integrated Manufacturing/EWM92,SW92/ we ideally proceed as follows: (1) We specify the internal behavior of tools by graph grammars, (2) we edit, analyze, and (in the near future) execute such specifications thereby verifying and prototyping them, (3) we derive efficient components for specified ones by a generator machinery, and (4) we put them into a framework architecture providing for the invariant part of the environment. This paper sketches the experiences we have got by specifying tools of various environments. Doing so we have received modelling knowledge which is not only useful for one example but seems to be generally applicable. This knowledge is on three levels, namely finding reuseable spec portions, learning how to write spec portions, and structuring a spec consisting of different components. We call such a generally applicable approach ’uniform modelling’. The paper sketches three ways of uniform modelling in graph grammar specs. Whereas in the first approach we are directly dealing with a gra gra spec, in the second and third approach we are only arguing about structuring gra gra specs. At the end of the paper we give a summary and list some open problems.


software development environments data modelling environments computer integrated manufacturing graph grammars specifying abstract data types generators 

CR classification

D.2.6 H.2 F.4.2 D.3.4 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /ACMxx/.
    Proc. 1st ACM SIGSOFT/SIGPLAN Softw. Eng. Symp. on Pract. SDEs, ACM SIG-PLAN Notices 19, 5 (1984). Proc. 2nd Symp., ACM SIGPLAN Notices 22, 1 (1987). Proc. 3rd Symp., ACM Softw. Eng. Notes 13, 5 (1988), Proc. 4th Symp., ACM Softw. Eng. Notes 15, 6 (1990), Proc. 5th Symp., ACM Press (1992).Google Scholar
  2. /BBN77/.
    W. Brendel/H. Bunke/M. Nagl: Syntax-directed Programming and Incremental Compilation (in German), IFB 10, 57–74, Berlin: Springer-Verlag (1977).Google Scholar
  3. /ELS87/.
    G.Engels/C.Lewerentz/W.Schäfer: Graph Grammar Engineering: A Software Specification Method in/GG 87/, 186–201.Google Scholar
  4. /ELN92/.
    G.Engels/C.Lewerentz/M.Nagl/W.Schäfer/A.Schürr: Experiences in Building Integrated Tools. Part 1: Tool Specification. TOSEM 1 2, 135–167 (1992).Google Scholar
  5. /En86/.
    G. Engels: Graphs as Central Data Structures in a Software Development Environment (in German). Diss. U. Osnabrück. VDI Fortschrittsb. 62. Düsseldorf: VDI-Verlag(1986).Google Scholar
  6. /ENS84/.
    G. Engels/M. Nagl/W. Schäfer: On the Structure of Structure-Oriented Editors for Different Applications/ACM 84/, 190–198.Google Scholar
  7. /ES89/.
    G. Engels/W. Schäfer: Programming Environments, Concepts and Realization (in German), Stuttgart: Teubner-Verlag(1989).Google Scholar
  8. /EWM92/.
    W. Eversheim/M. Weck/W. Michaeli/M. Nagl/O. Spaniol: The SUKITS Project — An a posteriori Approach to Integrate CIM-Components, Proc. Ann. GI Conf., informatik aktuell, 494–504(1992).Google Scholar
  9. /GGxx/.
    N.Claus/H.Ehrig/G.Rozenberg(Eds.): Proc. 1st Int. Workshopon Graph Grammars and Their Appl. to Computer Science. LNCS 73(1979), H. Ehrig/M. Nagl/G. Rozenberg (Eds.): Proc. 2nd Workshop, LNCS 153 (1983), H. Ehrig/M. Nagl/A. Rosenfeld/G. Rozenberg (Eds.): Proc. 3rd Workshop. LNCS 291 (1987). H. Ehrig/H.J. Kreowski/G. Rozenberg (Eds.): Proc. 4th Workshop. LNCS 532(1991).Google Scholar
  10. /Gö88/.
    H. Göttler: Graph-Grammars in Software Engineering (in German). IFB 178(1988).Google Scholar
  11. /Ja92/.
    Th.Janning: Integration of Languages and Tools for Requirements Engineering and Programming in the Large (in German), Diss. RWTH Aachen. Wiesbaden: Deutscher Universitätsverlag (1992).Google Scholar
  12. /KSW92/.
    N. Kiesel/J. Schwartz/B. Westfechtel: Object and Process Management for the Integration of Heterogeneous CIM Components, Proc. Ann. GI Conf., informatik aktuell. 484–493. Springer-Verlag(1992).Google Scholar
  13. /Le88a/.
    C. Lewerentz: Interactive Design of Large Software Systems (in German). Diss. RWTH Aachen, IFB 194, Berlin: Springer-Verlag (1988).Google Scholar
  14. /Le88b/.
    C. Lewerentz: Extended Programming in the Large in a Software Development Environment, in /ACM 88/, 173–182.Google Scholar
  15. /Na79/.
    M. Nagl: Graph-Grammars: Theory, Applications, and Implementation (in German), Braunschweig: Vieweg-Verlag(1979).Google Scholar
  16. /Na85/.
    M. Nagl: Graph Technology Applied to a Software Project, in Rozenberg/Salomaa (Eds.). The Book of L, 303–322, Berlin: Springer-Verlag(1985).Google Scholar
  17. /Na90/.
    M. Nagl: Software Engineering: Methodological Programming in the Large (in German), Berlin: Springer-Verlag(1990).Google Scholar
  18. /Na94a/.
    M. Nagl (Ed.): Building Tightly Integrated Software Development Environments — The IPSEN Approach, to appear in LNCS.Google Scholar
  19. /Na94b/.
    M. Nagl: Software Development Environments-Classification and FutureTrends (in German), to appear in Informatik-SpektrumGoogle Scholar
  20. /NS91/.
    M. Nagl/A. Schürr: A Graph Grammar Specification Environment, in /GG 91/. 599–609.Google Scholar
  21. /Pr78/.
    T. Pratt: Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs, in /GG 79/, 389–400.Google Scholar
  22. /Sc75/.
    H.J. Schneider: Syntax-Directed Description of Incremental Compilers, LNCS 26, 192–201(1975).Google Scholar
  23. /Sc86/.
    W. Schäfer: An Integrated Software Development Environment: Concepts, Design, and Implementation (in German), Diss. U. Osnabrück, VDI Fortschrittsb. 57. Düsseldorf: VDI-Verlag(1986).Google Scholar
  24. /Sc91/.
    A. Schürr: Operational Specification by Programmed Graph Rewriting Systems: Formal Definition. Applications, and Tools (in German), Diss. RWTH Aachen, Wiesbaden: Deutscher Universitäts-Verlag(1991).Google Scholar
  25. /SW93/.
    A. Schürr/B. Westfechtel: GRAS a Graph-Oriented Data Base System for Software Engineering Applications, submitted for publication.Google Scholar
  26. /SZ91/.
    A. Schürr/A. Zündorf: Nondeterministic Control Structures for Graph Rewriting Systems. LNCS 570, 48–62, (1991).Google Scholar
  27. /We91/.
    B. Westfechtel: Revision and Consistency Control in an Integrated Software Environment (in German). Diss. RWTH Aachen. IFB 280, Berlin: Springer-Verlag (1991).Google Scholar
  28. /Zü94/.
    A. Zündorf: A Graph Grammar Specification Environment — It's Use and Realization, Diss. (to appear).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • M. Nagl
    • 1
  1. 1.Lehrstuhl für Informatik IIIRWTH AachenAachen

Personalised recommendations