ATLAS 変換言語

ATL ( ATLAS Transformation Language ) は、OBEO と AtlanMod によって開発および保守されているモデル変換言語およびツールキットです。これは、AtlanMod チーム (以前は ATLAS グループと呼ばれていました) によって開始されました。モデル駆動エンジニアリング (MDE) の分野では、ATL はソース モデルのセットからターゲット モデルのセットを生成する方法を提供します。

Eclipse Public Licenseの条件に基づいてリリースされたATL は、Eclipse Modeling Project (EMP) 内の M2M (Eclipse)コンポーネントです。

ATL は、 QVT提案依頼書に答えるためにOBEO とINRIAによって開発されたモデル変換言語(MTL)です。QVT は、モデル変換を実行するためのオブジェクト管理グループ標準です。構文または意味の変換に使用できます。ATL は、モデル変換仮想マシン上に構築されています。

ATL は、OMG MOF/QVT RFP に対する ATLAS INRIA & LINA 研究グループの回答です。これは、メタモデルとテキストの具体的な構文の両方として指定されるモデル変換言語です。宣言型と命令型のハイブリッドです。変換の記述には宣言型が推奨されます。つまり、単純なマッピングを簡単に表現できます。ただし、命令型構造も提供されるため、宣言型では処理できないほど複雑なマッピングも指定できます。ATL 変換プログラムは、ソース モデル要素を一致させてナビゲートし、ターゲット モデルの要素を作成して初期化する方法を定義するルールで構成されます。

モデル変換指向の仮想マシンが定義され、実装され、一定レベルの柔軟性を維持しながら ATL の実行サポートを提供しています。実際、ATL が実行可能になるのは、メタモデルから仮想マシンのバイトコードへの特定の変換が存在するからです。したがって、ATL の拡張は、主に、モデルに対する基本的なアクション (要素の作成とプロパティの割り当て) という単純な命令で、新しい言語機能の実行セマンティクスを指定することです。

ATL プログラム (ここではT1.atl ) は、モデルMa.xmi を入力として受け取り、モデルMb.xmi を出力として生成します。両方のモデルは、OMG XMI標準で表現できます。モデルMa は、メタモデル MMa.km3に準拠しています。モデル Mb は、メタモデルMMb.km3に準拠しています。KM3表記法は、シンプルで中立的なメタモデル仕様言語です。

ATL プログラム自体 (ここではT1.atl ) もモデルなので、ここでは示されていないメタモデル (ATL メタモデル) に準拠しています。

ATL プログラムは、ヘッダー、ヘルパーと呼ばれる副作用のない関数のセット、およびルールのセットで構成されます。

ATL ^[2] Eclipse Modeling Project (EMP)からオープンソースで入手できる関連する ATL Development Toolkitプラグインがあり、これはMOFクエリ/ビュー/変換言語​​ QVTにヒントを得た ATL 変換言語を実装しています。^[3]大規模な変換ライブラリが利用可能です。^{[4] MOF QVT はモデル変換のための}ドメイン固有言語です。 Ecore、EMOF、 KM3 (メタモデル仕様用の特定のドメイン固有言語)などに準拠したモデルをサポートしています。ATL は MDR/ NetBeansでも動作します。

• モデル駆動エンジニアリング (MDE)
• ドメイン固有モデリング(DSM)
• モデル変換言語(MTL)
• MOF クエリ/ビュー/変換(QVT)

• Bohlen, M: QVT と MDA におけるマルチメタモデル変換。Web 公開
• Wagelaar, D: MDE ケース スタディ: UML および DSL のモデル変換の使用。Web 公開
• Czarnecki, K、Helsen, S:モデル変換アプローチの分類。モデル駆動型アーキテクチャのコンテキストにおける生成テクニックに関する OOPSLA'03 ワークショップの議事録。アナハイム (カリフォルニア州、米国)。Web 公開
• ModelBaset.net。MDAツール
• SoftwareMag.com. MDA ツール. Web 公開

• モデル駆動型アーキテクチャ: OMG.org のビジョン、標準、および新興テクノロジー
• IBM.com のモデル駆動型アーキテクチャー入門
• OMG.org のMDA によるオブジェクト構成からモデル変換へ
• Jouault, F および Kurtev, I: ATL と QVT のアーキテクチャの整合について。ACM Symposium on Applied Computing (SAC 06) の Proceedings、モデル変換トラック。ディジ​​ョン (ブルゴーニュ、フランス)、2006 年 4 月。Web 公開

• Eclipse/M2M ニュースグループ: ATL ディスカッション グループ。
• Jouault, F および Kurtev, I: ATL と QVT のアーキテクチャの整合について。ACM Symposium on Applied Computing (SAC 06) の Proceedings、モデル変換トラック。ディジ​​ョン (ブルゴーニュ、フランス)、2006 年 4 月。Web 公開
• Eclipse : M2M/ATL は新しいトップレベルモデリングプロジェクトの一部です

• Grønmo, R、Oldevik, J: UML モデル変換ツール (UMT) の実証的研究。INTEROP-ESA'05、2005 年 2 月。Web 公開

• Voelter, M:モデル駆動型ソフトウェア開発。Web 公開
• ポータルサイトMDAとモデル変換:

ウィキメディア・コモンズには、 ATLAS 変換言語に関連するメディアがあります。

• 公式サイト