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.
Preview
Unable to display preview. Download preview PDF.
References
Ehrig H., Engels G.: Towards a Module Concept for Graph Transformation Systems, Technical Report 93-34, Department of Computer Science, Leiden University, Netherlands (1993)
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)
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)
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)
Enrich H.D., Saake G., Sernadas A.: Concepts of Object-Orientation, Proc. 2nd IS/KI Workshop, Ulm 1992
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)
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
Nagl M.: (Ed.): Building Tightly Integrated Software Development Environments—The IPSEN Approach, to appear in LNCS.
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)
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)
Kohring Ch.: Tightly Integrating Editing, Analysis, and Execution of Requirements Specifications (in German), Ph.D. Thesis, RWTH Aachen (1995), to appear
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)
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)
Kiesel N., Schürr A., Westfechtel B.: GRAS, A Graph-oriented (Software) Engineering Database System, Information Systems 20, 1, 21–51 (1995)
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)
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)
Lefering M.: Fine-Grained Integrators in Software Development Environments (in German) Ph.D.Thesis, RWTH Aachen, (1994), Aachen: Shaker Verlag
Lefering M.: Development of Incremental Integration Tools Using Formal Specifications, Technical Report AIB-94-2, Fachgruppe Informatik, Aachen University of Technology, Germany (1994)
Nagl M.: Graph-Grammars: Theory, Applications, and Implementation (in German), Braunschweig: Vieweg-Verlag (1979)
Nagl M.: Graph Technology Applied to a Software Project, in Rozenberg, Salomaa (Eds): The Book of L, 303–322, Berlin: Springer-Verlag (1985)
Nagl M.: Methodological Programming-in-the-Large (in German), Berlin: Springer-Verlag (1990)
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).
Nagl M., Westfechtel B.: A Universal Component for the Administration in Distributed and Integrated Development Environments, Technical Report AIB 94-8, RWTH Aachen (1994)
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)
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)
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)
Schürr A.: Operational Specifications with Programmed Graph Rewriting Systems (in German), Ph.D. Thesis, Wiesbaden: Deutscher Universitätsverlag (1991)
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)
Proc. International Software Process Workshops, since 1984, IEEE Computer Society Press
Westfechtel B.: Revision and Consistency Control in an Integrated Software Development Environment (in German), Ph.D. Thesis, Informatik Fachberichte 280, Berlin: Springer-Verlag (1991)
Zündorf A.: Programmed Graph Rewriting Systems: Implementation and Usage (in German); Ph.D. Thesis; Aachen University of Technology (1995)
Author information
Authors and Affiliations
Editor information
Rights 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