Flexible Interconnection of Graph Transformation Modules - A Systematic Approach

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.

Download
No fulltext has been uploaded.
Book Chapter | English
Author
Engels, GregorLibreCat; Heckel, Reiko; Cherchago, Alexey
Book Editor
Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, H.-J.
Abstract
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.
Publishing Year
Book Title
Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Series Title / Volume
LNCS
Volume
3393
Page
38-63
LibreCat-ID

Cite this

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. Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Vol 3393. LNCS. Berlin/Heidelberg: Springer; 2005: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.), Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Vol. 3393, pp. 38–63). Berlin/Heidelberg: Springer.
@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} }
Engels, Gregor, Reiko Heckel, and Alexey Cherchago. “Flexible Interconnection of Graph Transformation Modules - A Systematic Approach.” In Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, edited by H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, 3393:38–63. LNCS. Berlin/Heidelberg: Springer, 2005.
G. Engels, R. Heckel, and A. Cherchago, “Flexible Interconnection of Graph Transformation Modules - A Systematic Approach,” in Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, vol. 3393, H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, Ed. Berlin/Heidelberg: Springer, 2005, pp. 38–63.
Engels, Gregor, et al. “Flexible Interconnection of Graph Transformation Modules - A Systematic Approach.” Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, edited by H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, vol. 3393, Springer, 2005, pp. 38–63.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar