[論文レビュー] Metamodel Instance Generation: A systematic literature review

Hao Wu, Rosemary Monahan+1 more|arXiv (Cornell University)|Nov 27, 2012

Model-Driven Software Engineering Techniques参考文献 72被引用数 10

ひとこと要約

本系統的文献レビューでは、メタモデルから自動的にモデルインスタンスを生成する技術を調査し、モデル変換テスト、グラフ文法、SAT/SMTベースの手法における主要なアプローチを特定した。研究では、制約を満たすインスタンスを直接的にネイティブに生成する方法が存在しないという深刻な知識のギャップを明らかにした。これは、複雑なマッピングや事前処理を必要とし、制約対応可能でカバレッジ駆動のモデルインスタンス生成をネイティブにサポートする統合フレームワークの構築が求められる。

ABSTRACT

Modelling and thus metamodelling have become increasingly important in Software Engineering through the use of Model Driven Engineering. In this paper we present a systematic literature review of instance generation techniques for metamodels, i.e. the process of automatically generating models from a given metamodel. We start by presenting a set of research questions that our review is intended to answer. We then identify the main topics that are related to metamodel instance generation techniques, and use these to initiate our literature search. This search resulted in the identification of 34 key papers in the area, and each of these is reviewed here and discussed in detail. The outcome is that we are able to identify a knowledge gap in this field, and we offer suggestions as to some potential directions for future research.

研究の動機と目的

• メタモデルインスタンス生成に関連する主な研究分野および技術を特定・分析すること。
• メタモデルからモデルインスタンスを生成するために用いられるアルゴリズム、理論的枠組み、ツールを評価すること。
• 特にテストの文脈において、モデルインスタンスの選択に用いられる基準を調査すること。
• 現在のアプローチにおける制限、特に制約処理およびツール統合に関する問題を明らかにすること。
• 主な研究ギャップを特定する：メタモデルから制約を満たすインスタンスを直接的・ネイティブに生成する方法が存在しないこと。

提案手法

• 定められた研究質問に従って、関連する論文の検索と選定をガイドする系統的文献レビューを実施した。
• メタモデル構造（UMLクラス図）および応用分野（例：モデル変換テスト）に基づいて論文を検索した。
• 構造的特徴（クラス、属性、関係など）に焦点を当て、メタモデルインスタンス生成に関連する関連性の高い論文34篇を選定した。
• 選定された論文を、基礎となるアルゴリズム、フレームワーク、ツール（特にOCL制約を処理するもの）について分析した。
• SAT/SMT（例：Alloy）、グラフ文法、モデル変換テストツール（例：Cartier、Boltzmann）を含む技術を評価した。
• 制約対応可能でカバレッジ駆動のモデルインスタンス生成をネイティブにサポートする統合フレームワークの必要性を同定した。

実験結果

リサーチクエスチョン

• RQ1 メタモデルインスタンス生成に関連する主な分野は何ですか？
• RQ2 メタモデルインスタンス生成に用いられるアルゴリズムおよび理論的枠組みは何ですか？
• RQ3 メタモデルインスタンスの選択に用いられる基準は何ですか？
• RQ4 メタモデルインスタンスを生成するツールはありますか？

主な発見

• 多くのメタモデルインスタンス生成技術は、Alloyなどの中間言語へのマッピングといった間接的な方法に依存しており、複雑さを増し、必ずしも簡単ではない。
• SAT/SMTベースのアプローチ、特にAlloyはOCL制約の処理に有効であるが、複雑な事実を記述する必要があり、生成が遅くなり、専門知識が求められる。
• グラフ文法ベースの手法は導出プロセスを自然にモデル化できるが、コストの高いグラフマッチングを要し、複雑なOCL制約は手作業で変換する必要がある。
• モデル変換テストツール（例：Cartier、Boltzmann）は大規模で均一なサンプルを生成できるが、OCL制約をネイティブに強制できないため、事前処理や外部ツールが必要となる。
• 顕著な知識のギャップが存在する：中間マッピングや事前処理なしに、メタモデルから制約を満たすインスタンスを直接的・ネイティブに生成する方法が存在しない。
• 今後の研究は、拡張可能で制約対応可能なフレームワークの開発に注力すべきであり、これはモデルインスタンス生成と特定のテストカバレッジ基準の両方を直接的にサポートするべきである。