モデル変換
モデル変換は汎用プログラミング言語でも記述できるが、専用のモデル変換言語を使うこともできる。双方向性モデル変換は特にどちらの方向も適切に関連していることを保証する言語で記述するのが最良である。OMGの標準化したモデル変換言語群はQVTと総称されている。
QVTの言語群など一部のモデル変換言語においては、モデル変換自身もモデルである。すなわち、そのモデル変換言語の定義の一部であるメタモデルに従っている。このため、高階変換 (Higher Order Transformation、HOT) の定義が盛んに行われている。高階変換とは、モデル変換を入力とし、別のモデル変換を出力する変換である。