Skip to main content

Software integration problems and coupling of graph grammar specifications

  • Software Engineering
  • Conference paper
  • First Online:
Graph Grammars and Their Application to Computer Science (Graph Grammars 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1073))

Abstract

This paper discusses graph grammar (gragra) specification and (de)composition problems which are related to the realization of integrated development environments. Gragras are used as an operational specification method for formally describing the effect of tools on internal configurations of such an environment. We propose anew approach for decomposing large unstructured gragra specifications into coupled modules (subspecifications), sketch how the interfaces of interconnected modules look like, and how coupling can be described by means of correspondence relationships. Furthermore, we discuss a number of technical difficulties coming up with the usage of correspondence relationships for coupling gragra modules.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ehrig H., Engels G.: Towards a Module Concept for Graph Transformation Systems, Technical Report 93-34, Department of Computer Science, Leiden University, Netherlands (1993)

    Google Scholar 

  2. Engels G., Lewerentz C., Schäfer W.: Graph Grammar Engineering—A Software Specification Method, in: Proc. 3rd Int. Workshop on Graph Grammars and Their Application to Computer Science, LNCS 153, 186–201, Berlin: Springer-Verlag (1987)

    Google Scholar 

  3. Engels G., Lewerentz C., Nagl M., Schäfer W., Schürr A.: Building Integrated Software Development Environments, Part I: Tools Specification, in: ACM Transactions on Software Engineering and Methodology 1, 2, 135–167 (1992)

    Google Scholar 

  4. Engels G.: Graphs as Central Data Structures in a Software Development Environment (in German), Dissertation Univ. Osnabrück, VDI Fortschrittsberichte 62, Düsseldorf: VDI-Verlag (1986)

    Google Scholar 

  5. Enrich H.D., Saake G., Sernadas A.: Concepts of Object-Orientation, Proc. 2nd IS/KI Workshop, Ulm 1992

    Google Scholar 

  6. Eversheim W.,Weck M., Michaeli W., Nagl M., Spaniol O.: The SUKITS Project — An a posteriori Approach to Integrate CIM-Components, Proc. Ann. GI Conf., informatik aktuell, 494–504 (1992)

    Google Scholar 

  7. Claus N., Ehrig H., Rozenberg G. (Eds.): Proc. 1st Int. Workshop on Graph Grammars and Their Application to Computer Science, LNCS 73 (1979), Ehrig H., Nagl M., Rozenberg G. (Eds.): Proc. 2nd Workshop, LNCS 153 (1983), Ehrig H., Nagl M., Rozenfeld A., Rozenberg G. (Eds.): Proc. 3rd Workshop, LNCS 291 (1987), Ehrig H., Kreowski H. J., Rozenberg G. (Eds.): Proc. 4th Workshop, LNCS 532 (1991), Ehrig H., Engels G., Rozenberg G.: (Eds.): Proc. 5th Workshop, this volume

    Google Scholar 

  8. Nagl M.: (Ed.): Building Tightly Integrated Software Development Environments—The IPSEN Approach, to appear in LNCS.

    Google Scholar 

  9. Janning Th.: Integration of Languages and Tools for Requirements Engineering and Programming in the Large (in German), Dissertation RWTH Aachen, Wiesbaden: Deutscher Universitätsverlag (1992)

    Google Scholar 

  10. Klein P., Lacour J., Nagl M., Schmidt V.: Restructuring Client/Server Applications: An example from Business Administration (in German), Proc. Online '95, vol. VI, C630.01–25 (1995)

    Google Scholar 

  11. Kohring Ch.: Tightly Integrating Editing, Analysis, and Execution of Requirements Specifications (in German), Ph.D. Thesis, RWTH Aachen (1995), to appear

    Google Scholar 

  12. Kreowski H.J.: Graph Grammars for Software Specification and Programming: An Eulology in the Praise of GRACE. in: Proc. Colloquium on Graph Transformations and its Application in Computer Science, Technical Report B-14, Departement de Ciencies Matematiques i Informatica, Universitat de les Illes Balears, 27–28 (1994)

    Google Scholar 

  13. Kiesel N., Schwartz J., Westfechtel B.: Object and Process Management for the Integration of Heterogeneous CIM Components, GI-Jahrestagung 1992, 484–493, Berlin: Springer-Verlag (1992)

    Google Scholar 

  14. Kiesel N., Schürr A., Westfechtel B.: GRAS, A Graph-oriented (Software) Engineering Database System, Information Systems 20, 1, 21–51 (1995)

    Google Scholar 

  15. Lewerentz C.: Extended Programming in the Large in a Software Development Environment, in Proc. 3rd ACM Symp. on Practical Software Development Environments, Software Engineering Notes 13, 5, 173–182 (1988)

    Google Scholar 

  16. Lefering M.: Tools to Support Life Cycle Integration, in: Proc. 6th Software Engineering Environments Conference 1993 (SEE 93), 2–16, Los Alamitos: IEEE Computer Society Press (1993)

    Google Scholar 

  17. Lefering M.: Fine-Grained Integrators in Software Development Environments (in German) Ph.D.Thesis, RWTH Aachen, (1994), Aachen: Shaker Verlag

    Google Scholar 

  18. Lefering M.: Development of Incremental Integration Tools Using Formal Specifications, Technical Report AIB-94-2, Fachgruppe Informatik, Aachen University of Technology, Germany (1994)

    Google Scholar 

  19. Nagl M.: Graph-Grammars: Theory, Applications, and Implementation (in German), Braunschweig: Vieweg-Verlag (1979)

    Google Scholar 

  20. Nagl M.: Graph Technology Applied to a Software Project, in Rozenberg, Salomaa (Eds): The Book of L, 303–322, Berlin: Springer-Verlag (1985)

    Google Scholar 

  21. Nagl M.: Methodological Programming-in-the-Large (in German), Berlin: Springer-Verlag (1990)

    Google Scholar 

  22. Nagl M.: Uniform Modelling in Graph Grammar Specifications, in Proc. Dagstuhl Seminar 9301 on Graph Transformations in Computer Science, LNCS 776, Berlin: Springer-Verlag (1994).

    Google Scholar 

  23. Nagl M., Westfechtel B.: A Universal Component for the Administration in Distributed and Integrated Development Environments, Technical Report AIB 94-8, RWTH Aachen (1994)

    Google Scholar 

  24. Rekers J., Schürr A.: A Parsing Algorithm for Context-Sensitive Graph Grammars, Technical Report 95-05, Departement of Computer Science, Leiden University, Netherlands (1995)

    Google Scholar 

  25. Schäfer W.: An Integrated Software Development Environment: Concepts, Design, and Implementation (in German), Dissertation Univ. Osnabrück, VDI Fortschrittsberichte 57, Düsseldorf: VDI-Verlag (1986)

    Google Scholar 

  26. Schürr A.: PROGRES: A VHL Language Based on Graph Grammars, in: Proc. 4th Int. Workshop on Graph Grammars and Their Application to Computer Science, LNCS 532, 641–659, Berlin: Springer-Verlag (1991)

    Google Scholar 

  27. Schürr A.: Operational Specifications with Programmed Graph Rewriting Systems (in German), Ph.D. Thesis, Wiesbaden: Deutscher Universitätsverlag (1991)

    Google Scholar 

  28. Schürr A.: Specification of Graph Translators with Triple Graph Grammars, in: E.W. Mayr (Ed.): Proc. 20th Int. Workshop on Graph-Theoretic Concepts in Computer Science (WG '94), Herrsching, Germany, LNCS 903, Berlin: Springer-Verlag (1995)

    Google Scholar 

  29. Proc. International Software Process Workshops, since 1984, IEEE Computer Society Press

    Google Scholar 

  30. Westfechtel B.: Revision and Consistency Control in an Integrated Software Development Environment (in German), Ph.D. Thesis, Informatik Fachberichte 280, Berlin: Springer-Verlag (1991)

    Google Scholar 

  31. Zündorf A.: Programmed Graph Rewriting Systems: Implementation and Usage (in German); Ph.D. Thesis; Aachen University of Technology (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Janice Cuny Hartmut Ehrig Gregor Engels Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nagl, M., Schürr, A. (1996). Software integration problems and coupling of graph grammar specifications. In: Cuny, J., Ehrig, H., Engels, G., Rozenberg, G. (eds) Graph Grammars and Their Application to Computer Science. Graph Grammars 1994. Lecture Notes in Computer Science, vol 1073. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61228-9_85

Download citation

  • DOI: https://doi.org/10.1007/3-540-61228-9_85

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61228-5

  • Online ISBN: 978-3-540-68388-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics