[論文レビュー] Metamodelling: State of the Art and Research Challenges

Jonathan Sprinkle, Bernhard Rumpe⋆+2 more|arXiv (Cornell University)|Sep 8, 2014

Model-Driven Software Engineering Techniques参考文献 17被引用数 6

ひとこと要約

本論文は、ソフトウェア工学におけるメタモデリングの包括的レビューを提供し、現在のアプローチ、抽象化、ツールを分析するとともに、メタモデルの複雑さ、一貫性、進化に関する主要な研究課題を特定している。本論文は、実行時におけるメタモデル意味論の役割を強調し、モデル指向開発における今後の研究を導くものである。

ABSTRACT

This chapter discusses the current state of the art, and emerging research challenges, for metamodelling. In the state-of-the-art review on metamodelling, we review approaches, abstractions, and tools for metamodelling, evaluate them with respect to their expressivity, investigate what role(s) metamodels may play at run-time and how semantics can be assigned to metamodels and the domain specific modeling languages they could define. In the emerging challenges section on metamodelling we highlight research issues regarding the management of complexity, consistency, and evolution of metamodels, and how the semantics of metamodels impacts each of these.

研究の動機と目的

• モデル指向開発で用いられるアプローチ、抽象化、ツールを含めた、メタモデリング分野における最新の状況を分析すること。
• 既存のメタモデリング技術の表現力と、ドメイン固有のモデリング言語を定義する際の適用可能性を評価すること。
• 実行時におけるメタモデルの役割と、メタモデルに意味論を割り当てるメカニズムを調査すること。
• メタモデルの複雑さの管理、一貫性の確保、進化の支援に関する、顕著な研究課題を特定・強調すること。
• メタモデルの意味論が、その管理可能性、一貫性、および時間経過に伴う進化にどのように影響を与えるかを検討すること。

提案手法

• ソフトウェア工学の文脈において、既存のメタモデリングアプローチ、ツール、抽象化の体系的レビューを実施すること。
• ドメイン固有の言語を指定する能力を比較分析することで、メタモデリング技術の表現力を評価すること。
• 実行時におけるメタモデルの利用方法を検討し、実行時検証および実行支援を含むこと。
• メタモデルにおける意味論の役割を分析し、形式的意味論および実行可能意味論によるモデル実行支援を含めること。
• 既存の研究を批判的に分析することで、複雑さの管理、一貫性の強化、メタモデルの進化に関する主要な課題を同定すること。
• 同定されたギャップに基づき、特に意味論とメタモデルの進化・一貫性の相互作用に焦点を当てた研究アジェンダを提言すること。

実験結果

リサーチクエスチョン

• RQ1 ソフトウェア工学におけるメタモデリングの現在の最先端のアプローチ、抽象化、ツールは何か？
• RQ2 メタモデルはどのように実行時に効果的に使用できるか。また、実行時解釈を支援するメカニズムは何か？
• RQ3 意味論は、メタモデルおよびドメイン固有のモデリング言語の表現力と有用性をどのように向上させるか？
• RQ4 メタモデルの複雑さの管理、一貫性の確保、進化の支援に関する主な課題は何か？
• RQ5 メタモデルの意味論は、その一貫性、進化、および全体的な管理可能性にどのように影響を与えるか？

主な発見

• メタモデリング技術は表現力において顕著な差異を示しており、一部のアプローチは他のアプローチよりもドメイン固有のモデリング言語の定義に適している。
• メタモデルへの意味論の統合は、実行時検証、実行、およびツール支援を可能にするために不可欠である。
• 現在のツールやアプローチは、時間の経過に伴うメタモデルの複雑さと進化の管理を十分にサポートしていないことがしばしばある。
• メタモデルにおける一貫性管理は依然として大きな課題であり、特にモデルのサイズと相互依存性が増大する際には顕著である。
• メタモデルの意味論は、そのバージョン間の一貫性維持と進化の支援能力に直接的な影響を与える。
• 今後の研究は、意味論とメタモデリング実践を統合することで、ツールの質、スケーラビリティ、長期的保守性を向上させるべきである。