AGG: A graph transformation environment for modeling and validation of software

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

Volumn 3062, Issue , 2004, Pages 446-453

  Taentzer, Gabriele ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; FORMAL LANGUAGES; GRAPHICAL USER INTERFACES; MODELING LANGUAGES; SEMANTICS; USER INTERFACES; VISUAL LANGUAGES;

ALGEBRAIC GRAPH TRANSFORMATIONS; CONFLICT DETECTION; CONSISTENCY CHECKING; CRITICAL PAIR ANALYSIS; DEVELOPMENT ENVIRONMENT; GRAPH TRANSFORMATION; MODELING AND VALIDATION; RULE-BASED MODELS;

GRAPH THEORY;

EID: 34247342048     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25959-6_35     Document Type: Article

References (18)

1. 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.
2. H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, and A. Corradini. Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach. In G. Rozenberg, editor, The Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, pages 247-312. World Scientific, 1996.
3. R. Bardohl. A Visual Environment for Visual Languages. Science of Computer Programming (SCP), 44(2):181-203, 2002.
4. P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. Consistency Checking and Visualization of OCL Constraints. In A. Evans and S. Kent, editors, UML 2000 - The Unified Modeling Language, volume 1939 of LNCS. Springer, 2000.
5. P. Bottoni, A. Schürr, and G. Taentzer. Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. In Proc. IEEE Symposium on Visual Languages, September 2000. Long version available as technical report SI-2000-06, University of Rome.
6. A. Corradini, U. Montanari, and F. Rossi. Graph Processes. Special Issue of Fundamenta Informaticae, 26(3,4):241-266, 1996.
7. C. Ermel, M. Rudolf, and G. Taentzer. The AGG-Approach: Language and Tool Environment. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools, pages 551-603. World Scientific, 1999.
8. A. Habel, R. Heckel, and G. Taentzer. Graph Grammars with Negative Application Conditions. Special issue of Fundamenta Informaticae, 26(3,4), 1996.
9. J.H. Hausmann, R. Heckel, and G. Taentzer. Detection of Conflicting Functional Requirements in a Use Case-Driven Approach. In Proc. of Int. Conference on Software Engineering 2002, Orlando, USA, 2002. To appear.
10. R. Heckel and A. Wagner. Ensuring Consistency of Conditional Graph Grammars - A constructive Approach. Proc. of SEGRAGRA'95 "Graph Rewriting and Computation", Electronic Notes of TCS, 2, 1995. http://www.elsevier.nl/ locate/entcs/volume2.html.
11. M. Löwe, M. Korff, and A. Wagner. An Algebraic Framework for the Transformation of Attributed Graphs. In M.R. Sleep, M. J. Plasmeijer, and M.C. van Eekelen, editors, Term Graph Rewriting: Theory and Practice, chapter 14, pages 185-199. John Wiley & Sons Ltd, 1993.
12. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, 1997.
13. A. Schürr, A. Winter, and A. Zündorf. The PROGRES-approach: Language and environment. In H. Ehrig, G. Engels, J.-J. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific, 1999.
14. G. Taentzer, I. Fischer, M Koch, and V. Volle. Visual Design of Distributed Systems by Graph Transformation. In H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency, Parallelism, and Distribution, pages 269-340. World Scientific, 1999.
15. The Extensible Markup Language (XML) http://www.w3.org/XML/, 2003.
16. GXL http://www.gupro.de/GXL, 2003.
17. Fujaba Project Group, 2003. Available at http://www.fujaba.de.
18. M. Minas. Concepts and realization of a diagram editor generator based on hypergraph transformation. Science of Computer Programming, 44(3):157-180, 2002.