[论文解读] 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 结构化、多阶段的方法是否能够提升从需求生成设计的自动化程度与质量？

主要发现

• 文献回顾揭示了从分析模型到设计工件之间存在显著的自动、可重用转换技术空白。
• 现有模型驱动开发方法在从需求到设计的端到端自动化方面支持不足。
• 所提出的三阶段框架为将分析模型转换为设计工件提供了结构化、可追溯的路径。
• 设计模式识别的整合显著提升了可重用性，并减少了手动设计工作量。
• 通过形式化的转换规则，该框架在早期软件设计中实现了更高的一致性与质量。
• 研究结论认为，当前技术尚不足以实现完全自动化，从而证明了所提出框架的必要性。