Fundamental theory for typed attributed graph transformation

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

Volumn 3256, Issue , 2004, Pages 161-177

  Ehrig, Hartmut ^a   Prange, Ulrike ^a   Taentzer, Gabriele ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MODELING LANGUAGES; SOFTWARE ENGINEERING; VISUAL LANGUAGES;

ADHESIVE CATEGORIES; ATTRIBUTED GRAPHS; EXTENSION THEOREM; FUNDAMENTAL THEORY; GRAPH TRANSFORMATION; MODELING AND META-MODELING; RIGOROUS APPROACH; TYPED ATTRIBUTED GRAPH TRANSFORMATIONS;

GRAPH THEORY;

EID: 33947666925     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30203-2_13     Document Type: Article

References (19)

1. Ehrig, H.: Introduction to the Algebraic Theory of Graph Grammars (A Survey). In: Graph Grammars and their Application to Computer Science and Biology. Volume 73 of LNCS. Springer (1979) 1-69
2. Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G., eds.: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific (1999)
3. Ehrig, H., Kreowski, H.J., Montanari, U., Rozenberg, G., eds.: Handbook of Graph Grammars and Computing by Graph Transformation. Vol 3: Concurrency, Parallelism and Distribution. World Scientific (1999)
4. Löwe, M., Korff, M., Wagner, A.: An Algebraic Framework for the Transformation of Attributed Graphs. In: Term Graph Rewriting: Theory and Practice. John Wiley and Sons Ltd. (1993) 185-199
5. Heckel, R., Küster, J., Taentzer, G.: Confluence of Typed Attributed Graph Transformation with Constraints. In: Proc. ICGT 2002. Volume 2505 of LNCS., Springer (2002) 161-176
6. Berthold, M., Fischer, I., Koch, M.: Attributed Graph Transformation with Partial Attribution. Technical Report 2000-2 (2000)
7. Ermel, C., Rudolf, M., Taentzer, G.: The AGG-Approach: Language and Tool Environment. In Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G., eds.: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2, World Scientific (1999) 551-603
8. Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive High-Level Replacement Categories and Systems. In: Proc. ICGT 2004. LNCS, Springer (2004) (this volume).
9. Lack, S., Sobociński, P.: Adhesive Categories. In: Proc. FOSSACS 2004. Volume 2987 of LNCS., Springer (2004) 273-288
10. Ehrig, H., Habel, A., Kreowski, H.J., Parisi-Presicce, F.: Parallelism and Concurrency in High-Level Replacement Systems. Math. Struct, in Comp. Science 1 (1991) 361-404
11. Claßen, L, Löwe, M.: Scheme Evolution in Object Oriented Models: A Graph Transformation Approach. In: Proc. Workshop on Formal Methods at the ISCE'95, Seattle (U.S.A.). (1995)
12. Fischer, I., Koch, M., Taentzer, G., Volle, V.: Distributed Graph Transformation with Application to Visual Design of Distributed Systems. In Ehrig, H., Kreowski, H.J., Montanari, U., Rozenberg, G., eds.: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3, World Scientific (1999) 269-340
13. Bardohl, R.: A Visual Environment for Visual Languages. Science of Computer Programming (SCP) 44 (2002) 181-203
14. Ehrig, H., Prange, U., Taentzer, G.: Fundamental Theory for Typed Attributed Graph Transformation: Long Version. Technical Report TU Berlin. (2004)
15. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Volume 6 of EATCS Monographs on TCS. Springer, Berlin (1985)
16. Schied, G.: Über Graphgrammatiken, eine Spezifikationsmethode für Programmiersprachen und verteilte Regelsysteme. Arbeitsber. des Inst. für math. Maschinen und Datenverarbeitung, PhD Thesis, University of Erlangen (1992)
17. Wagner, A.: A Formal Object Specification Technique Using Rule-Based Transformation of Partial Algebras. PhD thesis, TU Berlin (1997)
18. Llabres, M., Rossello, F.: Pushout Complements for Arbitrary Partial Algebras. In Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G., eds.: Theory and Applications of Graph Transformation. Volume 1764., Springer (2000) 131-144
19. Große-Rhode, M.: Semantic Integration of Heterogeneuos Software Specifications. EATCS Monographs on Theoretical Computer Science. Springer, Berlin (2004)