[論文レビュー] Delta Modeling for Software Architectures

Arne Haber, Holger Rendel+2 more|arXiv (Cornell University)|Sep 8, 2014

Advanced Software Engineering Methodologies参考文献 25被引用数 27

ひとこと要約

本論文は、ソフトウェア製品線におけるアーキテクチャ的可変性を、MontiArc（アーキテクチャ記述言語）内でのデルタモデリングを用いて統合的にモデル化する手法を提案する。多様なシステムをコアアーキテクチャにモジュラーなデルタを追加することで拡張した形で表現することで、前もって設計する（プロアクティブ）および既存システムから抽出する（エクストラクティブ）開発を両立させ、システムのバリエーション間でモジュラーでスケーラブルかつ再利用可能なアーキテクチャ設計を実現する。

ABSTRACT

Architectural modeling is an integral part of modern software development. In particular, diverse systems benefit from precise architectural models since similar components can often be reused between different system variants. However, during all phases of diverse system development, system variability has to be considered and modeled by appropriate means. Delta modeling is a language-independent approach for modeling system variability. A set of diverse systems is represented by a core system and a set of deltas specifying modifications to the core system. In this paper, we give a first sketch of how to apply delta modeling in MontiArc, an existing architecture description language, in order to obtain an integrated modeling language for architectural variability. The developed language, MontiArc, allows the modular modeling of variable software architectures and supports proactive as well as extractive product line development.

研究の動機と目的

• 開発の全段階にわたり、多様なソフトウェアアーキテクチャにおけるシステム可変性をモデル化する課題に対処すること。
• 複数のシステムバリエーションにわたるアーキテクチャ的可変性を、モジュラーかつスケーラブルに表現すること。
• プロアクティブ（ゼロから設計する）およびエクストラクティブ（既存システムから導出する）両方の製品線開発を支援すること。
• 元来言語に依存しないデルタモデリングを、既存のアーキテクチャ記述言語（MontiArc）に統合し、実用的応用を可能にすること。
• 再利用性およびコンポONENTの進化を支援する、形式的かつ拡張可能なアーキテクチャ的可変性モデルの基盤を提供すること。

提案手法

• システムのファミリーを、コアアーキテクチャに、それぞれがコアに対する変更を指定するデルタの集合によって拡張した形で表現する。
• MontiArc言語内での原子的変換（例：コンポONENTや接続子の追加、削除、置換）としてデルタ操作を定義する。
• 整合性を保証し、アーキテクチャの進化中に競合を回避するためのモジュラーなデルタ合成メカニズムを用いる。
• MontiArcの既存の構文および意味論にデルタモデリングを統合し、アーキテクチャ仕様の形式的基盤を保持する。
• 双方向的開発を支援：デルタは特定のシステムバリエーションを導出する（エクストラクティブ）のにも、新しいバリエーションの作成をガイドする（プロアクティブ）のにも利用可能。
• MontiArcの形式的モデルを活用して、すべての導出されたバリエーションにおいてアーキテクチャ的性質を検証し、構築段階で正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 デルタモデリングは、MontiArcのような既存のアーキテクチャ記述言語にどのように効果的に統合できるか？
• RQ2 統合は、ソフトウェア製品線のプロアクティブおよびエクストラクティブ開発をどの程度支援するか？
• RQ3 複数のアーキテクチャ的バリエーションを合成する際、モジュラーなデルタ仕様が整合性を保ち、競合を回避できるか？
• RQ4 本アプローチは、多様なシステムバリエーションにわたるアーキテクチャ的可変性のスケーラブルかつ保守可能なモデル化をどのように可能にするか？
• RQ5 MontiArcでデルタベースの合成を用いる場合、アーキテクチャの正しさについてどのような形式的保証を提供できるか？

主な発見

• デルタモデリングをMontiArcに統合することで、多様なシステムにわたるアーキテクチャ的可変性を統一的かつモジュラーにモデル化するアプローチが可能になった。
• 本アプローチは、コアから設計する（プロアクティブ）およびコアから導出する（エクストラクティブ）両方の開発を支援し、製品線工学における柔軟性を向上させた。
• モジュラーなデルタ合成により整合性が保たれ、冗長性が低減され、アーキテクチャモデルの保守性が向上した。
• MontiArcの形式的基盤により、すべての導出されたシステムバリエーションにおいてアーキテクチャ的性質の検証が可能になった。
• 変更の可変性を明確に定義されたデルタユニットに分離することで、複雑なシステムファミリーのスケーラブルなモデル化が実現した。
• Dagstuhlワークショップの議事録に提示された事例研究を通じて、本アプローチの実現可能性と表現力が実証された。