ABSTRACT
We present the model transformation language of the VIATRA2 framework, which provides a rule and pattern-based transformation language for manipulating graph models by combining graph transformation and abstract state machines into a single specification paradigm. This language offers advanced constructs for querying (e.g. recursive graph patterns) and manipulating models (e.g. generic and meta transformation rules) in unidirectional model transformations frequently used in formal model analysis to carry out powerful abstractions. In addition, powerful language constructs are provided for multi-level metamodeling to design modeling languages and template-based code generation.
- Apache Velocity Project. http://jakarta.apache.org/velocityGoogle Scholar
- Eclipse Modeling Framework. http://www.eclipse.org/emf.Google Scholar
- Model transformations in practice workshop. http://sosym.dcs.kcl.ac.uk/events/mtip/.Google Scholar
- VIATRA2 Framework. An Eclipse GMT Subproject (http://www.eclipse.org/gmt/).Google Scholar
- C. Atkinson and T. Kühne. The essence of multilevel metamodelling. In M. Gogolla and C. Kobryn (eds.), Proc. UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts and Tools, vol. 2185 of LNCS, pp. 19--33. Springer, 2001. Google ScholarDigital Library
- ATLAS Group. The ATLAS Transformation Language. Available from http://www.eclipse.org/gmt.Google Scholar
- J. Bézivin, N. Farcet, J.-M. Jézéquel, B. Langlois, and D. Pollet. Reflective model driven engineering. In P. Stevens, J. Whittle, and G. Booch (eds.), Proc. UML 2003: 6th International Conference on the Unified Modeling Language, vol. 2863 of LNCS, pp. 175--189. Springer, San Francisco, CA, USA, 2003.Google Scholar
- A. Bondavalli, M. Dal Cin, D. Latella, I. Majzik, A. Pataricza, and G. Savoia. Dependability analysis in the early phases of UML based system design. International Journal of Computer Systems - Science & Engineering, vol. 16(5):pp. 265--275, 2001.Google Scholar
- E. Börger and R. Stärk. Abstract State Machines. A method for High-Level System Design and Analysis. Springer-Verlag, 2003. Google ScholarDigital Library
- J. de Lara and H. Vangheluwe. AToM3: A tool for multi-formalism and meta-modelling. In R.-D. Kutsche and H. Weber (eds.), 5th International Conference, FASE 2002: Fundamental Approaches to Software Engineering, Grenoble, France, April 8-12, 2002, Proceedings, vol. 2306 of LNCS, pp. 174--188. Springer, 2002. Google ScholarDigital Library
- H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg (eds.). Handbook on Graph Grammars and Computing by Graph Transformation, vol. 2: Applications, Languages and Tools. World Scientific, 1999. Google ScholarDigital Library
- C. Ermel, M. Rudolf, and G. Taentzer. In {11}, chap. The AGG-Approach: Language and Tool Environment, pp. 551--603. World Scientific, 1999. Google ScholarDigital Library
- G. Karsai, A. Agrawal, F. Shi, and J. Sprinkle. On the use of graph transformation in the formal specification of model interpreters. Journal of Universal Computer Science, 2003.Google Scholar
- T. Levendovszky, L. Lengyel, G. Mezei, and H. Charaf. A systematic approach to metamodeling environments and model transformation systems in vmts. In Proc. GraBaTs 2004: International Workshop on Graph Based Tools. Elsevier, 2004.Google Scholar
- U. Nickel, J. Niere, and A. Zündorf. Tool demonstration: The FUJABA environment. In The 22nd International Conference on Software Engineering (ICSE). ACM Press, Limerick, Ireland, 2000. Google ScholarDigital Library
- Object Management Group. Meta Object Facility Version 2.0, 2003. http://www.omg.org.Google Scholar
- A. Rensink. Representing first-order logic using graphs. In H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg (eds.), Proc. 2nd International Conference on Graph Transformation (ICGT 2004), Rome, Italy, vol. 3256 of LNCS, pp. 319--335. Springer, 2004.Google Scholar
- A. Schürr. Specification of graph translators with triple graph grammars. In B. Tinhofer (ed.), Proc. WG94: International Workshop on Graph-Theoretic Concepts in Computer Science, no. 903 in LNCS, pp. 151--163. Springer, 1994. Google ScholarDigital Library
- A. Schürr, A. J. Winter, and A. Zündorf. In {11}, chap. The PROGRES Approach: Language and Environment, pp. 487--550. World Scientific, 1999.Google Scholar
- T. Sturm, J. von Voss, and M. Boger. Generating code from UML with Velocity templates. In J.-M. Jézéquel, H. Hußmann, and S. Cook (eds.), UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings, vol. 2460 of LNCS, pp. 150--161. Springer, 2002. Google ScholarDigital Library
- L. Tratt and T. Clark. Model transformations in Converge. 2003. Workshop in Software Model Engineering (WiSME) 2003.Google Scholar
- D. Varró. Automated Model Transformations for the Analysis of IT Systems. Ph.D. thesis, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2004.Google Scholar
- D. Varró and A. Pataricza. VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. Journal of Software and Systems Modeling, vol. 2(3):pp. 187--210, 2003.Google ScholarDigital Library
- D. Varró and A. Pataricza. Generic and meta-transformations for model transformation engineering. In T. Baar, A. Strohmeier, A. Moreira, and S. Mellor (eds.), Proc. UML 2004: 7th International Conference on the Unified Modeling Language, vol. 3273 of LNCS, pp. 290--304. Springer, Lisbon, Portugal, 2004.Google Scholar
Index Terms
- Advanced model transformation language constructs in the VIATRA2 framework
Recommendations
The model transformation language of the VIATRA2 framework
We present the model transformation language of the VIATRA2 framework, which provides a rule- and pattern-based transformation language for manipulating graph models by combining graph transformation and abstract state machines into a single ...
A framework for model transformation verification
AbstractA model transformation verification task may involve a number of different transformations, from one or more of a wide range of different model transformation languages, each transformation may have a particular transformation style, and there are ...
Graphical template language for transformation synthesis
SLE'09: Proceedings of the Second international conference on Software Language EngineeringHigher-Order Transformations (HOT) have become an important support for the development of model transformations in various transformation languages. Most frequently HOTs are used to synthesize transformations from different kinds of models, for example,...
Comments