Software specification by graph grammars

  • M. Nagl
  • G. Engels
  • R. Gall
  • W. Schäfer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 153)


The following paper demonstrates that programmed sequential graph grammars can be used in a systematic proceeding to specify the changes of high level intermediate data structures arising in a programming support environment, in which all tools work in an incremental and syntax-driven mode. In this paper we lay stress upon the way to get the specification rather than on the result of this process. Therefore, we give here some approach to specification engineering using graph grammars. This approach is influenced by the syntactical definition of the underlying programming language or module concept etc. to be supported but also by the idea of the user interface.


Control Procedure Input Mode Module Graph Command Area Graph Grammar 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /BN 82/.
    Burkhart, H./ Nievergelt, J.: Structure-oriented editors, Informatik-Fachberichte 30, pp. 164–184, Berlin: Springer-VerlagGoogle Scholar
  2. /Bu 80/.
    Buxton, J.N.: Requirements for the ADA Programming Support Environment (“Stoneman”), United States Department of DefenseGoogle Scholar
  3. /CER 79/.
    Claus, V./ Ehrig, H./ Rozenberg, G. (Eds.): Proceedings of the International Workshop on “ Graph Grammars and their Application to Computer Science and Biology”, Lecture Notes in Computer Science 73, Berlin: Springer-VerlagGoogle Scholar
  4. /DG 80/.
    Donzeau-Gouge, M. Programming Environments Based on Structured Editors-The MENTOR Experience, Techn. Report 26, INRIA, FranceGoogle Scholar
  5. /ES 82/.
    Engels, G./ Schäfer, W.: Specification of a Programming Support Environment by Graph Grammars, to appear in the Proceedings of the WG '82 on “Graphtheoretic Concepts in Computer Science”, Munich: Hanser VerlagGoogle Scholar
  6. /Ga 82a/.
    Gall, R.: Structured Development of Modular Software Systems: The Module Graph as Central Data Structure, in Proceedings of the WG '81 on “Graphtheoretic Concepts in Computer Science”, Munich: Hanser-VerlagGoogle Scholar
  7. /Ga 82b/.
    Gall, R.: Dissertation, to appearGoogle Scholar
  8. /Ha 82/.
    Habermann, N. A Compendium of GANDALF Documentation, Techn. Report, May 1982, Department of Computer Science Carnegie-Mellon University, PittsburghGoogle Scholar
  9. /JW 78/.
    Jensen, K./ Wirth, N.: PASCAL User Manual and Report, sec. ed., New York: Springer-VerlagGoogle Scholar
  10. /Me 82/.
    Medina-Mora, R.: Syntax-directed editing — Towards Integrated Programming Environments, Techn. Report CMU-CS-82-113, Department of Computer Science, Carnegie-Mellon University, PittsburghGoogle Scholar
  11. /Na 79/.
    Nagl, M.: Graph-Grammatiken — Theorie, Anwendungen, Implementierung, Wiesbaden: Vieweg-VerlagGoogle Scholar
  12. /Na 80/.
    Nagl, M.: An Incremental Compiler as Component of a System for Software Development, Informatik-Fachberichte 25, pp.29–44, Berlin: Springer-VerlagGoogle Scholar
  13. /Na 82/.
    Nagl, M.: Einführung in die Programmiersprache ADA, Wiesbaden: Vieweg-VerlagGoogle Scholar
  14. /Sch 75/.
    Schneider, H.J.: Syntax-oriented Description of Incremental Compilers, Lecture Notes in Computer Science 26, pp.192–201, Berlin: Springer-VerlagGoogle Scholar
  15. /TR 81/.
    Teitelbaum, T./Reps, T.: The Cornell Program Synthesizer — A syntax-directed Programming Environment, Communications of the ACM, Vol. 24, No. 9, pp. 563–573Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • M. Nagl
    • 1
  • G. Engels
    • 1
  • R. Gall
    • 2
  • W. Schäfer
    • 1
  1. 1.Angewandte InformatikUniversity of OsnabrueckOsnabrueckFed. Rep. of Germany
  2. 2.Lehrstuhl fuer ProgrammiersprachenUniversity of Erlangen-NbgErlangenFed. Rep. of Germany

Personalised recommendations