QVT -- это язык для описания трансформаций моделей. Например, в Rose была возможность по модели устойчивых классов получить аналог схемы базы данных (диаграмму классов в соответствующем профиле UML). На QVT такое преобразование можно написать самому. И он, кстати, скорее декларативный язык.
Основная претензия наших студентов к курсу по ООАП звучит примерно так -- "зачем всё это, это не помогает работе с кодом, это нам не надо". Поэтому я ищу способы их переубедить.)