Model transformations in MT

Model transformations are recognised as a vital aspect of Model Driven Development, but current approaches cover only a small part of the possible spectrum. In this paper I present the MT model transformation which shows how a QVT-like language can be extended with novel pattern matching constructs, how tracing information can be automatically constructed and visualized, and how the transformed model is pruned of extraneous elements. As MT is implemented as a DSL within the Converge language, this paper also demonstrates how a general purpose language can be embedded in a model transformation language, and how DSL development can aid experimentation and exploration of new parts of the model transformation spectrum.

[1]  Jim Steel,et al.  Transformation: The Missing Link of MDA , 2002, ICGT.

[2]  Andy Schürr,et al.  PROGRES: Language and Environment , 1999 .

[3]  Rafael Dueire Lins,et al.  Garbage collection: algorithms for automatic dynamic memory management , 1996 .

[4]  Laurence Tratt,et al.  Compile-time meta-programming in a dynamically typed OO language , 2005, DLS '05.

[5]  Simon L. Peyton Jones,et al.  Template meta-programming for Haskell , 2002, Haskell '02.

[6]  Jesús Sánchez Cuadrado,et al.  RubyTL: A Practical, Extensible Transformation Language , 2006, ECMDA-FA.

[7]  Laurence Tratt.  The MT model transformation language , 2006, SAC '06.

[8]  Alexander Egyed,et al.  A scenario-driven approach to traceability , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[9]  Jürgen Herczeg,et al.  What tracers are made of , 1990, OOPSLA/ECOOP '90.

[10]  A. Kalnins,et al.  Model Transformation Approach Based on MOLA , 2005 .

[11]  Gabor Karsai,et al.  The design of a language for model transformations , 2006, Software & Systems Modeling.

[12]  Ralph E. Griswold,et al.  The Icon programming language , 1983 .

[13]  Ulrich Nickel,et al.  The FUJABA environment , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[14]  F. Jouault,et al.  Transforming Models with ATL 1 , 2005 .

[15]  Laurence Tratt,et al.  The Converge programming language. , 2005 .

[16]  Laurence Tratt,et al.  Model transformations and tool integration , 2005, Software & Systems Modeling.

[17]  Dániel Varró,et al.  Advanced model transformation language constructs in the VIATRA2 framework , 2006, SAC.

[18]  Peyton Jones,et al.  Haskell 98 language and libraries : the revised report , 2003 .

[19]  Marion Murzek,et al.  Model Transformation in Practice Using the BOC Model Transformer , 2005 .

[20]  Jean Bézivin,et al.  First experiments with the ATL model transformation language: Transforming XSLT into XQuery , 2003 .

[21]  Jim Steel,et al.  MOF QVT final adopted specification: meta object facility (MOF) 2.0 query/view/transformation specification. , 2005 .

[22]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[23]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[24]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[25]  Alexander Königs,et al.  Model transformation with triple graph grammars , 2005 .

[26]  Jean Bézivin.  A Preliminary Identification of MDA Components , 2002 .