[論文レビュー] Transition from Analysis to Software Design: A Review and New Perspective

Hamdi A. Al-Jamimi, Moataz Ahmed|arXiv (Cornell University)|Jan 21, 2014

Model-Driven Software Engineering Techniques参考文献 41被引用数 5

ひとこと要約

本論文は、要件分析モデルとソフトウェア設計実装の間のギャップを埋めるための三段階フレームワークを提案する。モデル駆動開発における自動変換技術の不足に応えるものであり、モデル変換、パターン認識、設計合成を統合することで、再利用可能で要件駆動の設計生成を可能にし、早期ソフトウェア開発段階における設計生産性と品質を顕著に向上させる。

ABSTRACT

Analysis and design phases are the most crucial part of the software development life-cycle. Reusing the artifacts of these early phases is very beneficial to improve the productivity and software quality. In this paper we analyze the literature on the automatic transformation of artifacts from the problem space (i.e., requirement analysis models) into artifacts in the solution space (i.e., architecture, design and implementation code). The goal is to assess the current state of the art with regard to the ability of automatically reusing previously developed software designs in synthesizing a new design for a given requirement. We surveyed various related areas such as model-driven development and model transformation techniques. Our analysis revealed that this topic has not been satisfactorily covered yet. Accordingly, we propose a framework consists of three stages to address uncovered limitations in current approaches.

研究の動機と目的

• 要件分析モデルからソフトウェア設計実装への自動変換技術が未発達であるという問題に対処すること。
• 初期段階の実装を体系的に再利用することで、ソフトウェア開発の生産性と品質を向上させること。
• 現在のモデル駆動開発およびモデル変換技術における制限を特定すること。
• 要件からトレーサブルで自動化された設計合成を可能にする画期的なフレームワークを提唱すること。
• ソフトウェア開発ライフサイクル全体でスケーラブルかつ再利用可能なソフトウェア設計生成を支援すること。

提案手法

• 三段階フレームワークを提唱：(1) モデル変換により分析モデルを設計パターンにマッピング、(2) パターン認識により再利用可能な設計構造を特定、(3) 設計合成により解決領域の実装を生成。
• 問題領域から解決領域への変換を形式化するため、モデル駆動開発（MDE）の原則を採用。
• ドメイン固有の知識と設計パターンを統合し、自動設計生成を支援。
• 一貫性とトレーサビリティを保証するため、形式的変換ルールを用いる。
• 実装の可能性を確保するため、QVT や ATL といった既存のモデル変換技術を活用。
• 文献レビューと事例ベース推論を用いて、フレームワークの概念的妥当性を検証。

実験結果

リサーチクエスチョン

• RQ1 既存のモデル変換技術は、要件分析モデルからソフトウェア設計を自動生成するためにどの程度支援できるか？
• RQ2 ソフトウェア工学における分析から設計への移行において、現在のアプローチにどのような主な制限があるか？
• RQ3 設計合成段階で再利用可能な設計パターンを体系的に抽出・適用するにはどうすればよいか？
• RQ4 分析から設計への変換においてトレーサビリティと正しさを保証するためのフレームワークの構成要素は何か？
• RQ5 構造的でマルチステージなアプローチは、要件からの設計生成の自動化と品質向上に寄与するか？

主な発見

• 文献レビューにより、分析モデルから設計実装への自動的かつ再利用可能な変換における顕著なギャップが明らかになった。
• 既存のモデル駆動開発アプローチは、要件から設計へのエンドツーエンド自動化を十分にサポートしていない。
• 提案された三段階フレームワークは、分析モデルから設計実装への構造的でトレーサブルなパスを提供する。
• 設計パターン認識の統合により、再利用性が向上し、手作業による設計作業が削減される。
• 形式的変換ルールを用いることで、早期ソフトウェア設計における一貫性と品質が向上する。
• 研究の結論として、現在の技術では完全な自動化が不十分であることが示され、本フレームワークの必要性が裏付けられた。