The model transformation language of the VIATRA2 framework

Science of Computer Programming

Volumn 68, Issue 3, 2007, Pages 214-234

  Varró, Dániel ^a,b   Balogh, András ^a,b  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b OptXware Research and Development LLC   (Hungary)

Author keywords

Abstract state machines; Graph transformation; Model transformation

Indexed keywords

GRAPH THEORY; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PATTERN RECOGNITION; RECURSIVE FUNCTIONS;

ABSTRACT STATE MACHINES; GRAPH TRANSFORMATION; MODEL TRANSFORMATION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34548501253     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2007.05.004     Document Type: Article

References (28)

1. Eclipse Modeling Framework. http://www.eclipse.org/emf
2. Tefkat: The EMF Transformation Engine. http://tefkat.sourceforge.net
3. The VIATRA2 Transformation Framework. http://www.eclipse.org/gmt/
4. Atkinson C., and Kühne T. The essence of multilevel metamodelling. In: Gogolla M., and Kobryn C. (Eds). Proc. UML 2001-The Unified Modeling Language. Modeling Languages, Concepts and Tools. LNCS vol. 2185 (2001), Springer 19-33
5. ATLAS Group. The ATLAS Transformation Language. Available from: http://www.eclipse.org/gmt
6. Balogh A., and Varró D. Advanced model transformation language constructs in the VIATRA2 framework. ACM Symposium on Applied Computing - Model Transformation Track, SAC 2006 (2006), ACM Press, Dijon, France 1280-1287
7. Balogh A., Varró G., Varró D., and Pataricza A. Compiling model transformations to EJB3-specific transformer plugins. ACM Symposium on Applied Computing - Model Transformation Track, SAC 2006 (2006), ACM Press, Dijon, France 1288-1295
8. Bézivin J., Farcet N., Jézéquel J.-M., Langlois B., and Pollet D. Reflective model driven engineering. In: Stevens P., Whittle J., and Booch G. (Eds). Proc. UML 2003: 6th International Conference on the Unified Modeling Language. LNCS vol. 2863 (2003), Springer, San Francisco, CA, USA 175-189
9. Bondavalli A., Dal Cin M., Latella D., Majzik I., Pataricza A., and Savoia G. Dependability analysis in the early phases of UML based system design. International Journal of Computer Systems-Science & Engineering 16 5 (2001) 265-275
10. Börger E., and Stärk R. Abstract State Machines. A Method for High-Level System Design and Analysis (2003), Springer-Verlag
11. de Lara J., and Vangheluwe H. AToM3: A tool for multi-formalism and meta-modelling. In: Kutsche R.-D., and Weber H. (Eds). 5th International Conference, FASE 2002: Fundamental Approaches to Software Engineering, Grenoble, France, 8-12 April, 2002, Proceedings. LNCS vol. 2306 (2002), Springer 174-188
12. DECOS. Dependable Components and Systems. An FP6 Integrated Project. http://www.decos.at
13. In: Ehrig H., Engels G., Kreowski H.-J., and Rozenberg G. (Eds). Handbook on Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools vol. 2 (1999), World Scientific
14. Ermel C., Rudolf M., and Taentzer G. The AGG-Approach: Language and Tool Environment. [13] (1999), World Scientific 551-603
15. Á. Horváth, D. Varró, G. Varró, Generic search plans for matching advanced graph patterns, in: Proc. Graph Transformation and Visual Modelling Techniques, GT-VMT 2007, Electronic Communications of the EASST, Volume 6, 2007, URL: http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/viewFile/49/54
16. Karsai G., Agrawal A., Shi F., and Sprinkle J. On the use of graph transformation in the formal specification of model interpreters. Journal of Universal Computer Science (2003)
17. Levendovszky T., Lengyel L., Mezei G., and Charaf H. A systematic approach to metamodeling environments and model transformation systems in VMTS. Proc. GraBaTs 2004: Workshop on Graph Based Tools (2004), Elsevier
18. Nickel U., Niere J., and Zündorf A. Tool demonstration: The FUJABA environment. The 22nd International Conference on Software Engineering, ICSE (2000), ACM Press, Limerick, Ireland
19. Object Management Group. Meta Object Facility Version 2.0. http://www.omg.org, 2003
20. Racer Systems Gmbh. Racerpro. http://www.racer-systems.com
21. Rensink A. Representing first-order logic using graphs. In: Ehrig H., Engels G., Parisi-Presicce F., and Rozenberg G. (Eds). Proc. 2nd International Conference on Graph Transformation, ICGT 2004, Rome, Italy. LNCS vol. 3256 (2004), Springer 319-335
22. Schürr A. Specification of graph translators with triple graph grammars. In: Tinhofer B. (Ed). Proc. WG94: International Workshop on Graph-Theoretic Concepts in Computer Science. LNCS vol. 903 (1994), Springer 151-163
23. Schürr A., Winter A.J., and Zündorf A. The PROGRES Approach: Language and Environment. [13] (1999), World Scientific 487-550
24. Tratt L. The MT model transformation language. Proceedings of the 2006 ACM Symposium on Applied Computing, SAC, Dijon, France (2006), ACM 1296-1303
25. Ullman D. Principles of Database and Knowledge Base Systems. Deductive Databases (1988), Computer Science Press
26. D. Varró, Automated model transformations for the analysis of IT systems, Ph.D. Thesis, Budapest University of Technology and Economics, 2004
27. Varró D., and Pataricza A. VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. Journal of Software and Systems Modeling 2 3 (2003) 187-210
28. Varró G., Varró D., and Friedl K. Adaptive graph pattern matching for model transformations using model-sensitive search plans. In: Karsai G., and Taentzer G. (Eds). GraMot 2005, International Workshop on Graph and Model Transformations. ENTCS vol. 152 (2006), Elsevier 191-205