モデル変換言語

システムおよびソフトウェアエンジニアリングにおけるモデル変換言語は、モデル変換専用の言語です。

概要

モデル変換の概念は、モデル駆動型開発の中心です。モデル変換は、基本的にモデルを操作するプログラムであり、 Javaなどの汎用プログラミング言語で記述できます。ただし、専用モデル変換言語には、モデル要素を簡単に参照できる構文などの利点があります。2 つ以上のモデル間の一貫性を維持する双方向モデル変換を記述するには、専門的な双方向モデル変換言語が特に重要です。これは、変換の各方向を個別に記述することによって生じる重複を回避するのに役立つためです。

現在、ほとんどのモデル変換言語は学術界で開発されています。OMGはQVTと呼ばれるモデル変換言語のファミリーを標準化しましたが、この分野はまだ未熟です。^[1]

Javaなどの汎用プログラミング言語（GPL）の使用と比較した、特殊なモデル変換言語の利点については、議論が続いています。^[2] GPLは、より広く利用可能な実践者の知識とツールのサポートの点で利点がありますが、特殊な変換言語は、モデル変換をサポートするためのより宣言的な機能とより強力な特殊な機能を提供します。^[3]

利用可能な変換言語

ATL : INRIA によって開発された変換言語
Beanbag（[1]を参照）：データの一貫性を段階的に確立するための操作ベースの言語
GReAT : GME で利用可能な変換言語
Epsilonファミリー（[2]を参照）：モデル間、モデルからテキスト、インプレース更新、移行、モデルマージ変換のための変換言語を提供するモデル管理プラットフォーム。
F-Alloy [3]：Alloy構文の一部を再利用し、効率的に計算可能なモデル変換の簡潔な仕様を可能にするDSL 。
Henshin（[4]を参照）：グラフ変換の概念に基づいたEMFのモデル変換言語であり、状態空間探索機能を提供する。
JTL：非一様変換と変更伝播をサポートするために特別に設計された双方向モデル変換言語（[5]を参照）。
Kermeta : 汎用モデリングおよびプログラミング言語。変換も実行可能
Lxファミリー（[6]を参照）：低レベルの変換言語のセット
M2MはOMG QVT標準のEclipse実装です。
Mia-TL: Mia-Software が開発した変換言語
MOFモデルからテキストへの変換言語: OMGはM2T変換を表現するための標準を定義しました
MOLA（[7]を参照）：Lx上に組み込まれたグラフィカルな高水準変換言語。
MT : キングスカレッジロンドン (英国) で開発された変換言語 (Converge PL に基づく)
QVT : OMG は、 MOF/QVTまたは略して QVTと呼ばれる、M2M 変換を表現するための標準を定義しました。
SiTra [8] : Java、C#などの標準プログラミング言語を使用した実用的な変換アプローチ
Stratego/XT: プログラム可能な戦略による書き換えに基づく変換言語
Tefkat : 変換言語とモデル変換エンジン
Tom : パターンマッチングと戦略を備えた書き換え計算に基づく言語
UML-RSDS [9] : UMLとOCLを使用したモデル変換とMDDアプローチ
VIATRA : 変換ベースの検証および検証環境のためのフレームワーク
YAMTL（[10]を参照）：JVM言語（Java、Groovy、Xtend、Kotlin）内でのモデル変換のための内部DSL。実行時パフォーマンス、変換ロジックの再利用、増分実行、IDEからの独立性などの主要な特徴を備えています。

参照

参考文献

^ France, Robert; Rumpe, Bernhard (2007).複雑なソフトウェアのモデル駆動開発: 研究ロードマップ. ソフトウェアエンジニアリングの未来 (FOSE '07). arXiv : 1409.6620 . doi :10.1109/FOSE.2007.14.
^ https://www.jot.fm/issues/issue_2019_03/article7.pdf ^{[ベアURL PDF ]}
^ Höppner, Stefan; Haas, Yves ; Tichy, Matthias; Juhnke, Katharina (2022). 「（専用）モデル変換言語の利点と欠点」。経験的ソフトウェア工学。27 (6). arXiv : 2201.13348 . doi : 10.1007/s10664-022-10194-7 . S2CID 251644010.

さらに読む

MDA ジャーナル: マスターから直接学ぶモデル駆動型アーキテクチャ
モデル駆動型アーキテクチャ: エンタープライズコンピューティングへの MDA の適用、David S. Frankel、John Wiley & Sons、ISBN 0-471-31920-1
OMG MDA ガイド MDA ガイドバージョン 1.0.1
モデル駆動型アーキテクチャ: omg.org のビジョン、標準、および新興テクノロジー
ibm.com のモデル駆動型アーキテクチャー入門
omg.org の MDA によるオブジェクト構成からモデル変換へ
Mens, T、および Van Gorp, P: モデル変換の分類、電子理論計算機科学ノート、第 152 巻、2006 年 3 月 27 日、125-142 ページ
Czarnecki, K、および Helsen, S : モデル変換アプローチの分類。米国カリフォルニア州アナハイムで開催されたモデル駆動型アーキテクチャのコンテキストにおける生成テクニックに関する OOPSLA'03 ワークショップの議事録。Web 公開。
Gronmo, R, Oldevik, J: UMLモデル変換ツール(UMT)の実証的研究。[11]

[FranceRumpe-1] France, Robert; Rumpe, Bernhard (2007).複雑なソフトウェアのモデル駆動開発: 研究ロードマップ. ソフトウェアエンジニアリングの未来 (FOSE '07). arXiv : 1409.6620 . doi :10.1109/FOSE.2007.14.

[2] ttps://www.jot.fm/issues/issue_2019_03/article7.pdf ^{[ベアURL PDF ]}

[3] ^ Höppner, Stefan; Haas, Yves ; Tichy, Matthias; Juhnke, Katharina (2022). 「（専用）モデル変換言語の利点と欠点」。経験的ソフトウェア工学。27 (6). arXiv : 2201.13348 . doi : 10.1007/s10664-022-10194-7 . S2CID 251644010.