Refinements of graph transformation systems via rule expressions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1764, Issue , 2000, Pages 368-382

  Große Rhode, Martin ^a   Presicce, Francesco Parisi ^b   Simeoni, Marta ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; REFINING;

BASIC COMPOSITION; COMPUTATIONAL SYSTEM; FORMAL MODEL; GRAPH TRANSFORMATION RULES; GRAPH TRANSFORMATION SYSTEM; PARALLEL COMPOSITION; REFINING SYSTEMS; TEMPORAL AND SPATIAL;

GRAPH THEORY;

EID: 84949934945     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-46464-8_26     Document Type: Conference Paper

References (8)

1. P. Böhm, H.-R. Fonio, and A. Habel. Amalgamation of graph transformations: a synchronization mechanism. Journal of Computer and System Science, 34:377–408, 1987. 374
2. A. Corradini, U. Montanari, and F. Rossi. Graph processes. Special issue of Fundamenta Informaticae, 26(3,4):241–266, 1996. 369
3. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe. Algebraic approaches to graph transformation part I: Basic concepts and double pushout approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph transformation, Volume 1: Foundations, pages 163–246. World Scientific, 1997. 369, 370, 372
4. H. Ehrigand B. Mahr. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, volume 21 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1990. 379
5. G. Engels, H. Ehrig, R. Heckel, and G. Taentzer. A combined reference model-and view-based approach to system specification. Int. Journal of Software and Knowledge Engeneering, 7(4):457–477, 1997. 370
6. M. Große-Rhode, F. Parisi Presicce, and M. Simeoni. Spatial and temporal refinement of typed graph transformation systems. In L. Brim, J. Gruska, and J. Zlatu?ska, editors, Proc. Mathematical Foundations of Computer Science 1998, pages 553–561. Springer LNCS 1450, 1998. 370, 381
7. M. Große-Rhode, F. Parisi Presicce, and M. Simeoni. Refinements and modules for typed graph transformation systems. In J.L. Fiadeiro, editor, Workshop on Algebraic Development Techniques (WADT’98), at ETAPS’98, Lisbon, April 1998, pages 137–151. Springer LNCS 1589, 1999. 378, 379, 381
8. R. Heckel, A. Corradini, H. Ehrig, and M. Löwe. Horizontal and vertical structuring of typed graph transformation systems. Math. Struc. in Comp. Science, 6(6):613– 648, 1996. 369, 381