A Compositional Approach to Structuring and Refinement of Typed Graph Grammars
A. Corradini, R. Heckel, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 46–55.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Corradini, Andrea;
Heckel, Reiko
Department
Abstract
Based on a categorical semantics that has been developed for typed graph grammars we uses colimits (pushouts) to model composition and (reverse) graph grammar morphisms to describe refinements of typed graph grammars. Composition of graph grammars w.r.t. common subgrammars is shown to be compatible with the semantics, i.e. the semantics of the composed grammar is obtained as the composition of the semantics of the component grammars. Moreover, the structure of a composed grammar is preserved during a refinement step in the sense that compatible refinements of the components induce a refinement of the composition. The concepts and results are illustrated by an example.
Publishing Year
Proceedings Title
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)
forms.conference.field.series_title_volume.label
Electronic Notes in Theoretical Computer Science
Volume
2
Page
46-55
LibreCat-ID
Cite this
Corradini A, Heckel R. A Compositional Approach to Structuring and Refinement of Typed Graph Grammars. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Vol 2. Electronic Notes in Theoretical Computer Science . Elsevier; 1995:46-55.
Corradini, A., & Heckel, R. (1995). A Compositional Approach to Structuring and Refinement of Typed Graph Grammars. In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy) (Vol. 2, pp. 46–55). Elsevier.
@inproceedings{Corradini_Heckel_1995, series={Electronic Notes in Theoretical Computer Science }, title={A Compositional Approach to Structuring and Refinement of Typed Graph Grammars}, volume={2}, booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Corradini, Andrea and Heckel, Reiko}, year={1995}, pages={46–55}, collection={Electronic Notes in Theoretical Computer Science } }
Corradini, Andrea, and Reiko Heckel. “A Compositional Approach to Structuring and Refinement of Typed Graph Grammars.” In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 2:46–55. Electronic Notes in Theoretical Computer Science . Elsevier, 1995.
A. Corradini and R. Heckel, “A Compositional Approach to Structuring and Refinement of Typed Graph Grammars,” in Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 1995, vol. 2, pp. 46–55.
Corradini, Andrea, and Reiko Heckel. “A Compositional Approach to Structuring and Refinement of Typed Graph Grammars.” Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), vol. 2, Elsevier, 1995, pp. 46–55.
Google Scholar