Graph Grammar Engineering: A Software Specification Method
G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Engels, GregorLibreCat;
Lewerentz, Claus;
Schäfer, Wilhelm
Department
Abstract
Graphs as conceptual data models are accepted and used in a wide range of different problem areas. Giving some examples we outline common aspects for modeling complex structures by graphs. We present a formal frame-work based on graph grammars to specify graph classes and the corresponding graph manipulations. We show that such a specification can be written in a systematic, engineering-like manner. This is achieved by an extension of the known programmed, attributed graph grammars. Node-set operators are introduced to facilitate graph queries. Concepts like abstraction, decomposition, refinement, parameterization, and integration have been adopted from software engineering to yield a comprehensive specification method. This method has successfully been applied to specify the central data structures in a software development environment project
Publishing Year
Proceedings Title
Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)
Volume
291
Page
186-201
LibreCat-ID
Cite this
Engels G, Lewerentz C, Schäfer W. Graph Grammar Engineering: A Software Specification Method. In: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA). Vol 291. Berlin/Heidelberg: Springer; 1987:186-201. doi:dx.doi.org/10.1007/3-540-18771-5
Engels, G., Lewerentz, C., & Schäfer, W. (1987). Graph Grammar Engineering: A Software Specification Method. In Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA) (Vol. 291, pp. 186–201). Berlin/Heidelberg: Springer. https://doi.org/dx.doi.org/10.1007/3-540-18771-5
@inproceedings{Engels_Lewerentz_Schäfer_1987, place={Berlin/Heidelberg}, title={Graph Grammar Engineering: A Software Specification Method}, volume={291}, DOI={dx.doi.org/10.1007/3-540-18771-5}, booktitle={Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)}, publisher={Springer}, author={Engels, Gregor and Lewerentz, Claus and Schäfer, Wilhelm}, year={1987}, pages={186–201} }
Engels, Gregor, Claus Lewerentz, and Wilhelm Schäfer. “Graph Grammar Engineering: A Software Specification Method.” In Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), 291:186–201. Berlin/Heidelberg: Springer, 1987. https://doi.org/dx.doi.org/10.1007/3-540-18771-5.
G. Engels, C. Lewerentz, and W. Schäfer, “Graph Grammar Engineering: A Software Specification Method,” in Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), 1987, vol. 291, pp. 186–201.
Engels, Gregor, et al. “Graph Grammar Engineering: A Software Specification Method.” Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), vol. 291, Springer, 1987, pp. 186–201, doi:dx.doi.org/10.1007/3-540-18771-5.
Google Scholar