Reusable idioms and patterns in graph transformation languages

Electronic Notes in Theoretical Computer Science

Volumn 127, Issue 1, 2005, Pages 181-192

  Agrawal, Aditya ^a   Vizhanyo, Attila ^a   Kalmar, Zsolt ^a   Shi, Feng ^a   Narayanan, Anantha ^a   Karsai, Gabor ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

Design Patterns; Graph Transformations

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER GRAPHICS; DATA FLOW ANALYSIS; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; SEMANTICS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

DESIGN PATTERNS; GRAPH REWRITING SYSTEM (GRS); GRAPH TRANSFORMATION; MODEL DRIVEN ARCHITECTURES (MDA);

PATTERN MATCHING;

EID: 14944360170     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.12.035     Document Type: Conference Paper

References (20)

1. J. Rumbaugh, I. Jacobson, and G. Booch The Unified Modeling Language Reference Manual 1998 Addison-Wesley
2. Object Management Group, Object Constraint Language Specification, OMG Document formal/01-9-77. September 2001
3. The Model-Driven Architecture http://www.omg.org/mda/ 2002 OMG, Needham, MA
4. Grzegorz Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation 1997 World Scientific Publishing Co. Pte. Ltd.
5. Blostein D, Schürr A., "Computing with Graphs and Graph Rewriting", Technical Report AIB 97-8, Fachgruppe Informatik, RWTH Aachen, Germany
6. H. Gottler Attributed graph grammars for graphics H. Ehrig M. Nagl G. Rosenberg Graph Grammars and their Application lo Computer Science LNCS 153 1982 Springer-Verlag 130 142
7. Agrawal A., Karsai G., Shi F.: "Graph Transformations on Domain-Specific Models", Technical report ISIS-03-403, Vanderbilt University, November, 2003
8. Vizhanyo A., Agrawal A., Shi F.: "Towards Generation of High-performance Transformations", Generative Programming and Component Engineering, (in press), Vancouver, Canada, October 24, 2004
9. G. Karsai, A. Agrawal, F. Shi, and J. Sprinkle On the Use of Graph Transformations for the Formal Specification of Model Interpreters Journal of Universal Computer Science 2003 Special issue on Formal Specification of CBS
10. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides Design Patterns: Elements of Reusable Object-Oriented Software 1995 Addison-Wesley
11. Angsgar Radermacher. Support for Design Patterns Through Graph Transformation Tools. AGTIVE 1999: pp. 111-126
12. Alexander Christoph: "Graph Rewrite Systems for Software Design Transformations" NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002. pp. 76 - 86
13. A. Schürr PROGRES: A VHL-language based on graph grammars Proc. 4th Int. Workshop on Graph-Grammars and Their Application to Computer Science LNCS number 532 1991 Springer-Verlag 641 659
14. G. Taentzer AGG: A Tool Enviroment for Algebraic Graph Transformation Proc. of Applications of Graph Transformation with Industrial Relevance Kerkrade, The Netherlands LNCS 2000 Springer
15. G. Karsai, S. Neema, B. Abbott, D. Sharp. "A Modeling Language and its Supporting Tools for Avionics Systems", 21st Digital Avionics Systems Conference, August 2002
16. Kurt Mehlhorn Graph algorithms and NP-completeness 1984 Springer-Verlag New York, Inc., New York, NY, USA
17. U. Nickel and J. Niere and A. Zündorf, "Tool demonstration: The FUJABA environment", Proc. ICSE: The 22nd International Conference on Software Engineering, Limerick, Ireland, ACM Press, 200
18. D. Varró, G. Varró, and A. Pataricza Designing the Automatic Transformation of Visual Languages Science of Computer Programming volume 44 2002 Elsevier 205 227
19. T. Fischer and J. Niere and L. Torunski and A. Zündorf, "Story Diagrams: A new Graph Transformation Language based on UML and Java, Proc. Theory and Application to Graph Transformations, TAGT'98
20. A. Rensink The GROOVE Simulator: A tool for state space generation, AGTIVE Lecture Notes in Computer Science 2003 Springer