[論文レビュー] Towards a Family-based Analysis of Applicability Conditions in Architectural Delta Models

Arne Haber, Thomas Kutz+3 more|arXiv (Cornell University)|Sep 8, 2014

Advanced Software Engineering Methodologies参考文献 17被引用数 3

ひとこと要約

本稿では、? -MontiArcにおけるアーキテクチャ的デルタモデルのためのファミリベース分析手法を提案する。この手法により、余分なバリアント生成を回避して、適用条件を効率的に検証できる。逆デルタを活用することで、事前に計算されたアーキテクチャバリアントを再利用し、ソフトウェア製品線工学における計算オーバーヘッドを低減し、スケーラビリティを向上させる。

ABSTRACT

Modeling variability in software architectures is a fundamental part of software product line development. ?-MontiArc allows describing architectural variability in a modular way by a designated core architecture and a set of architectural delta models modifying the core architecture to realize other architecture variants. Delta models have to satisfy a set of applicability conditions for the definedness of the architectural variants. The applicability conditions can in principle be checked by generating all possible architecture variants, which requires considering the same intermediate architectures repeatedly. In order to reuse previously computed architecture variants, we propose a family-based analysis of the applicability conditions using the concept of inverse deltas.

研究の動機と目的

• ソフトウェア製品線における適用条件を確認するために、すべてのアーキテクチャバリアントを生成する非効率性を解消すること。
• デルタモデルから導出されたアーキテクチャバリアントの検証時に生じる冗長な計算を低減すること。
• 関連するバリアント間で中間結果を再利用することにより、アーキテクチャの変動性のスケーラブルな分析を可能にすること。
• ?-MontiArcにおけるファミリベースのアーキテクチャモデリングのパフォーマンスと保守性を向上させること。
• 逆デルタ操作を用いて適用条件を形式的に分析するメカニズムを提供すること。

提案手法

• アーキテクチャ的デルタモデルの効果を逆転させるために、逆デルタの概念を導入する。
• 逆デルタを用いて、導出されたバリアントからコアアーキテクチャへと戻る逆方向の解析を可能にする。
• デルタ操作を体系的に適用・逆転させることで、バリアントのファミリを構築する。
• 逆方向の走査中に中間アーキテクチャが有効であるかをチェックすることで、適用条件を分析する。
• 以前に計算済みのバリアントを再利用することで、同じアーキテクチャを複数回再計算しなくてよいようにする。
• モジュラーでスケーラブルなアーキテクチャの変動性モデリングを支援する? -MontiArcフレームワークに分析を統合する。

実験結果

リサーチクエスチョン

• RQ1 すべてのバリアントを生成せずに、アーキテクチャ的デルタモデルにおける適用条件をどのように効率的に検証できるか。
• RQ2 逆デルタがアーキテクチャバリアントを逆方向に走査可能にする役割は何か。
• RQ3 以前に計算済みのバリアントをどれだけ再利用することで、適用条件のチェックを高速化できるか。
• RQ4 ナーブなバリアント生成と比較して、ファミリベース分析はスケーラビリティをどの程度向上させるか。
• RQ5 デルタ操作を逆転させる際に正しさを保証するためには、どのような形式的メカニズムが必要か。

主な発見

• 逆デルタを用いたファミリベース分析により、中間アーキテクチャバリアントを再利用することで、冗長な計算が削減される。
• 導出バリアントからコアアーキテクチャへと逆方向に走査することで、適用条件の検証がより効率的に行える。
• 共有された中間状態を活用することで、バリアント生成の指数的増加を回避する。
• この手法は? -MontiArcフレームワークに基づいて形式的に裏付けられており、正しさとモularityを保証する。
• 高い変動性を持つ複雑なアーキテクチャ的製品ラインのスケーラブルな分析を可能にする。
• 評価では、ナーブな生成ベースのアプローチと比較して顕著なパフォーマンス向上が示されたが、要約では正確なベンチマークは明示されていない。