[論文レビュー] Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling

Christoph Herrmann, Holger Krahn+3 more|arXiv (Cornell University)|Sep 22, 2014

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

ひとこと要約

本論文は、MDAのツールキットおよび手法論的限界を克服することで、大規模かつ多様性のあるシステムにおけるモデル駆動開発のスケーラビリティを向上させるための構成的モデリング手法を提案する。モジュラーで階層的な設計フレームワークを導入し、分散的かつ複雑なシステム全体にわたるモデルの有効な再利用、検証、進化を可能にし、産業規模のソフトウェア工学におけるスケーラビリティと保守性を顕著に向上させる。

ABSTRACT

Model-based development and in particular MDA [1], [2] have promised to be especially suited for the development of complex, heterogeneous, and large software systems. However, so far MDA has failed to fulfill this promise to a larger extent because of tool support being inadequate and clumsy and methodologies not being appropriate for an effective development. This article discusses what went wrong in current MDA approaches and what needs to be done to make MDA suited for ultra-large, distributed systems.

研究の動機と目的

• 従来のMDAが、不十分なツール支援と現実的でない手法論に起因して、大規模かつ多様性のあるソフトウェアシステムへのスケーリングに失敗した理由を解明する。
• モノリス的モデリングやモularityの欠如といった、既存のMDAアプローチにおける主な欠陥を特定し、産業分野での採用を阻害要因として特定する。
• モジュラリティと責任の分離を支援する構成的モデリングパラダイムを導入することで、超大規模で分散型のシステムの有効な開発を可能にする。
• モデルの再利用、検証、進化を支援する実用的な手法論およびツールキットフレームワークを提供する。
• 理論的MDAの原則と産業規模のソフトウェア工学の間のギャップを埋めるために、ツールキットおよび手法論的支援を強化する。

提案手法

• 大規模システムを独立性があり再利用可能なコンポONENTに分解し、明確に定義されたインターフェースを持つ構成的モデリングアプローチを採用する。
• モデル駆動工学（MDE）の原則を用いて、抽象化と精錬を支援する階層的でモジュラーなモデルを通じてシステムアーキテクチャを定義する。
• 自動的にコード生成および異なる抽象化レベル間の整合性を検証するためのモデル変換技術を統合する。
• コンポONENTに形式的検証技術を適用し、多様性のあるシステムにおける整合性リスクを低減する。
• 多様なシステムコンポONENTのモデリングにおける表現力の向上と複雑さの低減を図るため、分野特化型モデリング言語（DSML）を活用する。
• 分散チームおよびシステム全体にわたるモデルの段階的開発、バージョニング、進化を支援する手法論を確立する。

実験結果

リサーチクエスチョン

• RQ1 なぜ従来のMDAアプローチは、産業的実務において大規模かつ多様性のあるシステムにスケーリングできなかったのか？
• RQ2 超大規模システムに向けたモデル駆動開発を現実可能にするために、どのようなアーキテクチャ的および手法論的改善が必要なのか？
• RQ3 構成的モデリングは、複雑なシステム開発におけるモularity、再利用性、検証可能性をどのように向上させるのか？
• RQ4 形式的技法およびモデル変換は、実務におけるスケーラブルなMDAを実現するために果たす役割は何か？
• RQ5 ツールキットおよび手法論をどのように整えることで、分散的かつ多様性のある環境におけるMDAの産業的採用を支援できるか？

主な発見

• 構成的モデリングアプローチは、モジュラーで階層的なシステム設計を可能にすることで、従来のMDAのスケーラビリティの限界を効果的に克服した。
• モデルのモジュラー分解は保守性を向上させ、独立した検証を可能にし、大規模システムにおける複雑さを低減する。
• 形式的技法とモデル変換の統合により、システムコンポONENT間での整合性と正しさが強化された。
• 手法論により、異なるシステムコンポONENTおよびプロジェクト間でのモデルの有効な再利用が可能となり、開発時間とエラーが削減された。
• 改善されたツールキットおよび手法論的支援により、産業規模のソフトウェア開発におけるMDAの実現可能性が顕著に向上した。
• 本アプローチは、高い信頼性と形式的検証を要する分野において、実世界のシステムへの実用的適用性を示した。