Loading article…
QVT（クエリ/ビュー/変換）は、オブジェクト管理グループによって定義されたモデル変換のための標準言語セットです。[1]
概要
モデル変換は、モデル駆動型アーキテクチャで使用される重要な技術です。QVT という名前が示すように、OMG 標準は変換、ビュー、クエリをまとめてカバーしています。モデル変換を適切に広い定義で使用する場合、モデル クエリとモデル ビューは、モデル変換の特別な種類と見なすことができます。モデル変換とは、モデルを操作するプログラムです。
QVT 標準では、3 つのモデル変換言語が定義されています。これらはすべて、Meta-Object Facility (MOF) 2.0 メタモデルに準拠するモデルで動作します。変換では、どのメタモデルが使用されるかを指定します。3 つの QVT 言語のいずれかの変換は、それ自体がモデルとみなされ、標準で指定されたメタモデルの 1 つに準拠します。QVT 標準は、OCL 2.0標準を統合し、命令型機能で拡張します。
- QVT-Operational は、単方向変換を記述するために設計された命令型言語です。
- QVT-Relations は、一方向および双方向のモデル変換を記述できるように設計された宣言型言語です。変換は、モデル セットの一貫性関係を具体化します。一貫性は、変換をチェックのみモードで実行することで確認できます。変換は、モデル セットが変換に従って一貫性がある場合は True を返し、そうでない場合は False を返します。同じ変換を強制モードで使用して、モデル セットが一貫性を持つようにモデルの 1 つを変更することもできます。QVT-Relations 言語には、テキストとグラフィカルの両方の具体的な構文があります。
- QVT-Core は、シンプルに設計され、QVT-Relations からの変換のターゲットとして機能する宣言型言語です。しかし、QVT-Core は完全に実装されたことがなく、実際、QVT-Relations ほど表現力に富んでいません。[2]そのため、上に示した QVT アーキテクチャは誤解を招くものです。QVT 標準で示されている QVT-Relations から QVT-Core への変換は、セマンティクスを保持しません。
最後に、QVT-BlackBox は、他の言語 (たとえば、XSLTまたはXQuery ) で表現された変換機能を呼び出すメカニズムです。
QVT は適用範囲が広いですが、モデル変換、ビュー、クエリとして考えられているものすべてをカバーしているわけではありません。たとえば、QVT 言語では、各モデルが何らかの MOF 2.0 メタモデルに準拠する必要があるため、テキスト モデルとの間の変換は許可されません。モデルからテキストへの変換は、OMG によって別途標準化されています ( MOFM2Tを参照)。
歴史
2002 年に、OMG は、モデル駆動型アーキテクチャ(MDA) 推奨スイート (UML、MOF、OCL など)と互換性のある標準を求めるために、MOFクエリ/ビュー/変換に関する提案依頼 (RFP) を発行しました。
多数の企業や研究機関から回答が寄せられ、3年かけて英国の研究者ローレンス・トラット博士の草案に基づいた共通の提案がまとめられました。最初のバージョンは2005年に提出され承認されました。[3] QVTバージョン1.1は2011年1月にリリースされました。[1]
実装
QVT-運用:
- Borland TogetherにはQVT Operationalの実装が含まれており、これはEclipse Foundationに寄贈[4]され、現在はEclipse M2M Operational QVTプロジェクトとして開発されています。
- Eclipse M2M Operational QVT: QVT Operationalの公式Eclipseオープンソース実装。[5]
- MagicDrawには、 Eclipse M2Mプロジェクトによって提供される Operational QVT 実装を使用する QVT プラグインがあります。
- SmartQVT : QVT-Operational 言語の Eclipse オープン ソース実装 (Orange Labs)。
QVTコア:
- OptimalJ : QVT-Core 言語の早期アクセス実装は、CompuwareのOptimalJバージョン 3.4にありました。ただし、OptimalJ は廃止されました。
QVT関係:
- ModelMorf: Tata Consultancy Services Ltd.の独自ツール。QVT-Relations 言語に完全準拠。試用版[6]では、XMI 形式でモデルを消費および生成するコマンドライン ユーティリティが提供されます。本格的なリポジトリ統合バージョンは、独自のモデリング フレームワークの一部として利用できます。[7]
- MediniQVT: [8] EMFベースの変換エンジン。エンジンにはEPLライセンス、エディタ/デバッガには非商用ライセンス。QVT-Relations構文を使用していますが、OMG標準のセマンティクスからは意図的に逸脱しています。[9]
- Eclipse M2Mプロジェクトは、QVT CoreとRelationsの実装を作成することを目指しています。[5]
- Echo [10]は、 Alloyモデルファインダー上に構築されたモデル修復および変換用のオープンソースEMFベースのツールであり、QVT-Relations構文の実装を提供しますが、OMG仕様から意図的に逸脱したセマンティクスを使用します。
QVT のような:
- jQVT: [11] OCLの代わりにXbaseを使用するJava用のコンパイル済みQVTエンジン。QVTリレーショナル変換は最初にJavaソースコードにコンパイルされ、その後、実行時に変換ルールを再度解釈することなく、ソースモデルからターゲットモデルを直接生成します。EMFモデルとプレーンなJavaオブジェクトをサポートします。
- Tefkat : QVT に似た Tefkat 言語のオープン ソース実装。オープン ソース。
- ATL : M2M Eclipse プロジェクト のコンポーネント。ATL は、大規模なユーザー コミュニティとオープン ソースの変換ライブラリを備えた、QVT のような変換言語およびエンジンです。
- モデル変換フレームワーク（MTF）：[12] IBM alphaWorksプロジェクト、最終更新は2007年。
参照
- 利用可能な変換言語のリスト
- MOF モデルからテキストへの変換言語- M2T 変換を表現するための OMG の変換言語仕様
- モデル駆動エンジニアリング(MDE)
- モデル駆動アーキテクチャ(MDA): OMG の MDE ビジョン
- ドメイン固有言語(DSL)
- Meta-Object Facility (MOF): メタモデルを記述するための言語
- オブジェクト制約言語(OCL): モデル制約 (およびクエリ) 言語
- モデル変換
- モデル変換言語
- メタモデル
参考文献
- ^ ab Bast, Wim; Murphree, Michael; Lawley, Michael; Duddy, Keith; Belaunde, Mariano; Griffin, Catherine; Sendall, Shane; Vojtisek, Didier; Steel, Jim; Helsen, Simon; Tratt, Laurence; Reddy, Sreedhar; Venkatesh, R.; Blanc, Xavier; Dvorak, Radek; Willink, Ed (2011 年 1 月)。「Meta Object Facility (MOF) 2.0 Query/View/Transformation (QVT)」(pdf)。Object Management Group。2011年5 月 9 日閲覧。
- ^ Stevens, Perdita (2011). 「チェックオンリー QVT 関係へのシンプルなゲーム理論的アプローチ」.ソフトウェアおよびシステムモデリング. 12.ベルリン / ハイデルベルク: Springer : 175–199. doi :10.1007/s10270-011-0198-8. hdl : 20.500.11820/58a19b4d-3782-4081-ad75-175c4626a62e .
- ^ Bast, Wim; Murphree, Michael; Lawley, Michael; Duddy, Keith; Belaunde, Mariano; Griffin, Catherine; Sendall, Shane; Vojtisek, Didier; Steel, Jim; Helsen, Simon; Tratt, Laurence; Reddy, Sreedhar; Venkatesh, R.; Blanc, Xavier; Dvorak, Radek; Willink, Ed. 「Meta Object Facility (MOF) 2.0 Query/View/Transformation (QVT)」(pdf)。Object Management Group 。2013 年11 月 1 日閲覧。
- ^ [m2m-dev] Borland QVT の貢献 2012 年 2 月 25 日アーカイブ、Wayback Machineより
- ^ ab Eclipse M2M プロジェクト。「Model to Model (M2M)」。2012 年 12 月 3 日時点のオリジナルよりアーカイブ。2011年 5 月 9 日閲覧。. 2011年5月9日閲覧。
- ^ ModelMorf ベータ版。「ModelMorf 登録フォーム」。2012年3月23日時点のオリジナルよりアーカイブ。2011年5月9日閲覧。. 2011年5月9日閲覧。
- ^ TCS コード ジェネレーター フレームワーク (旧称 MasterCraft)。「TCS コード ジェネレーター フレームワーク: TCS テクノロジー製品: オファリング: TCS」。2011 年 8 月 9 日時点のオリジナルよりアーカイブ。2011 年5 月 9 日閲覧。. 2011年5月9日閲覧。
- ^ Medini QVT. 「Medini QVT」。2016年7月29日時点のオリジナルよりアーカイブ。2009年8月13日閲覧。. 2011年5月9日閲覧。
- ^ キーゲランド、J.; Eichler, H. (2008 年 2 月)、「medini QVT ワークショップ」、medini QVT ワークショップ(ppt)、Enschede、Telematica Instituut: ikv++ technology ag 、 2015 年 9 月 24 日取得
- ^ エコー. [1] 2013年11月2日閲覧。
- ^ jQVT. 「JQVT ダウンロード | SourceForge.net」。2016 年 3 月 7 日時点のオリジナルよりアーカイブ。2012年 11 月 10 日閲覧。
- ^ モデル変換フレームワーク。http://www.alphaworks.ibm.com/tech/mtf。2011 年 5 月 9 日に閲覧。