[論文レビュー] Evidences of the mismatch between industry and academy on modelling language quality evaluation

Fáber D. Giraldo, Sergio España+1 more|arXiv (Cornell University)|Jun 7, 2016

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

ひとこと要約

本稿は、モデル駆動開発（MDE）におけるモデリング言語の品質評価に関する産業界と学術界の見解の間には顕著な不一致が存在することを特定している。38件の産業界関連資料および14件の学術界関連資料を分析した結果、産業界はツールの成熟度、コード品質、統合の複雑さといった実務的関心を重視する一方、学術界は理論的枠組み、形式的意味論、スケーラビリティを重視していることが明らかになった。これはMDEの導入を妨げる重要なギャップを示しており、両者の整合性が欠けていることが問題である。

ABSTRACT

Quality is an implicit property of models and modelling languages by their condition of engineering artifacts. However, the quality property is affected by the diversity of conceptions around the model-driven paradigm. In this document is presented a report of quality issues on modelling languages and models. These issues result from an analysis about quality evidences obtained from industrial and academic/scientific contexts.

研究の動機と目的

• MDEにおけるモデリング言語の品質評価に関する産業界と学術界の見解の乖離を調査すること。
• 産業界の実務と学術研究における主な品質問題を特定・分類すること。
• 産業界がツールの成熟度やコード品質を重視するのに対し、学術界が形式的意味論やスケーラビリティを重視するという、異なる優先順位がMDEの導入に与える影響を分析すること。
• 実践的および理論的課題が、効果的なモデリング言語の評価を阻害する根拠に基づいた知見を提供すること。
• モデリング言語の評価フレームワークを、より整合的で現実的かつ産業界に適合したものへと発展させる支援を行うこと。

提案手法

• 38件の産業界関連資料（学術雑誌論文、技術報告書、Webページ）および14件の学術界関連資料（学術雑誌、会議、ワークショップ論文）から品質問題を体系的に抽出すること。
• ツールの複雑さ、モデルとコードの整合性、スケーラビリティなどのテーマに分類すること。
• 各資料に含まれる品質問題を裏付ける明確な記述を特定すること。
• 引用文献の分析と文脈的記述の比較を通じて、産業界と学術界の懸念をテーマ別に分析すること。
• 引用分析を用いて、産業界および学術界の文脈における品質懸念の進化を追跡すること。
• モデルの進化、ツールの未熟さ、相互運用性の欠如といった特定のMDEの課題に、問題をマッピングすること。

実験結果

リサーチクエスチョン

• RQ1 産業界の実務家たちは、MDEの導入においてどのような主な品質問題を報告しているか？
• RQ2 学術界の研究コミュニティは、産業界の実務と比較して、モデリング言語の品質問題をどのようにフレームワーク化し、対処しているか？
• RQ3 産業界と学術界のモデリング言語の品質評価に関する優先順位に、どのような主要な相違が存在するか？
• RQ4 産業界の懸念事項（ツールの複雑さ、コード品質など）が、モデルの意味論や形式的検証に関する学術研究とどの程度一致しているか？
• RQ5 モデルの陳腐化、ツールの未熟さ、相互運用性の欠如といった問題が、文脈に応じてMDEの導入にどのように影響を与えているか？

主な発見

• 産業界の実務家たちは、MDEの導入がツールの未熟さ、高い習得曲線、既存の開発プロセスとの統合困難さによって妨げられていると報告している。
• 主な産業界の懸念は、モデルと生成されたコードとの整合性の欠如であり、モデルが頻繁に陳腐化したり、実装と不一致になったりすることがある。
• 産業界は、モデリングツールを「重厚な」ものと見なしており、インストール、学習、設定、使用のすべての段階で複雑さを感じており、これが導入への抵抗要因となっている。
• 学術界の研究は、形式的意味論、行動モデル化、大規模システムへのスケーラビリティを重視しているが、これらの懸念は産業界の報告にはほとんど見られない。
• モデル品質フレームワークの実装化に関する明確なギャップが存在しており、学術界はメタモデルにおける時間的および行動的意味論のサポート強化を要請している。
• ArcStyler や OptimalJ といったかつて有望視されたMDEツールが、技術的およびビジネス的課題のため衰退した例があり、これはツールエコシステムの不安定性を示している。