book chapter
Flexible Interconnection of Graph Transformation Modules - A Systematic Approach
Gregor
Engels
author 107
Reiko
Heckel
author
Alexey
Cherchago
author
H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer
editor
66
department
Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connected with other modules requesting or providing certain features. In this paper, we study modules the interfaces of which consist of behavioral specifications given by typed graph transformation systems. We introduce a framework for classifying and systematically defining relations between typed graph transformation systems. The framework comprises a number of standard ingredients, like homomorphisms between type graphs and mappings between sets of graph transformation rules. The framework is applied to develop a novel concept of substitution morphism by separating preconditions and effects in the specification of rules. This substitution morphism is suited to define the semantic relation between export and import interfaces of requesting and providing modules.
Springer2005
eng
Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
339338-63
G. Engels, R. Heckel, and A. Cherchago, “Flexible Interconnection of Graph Transformation Modules - A Systematic Approach,” in <i>Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday</i>, vol. 3393, H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, Ed. Berlin/Heidelberg: Springer, 2005, pp. 38–63.
Engels, G., Heckel, R., & Cherchago, A. (2005). Flexible Interconnection of Graph Transformation Modules - A Systematic Approach. In H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer (Ed.), <i>Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday</i> (Vol. 3393, pp. 38–63). Berlin/Heidelberg: Springer.
Engels, Gregor, et al. “Flexible Interconnection of Graph Transformation Modules - A Systematic Approach.” <i>Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday</i>, edited by H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, vol. 3393, Springer, 2005, pp. 38–63.
Engels, Gregor, Reiko Heckel, and Alexey Cherchago. “Flexible Interconnection of Graph Transformation Modules - A Systematic Approach.” In <i>Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday</i>, edited by H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, 3393:38–63. LNCS. Berlin/Heidelberg: Springer, 2005.
Engels G, Heckel R, Cherchago A. Flexible Interconnection of Graph Transformation Modules - A Systematic Approach. In: Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer H-J, ed. <i>Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday</i>. Vol 3393. LNCS. Berlin/Heidelberg: Springer; 2005:38-63.
@inbook{Engels_Heckel_Cherchago_2005, place={Berlin/Heidelberg}, series={LNCS}, title={Flexible Interconnection of Graph Transformation Modules - A Systematic Approach}, volume={3393}, booktitle={Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Cherchago, Alexey}, editor={ Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, H.-J.Editor}, year={2005}, pages={38–63}, collection={LNCS} }
G. Engels, R. Heckel, A. Cherchago, in: H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer (Ed.), Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, Springer, Berlin/Heidelberg, 2005, pp. 38–63.
75472019-02-05T13:00:17Z2019-02-05T13:01:17Z