Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories

Fundamenta Informaticae

Volumn 74, Issue 1, 2006, Pages 31-61

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

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Adhesive HLR categories; Critical Pair Lemma; Local confluence of transformations; Typed attributed graph transformation

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; GRAPH THEORY; MATHEMATICAL MODELS;

ADHESIVE HLR CATEGORIES; CRITICAL PAIR LEMMA; LOCAL CONFLUENCE OF TRANSFORMATIONS; TYPED ATTRIBUTED GRAPH TRANSFORMATION;

SOFTWARE ENGINEERING;

EID: 37849189248     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (25)

1. Bardohl, R.: A Visual Environment for Visual Languages, Science of Computer Programming (SCP), 44(2), 2002, 181-203.
2. Berthold, M., Fischer, I., Koch, M.: Attributed Graph Transformation with Partial Attribution, Technical Report 2000-2, March 2000.
3. Claßen, I., 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.
4. Ehrig, H.: Introduction to the Algebraic Theory of Graph Grammars (A Survey), in: Graph Grammars and their Application to Computer Science and Biology, vol. 73 of LNCS, Springer, 1979, 1-69.
5. Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.: Constraints and Application Conditions: From Graphs to High-Level Structures, Proceedings of ICGT 2004 (H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, Eds.), 3256, Springer, 2004, Long version to appear in Fundamenta Informaticae.
6. 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.
7. 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.
8. Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation, Fundamenta Informaticae this issue.
9. Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive High-Level Replacement Categories and Systems, in: Proceedings of ICGT 2004 (H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, Eds.), vol. 3256 of LNCS, Springer, 2004, 144-160.
10. 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.
11. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, vol. 6 of EATCS Monographs on TCS, Springer, Berlin, 1985.
12. Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M.: A Generic Component Concept for System Modeling, in: Proc. FASE 2002: Formal Aspects of Software Engineering, vol. 2306 of LNCS, Springer, 2002, 33-48.
13. Ehrig, H., Prange, U., Taentzer, G.: Fundamental Theory for Typed Attributed Graph Transformation, in: Proceedings of ICGT 2004 (H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, Eds.), vol. 3256 of LNCS, Springer, 2004, 161-177.
14. Ermel, C., Rudolf, M., Taentzer, G.: The AGG-Approach: Language and Tool Environment, in: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2 (H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg, Eds.), World Scientific, 1999, 551-603.
15. Fischer, I., Koch, M., Taentzer, G., Volle, V.: Distributed Graph Transformation with Application to Visual Design of Distributed Systems, in: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3 (H. Ehrig, H.-J. Kreowski, U. Montanari, G. Rozenberg, Eds.), World Scientific, 1999, 269-340.
16. Große-Rhode, M.: Semantic Integration of Heterogeneuos Software Specifications, EATCS Monographs on Theoretical Computer Science, Springer, Berlin, 2004.
17. Heckel, R., Küster, J., Taentzer, G.: Confluence of Typed Attributed Graph Transformation, in: Proc. ICGT 2002, vol. 2505 of LNCS, Springer, 2002, 161-176.
18. Lack, S., Sobociński, P.: Adhesive Categories, in: Proc. FOSSACS 2004, vol. 2987 of LNCS, Springer, 2004, 273-288.
19. Llabres, M., Rossello, F.: Pushout Complements for Arbitrary Partial Algebras, in: Theory and Applications of Graph Transformation (H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg, Eds.), vol. 1764 of LNCS, Springer, 2000, 131-144.
20. 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.
21. Plump, D., Steinert, S.: Towards Graph Programs for Graph Algorithms, in: Proceedings of ICGT 2004 (H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, Eds.), vol. 3256 of LNCS, Springer, 2004, 128-143.
22. Prange, U.: Confluence of Adhesive HLR Systems with Applications to Typed Attributed Graph Transformation Systems. Diploma Thesis, Technical Report 2004/22, TU Berlin, 2004.
23. 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.
24. Schürr, A.: Programmed Graph Replacement Systems, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations (G. Rozenberg, Ed.), World Scientific, 1997.
25. Wagner, A.: A Formal Object Specification Technique Using Rule-Based Transformation of Partial Algebras, Ph.D. Thesis, TU Berlin, 1997.