Tool integration with triple graph grammars - A survey

Electronic Notes in Theoretical Computer Science

Volumn 148, Issue 1 SPEC. ISS., 2006, Pages 113-150

  Königs, Alexander ^a   Schürr, Andy ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

MDA; Model integration; QVT; Tool integration; Triple graph grammars

Indexed keywords

DATA REDUCTION; GRAPH THEORY; LOGIC PROGRAMMING; MATHEMATICAL MODELS; METADATA; QUERY LANGUAGES; SYSTEMS ENGINEERING;

MDA; MODEL INTEGRATION; QVT; TOOL INTEGRATION; TRIPLE GRAPH GRAMMARS;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (51)

1. Amelunxen, Bichler, and Schürr Codegenerierung für Assoziationen in MOF 2.0 Proceedings of Modellierung 2004 Marburg, Germany 2004 149 168 German
2. Agrawal, Karsai, and Shi. Graph Transformations on Domain-Specific Models. Technical report, Institute for Software Integrated Systems at Vanderbilt University, 2003
3. Borras Centaur: The System Henderson Proc. 3rd Symp. ACM Software Engineering Notes 13 5 1988 14 24
4. Brown Principles of CASE Tool Integration 1994 Oxford University Press
5. Bottoni et al. Working on OCL with Graph Transformations. In APPLIGRAPH Workshop on Applied Graph Transformation, pages 1-10, 2002. http://www. informatik.uni-bremen.de/-theorie/-AGT2002/-procAGT.pdf.gz
6. Borland Together http://www.borland.com/together
7. Braun. Metamodellbasierte Kopplung von Werkzeugen in der Softwareentwicklung. Logos Verlag, 2004. German, PhD thesis
8. Becker, and Westfechtel Incremental Integration Tools for Chemical Engineering: An Industrial Application of Triple Graph Grammars 29th Intl. Workshop Graph-Theoretic Concepts in Computer Science LNCS volume 2880 2003 46 57
9. Czarnecki and Helsen. Classification Of Model Transformation Approaches. In 2nd OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture, 2003. http://www.softmetaware.com/oopsla2003/czarnecki.pdf
10. Dörr and Schürr, editors. Special Section on Tool Integration Applications and Frameworks. Journal of Software Tools for Technology Transfer, 2004. Springer-Verlag. to appear
11. Ehrig Engels Kreowski Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation, volume 1 1997 World Scientific Publishing
12. Ehrig Engels Kreowski Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation, volume 2 1999 World Scientific Publishing
13. Ehrig Introduction to the Algebraic Theory of Graph Grammars (a Survey) Proc. Int. Workshop on Graph-Grammars and Their Application to Computer Science and Biology LNCS volume 73 1979 Springer Verlag 1 69
14. Ehrig, Prange, and Taentzer Fundamental Theory for Typed Attributed Graph Transformations Ehrig Graph Transformations, Proc. 2nd Int. Conference ICGT 2004 LNCS volume 3256 2004 Springer Verlag 161 177
15. Frankel The ToolTalk Service 1991 Sun Microsystems Inc.
16. Fromme HP Encapsulator: Bridging the Generation Gap Hewlett-Packard Journal 1990 59 68
17. Garlan. Views for Tools in Integrated Environments. PhD thesis, Computer Science Department at Carnegie Mellon University, 1988
18. Ganzinger, and Giegerich Attribute Coupled Grammars Proc. ACM SIGPLAN '84 Symp. on Compiler Construction ACM SIGPLAN Notices 17 vol. 6 1984 172 184
19. Habermann, and Notkin Gandalf: Software Development Environments Special Issue on Programming Environments TOSE 12 12 1986 1117 1127
20. Jahnke, Schäfer, and Zündorf A Design Environment for Migrating Relational to Object Oriented Database Systems Proc. of the International Conference on Software Maintenance 1996 IEEE Computer Society Press 163 170
21. Kaiser, Kaplan, and Micallef Multiuser, Distributed Language-Based Environments IEEE Software 4 6 1987
22. Königs and Schürr. MDI - a Rule-Based Multi-Document and Tool Integration Approach. Special Section on Model-based Tool Integration in Journal of Software&Systems Modeling, 2004. submitted for publication
23. Kleppe, Warmer, and Bast MDA Explained 2003 Addison-Wesley
24. Lefering. Development of Incremental Integration Tools Using Formal Specifications. Technical report aib-94-2, Fachgruppe Informatik at RWTH Aachen, 1994
25. Lefering, and Schürr Specification of Integration Tools Nagl Building Tightly-Integrated Software Development Environments: The IPSEN approach LNCS volume 1170 1996 Springer Verlag 440 456
26. Minas, and Shklar DiaGen: A generator for diagram editors providing direct manipulation and execution of diagrams Haarslev Proc. 11th IEEE International Symposium on Visual Languages 1995 IEEE Computer Society Press 203 210
27. Nentwich xlinkit: A Consistency Checking and Smart Link Generation Service ACM Transactions on Internet Technology 2 2002 151 185
28. Nagl Graph-Grammatiken 1979 Vieweg Press German
29. Nagl Building Tightly Integrated Software Development Environments: The IPSEN Approach LNCS volume 1170 1996 Springer Verlag
30. Nickel, Niere, and Zündorf The FUJABA Environment Proc. of the 22nd International Conference on Software Engineering 2000 742 745
31. Nagl Schürr Münch Proc. of 1st Intl. Workshop Applications of Graph Tranformations with Industrial Relevance LNCS volume 1779 1999 Springer-Verlag
32. OMG Request for Proposal: MOF 2.0 Query/Views/Transformations RFP http://www.omg.org/cgi-bin/doc?ad/2002-04-10 2002
33. OMG MOF 2.0 Specification http://www.omg.org/cgi-bin/-doc?ad/2003-04-07 2003
34. OMG OCL specification http://www.omg.org/cgi-bin/doc?ad/2003-01-07 2003
35. OMG UML 2.0 superstructure specification http://www.omg.org/cgi-bin/doc? ptc/2003-08-02 2003
36. Pfaltz Nagl Böhlen Proc. of 2nd Intl. Workshop Applications of Graph Tranformations with Industrial Relevance LNCS volume 3062 2003 Springer-Verlag
37. Pfaltz and Rosenfeld. Web Grammars. In Int. Joint Conference on Artificial Intelligence, pages 609-619, 1969
38. Pratt Pair Grammars, Graph Languages and String-to-Graph Translations Journal of Computer and System Sciences 5 1971 560 595 Academic Press
39. QVT-partners QVT-partners revised submission to QVT http://qvtp.org/ downloads/1.1/qvtpartners1.1.pdf 2003
40. Rensink. State Space Abstraction using Shape Graphs. In Automatic Verification of Infinite-State Systems (AVIS), Electronic Notes in Theoretical Computer Science. Elsevier, 2004. to appear
41. Rekers, and Schürr Defining and parsing visual languages with layered graph grammars Journal of Visual Languages and Computing 8 1 1997 7 55
42. Schneider. Chomsky-Systeme für partielle Ordnungen. Arbeitsbericht 3,3, Institut für Mathematische Maschinen und Datenverarbeitung, Erlangen, 1970. German
43. Schürr. Specification of graph translators with triple graph grammars. In Mayr and Schmidt, editors, Proc. WG'94 Workshop on Graph-Theoretic Concepts in Computer Science, pages 151-163, 1994
44. Schürr Programmed Graph Replacement Systems Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation, volume 1, chapter 7 1997 World Scientific Publishing 479 546
45. Schürr and Dörr, editors. Special Section on Model-based Tool Integration. Journal of Software&Systems Modeling, 2004. Springer-Verlag. to appear
46. Staudt, Krueger, and Garlan A Structural Approach to the Maintenance of Structure-Oriented Environments Henderson Proc. 2nd Symp. ACM SIGPLAN Notices 22 1 1987 160 170
47. Schürr, Winter, and Zündorf The PROGRES Approach: Language and Environment Ehrig Engels Kreowski Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation, volume 2 1999 World Scientific Publishing 487 550
48. Taentzer AGG: A Graph Transformation Environment for System Modeling and Validation Proc. Tool Exhibition at Formal Methods 2003 2003
49. Telelogic. DOORS http://www.telelogic.com/products/doorsers/doors
50. Varró Automated Formal Verification of Visual Modeling Languages by Model Checking Journal of Software and Systems Modelling 2003 Springer-Verlag
51. Wagner. Realisierung eines diagrammübergreifenden Konsistenzmanagement-Systems für UML-Spezifikationen. Master's thesis, Universität Paderborn, 2001. German