Abstract
Spatial and temporal renement relations between typed graph transformation systems have been introduced in [6,7]. In a spatial renement a transformation rule is rened by an amalgamation of rules while in a temporal renement it is rened by a sequence of rules: in both cases, the renement relation supports the modeling of implementation. In the rst part of this paper, we further investigate the properties of spatial and temporal renements while, in the second part, we employ them for the development of a module concept for typed graph transformation systems. Finally, as a rst step towards an algebra of modules, we introduce the operations of union and composition of modules.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
E.K. Blum H. Ehrig F. Parisi Presicce “Algebraic Specication of Modules and Their Basic Interconnections” Journal of Computer and System Sciences Vol. 34 pp. 293–339 (1987)
A. Corradini R. Heckel “A Compositional Approach to Structuring and Renement of Typed Graph Grammars” Proc. of SEGRAGRA '95 “Graph Rewriting and Computation” ENTCS vol. 2, Elsevier (1995)
H. Ehrig B. Mahr “Fundamentals of Algebraic Specications 2: Module Specications and Constraints” EATCS Monographs on Theoretical Computer Science Vol. 21 Springer Verlag, Berlin (1990)
G. Engels R. Heckel G. Taentzer H. Ehrig “A View-Oriented Approach to System Modelling based on Graph Transformation” Proc. ESEC LNCS 1301 pp. 327–343 (1997)
G. Engels A. Shüurr “Encapsulated Hierarchical Graphs, Graph Types, and Meta Types” LNCS n.1073 pp. 137–154 (1996)
M. Groβe-Rhode F. Parisi Presicce M. Simeoni “Spatial and Temporal Renement of Typed Graph Transformation Systems” Proc. of MFCS'98 LNCS n.1450 pp. 553–561 (1998)
M. Groβe-Rhode F. Parisi Presicce M. Simeoni “Concrete Spatial Renement Construction for Graph Transformation Systems” Universitàa di Roma La Sapienza, Dip. Scienze dell'Informazione Technical Report SI 97/10 (1997)
M. Groβe-Rhode F. Parisi Presicce M. Simeoni “Refinements and Modules for Typed Graph Transformation Systems” Universitàa di Roma La Sapienza Dip. Scienze dell'Informazione Technical Report SI 98/05 (1998)
H-J. Kreowski, S. Kuske “On the Interleaving Semantics of Transformation Units A Step into GRACE” LNCS n.1073 pp. 89 106 (1996)
F. Parisi Presicce “Transformation of Graph Grammars” LNCS n.1073 pp. 428–442 (1996)
F. Parisi Presicce “Inner and Mutual Compatibility of operations on module specications” Technical Report 86-06 TU Berlin (1986)
A. Winter A. Schürr “Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems” Aachener Informatik-Berichte 97-03
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Groβe-Rhode, M., Presicce, F.P., Simeoni, M. (1999). Refinements and Modules for Typed Graph Transformation Systems. In: Fiadeiro, J.L. (eds) Recent Trends in Algebraic Development Techniques. Lecture Notes in Computer Science, vol 1589. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48483-3_10
Download citation
DOI: https://doi.org/10.1007/3-540-48483-3_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66246-4
Online ISBN: 978-3-540-48483-7
eBook Packages: Springer Book Archive