Ambienti per la trasformazione di modelli formali nell'ambito della Model Driven Engineering

Alcuni dei linguaggi relativi all’implementazione del QVT sono:
- ATL [25][12](ATLAS Trasformation Language): linguaggio sviluppato all’INRIA che segue le indicazioni di QVT in quanto implementa sia costrutti dichiarativi che imperativi. Il cuore della parte dichiarativa è la matched rule che consiste nella specifica di un pattern sorgente sul modello sorgente che, una volta verificato, crea un pattern sul modello destinazione.
La parte imperativa è costituita da called rule (costrutti simili alle procedure) e dai block rule (sequenze di istruzioni). L’esecuzione di una trasformazione specificata in ATL si appoggia ad una ATL Virtual Machine;
- Tefkat: linguaggio basato su F-Logic e sulla teoria dei programmi logici stratificati. Esso definisce un progetto con un set di meta-modelli di partenza ad uno di arrivo. Una trasformazione di Tefkat è composta da rules, patterns e templates. Le rules contengono il source term e il target term (la sorgente e la destinazione), i patterns contengono le fonti composite e i templates contengono i target compositi. I due elementi più significativi del linguaggio sono trackings e injections. I trackings creano un modello in cui tengono traccia delle relazione arbitrarie, gli injectors permettono di specificare nelle funzioni l’identità di un oggetto.
- IBM Rational Systems Developer: strumento di progettazione e sviluppo basato su QVT che utilizza un'architettura basata su modelli con l'UML, per la creazione di prodotti e sistemi software. IBM Rational Systems Developer è destinato a sviluppatori non IT che utilizzano C, C++ e Java J2SE e fa confluire tutti gli aspetti della progettazione e dello sviluppo di software in un unico strumento semplice e potente, basato sulla piattaforma aperta ed estendibile Eclipse;
- Borland Together Architect 2006: basato su QVT