Before revision: Java, C# Stratego/XT : a transformation language based on rewriting with programmable strategies Tefkat : a transformation language and a model transformation engine Tom : a language based on rewriting calculus, with pattern-matching and strategies UML-RSDS : a model transformation and MDD approach using UML and OCL VIATRA : a framework for transformation-based verification and validation environment
After revision: YAMTL (see ): An internal DSL for model transformation within JVM languages (Java, Groovy, Xtend, Kotlin), featuring key characteristics such as runtime performance, reuse of transformation logic, incremental execution, and independence from IDEs.Java, C# Stratego/XT : a transformation language based on rewriting with programmable strategies Tefkat : a transformation language and a model transformation engine Tom : a language based on rewriting calculus, with pattern-matching and strategies UML-RSDS : a model transformation and MDD approach using UML and OCL VIATRA : a framework for transformation-based verification and validation environment