[논문 리뷰] Transition from Analysis to Software Design: A Review and New Perspective

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

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 체계적인 다단계 접근 방식이 요구사항에서 유도된 설계 생성의 자동화와 품질 향상에 기여할 수 있는가?

주요 결과

• 문헌 검토 결과, 분석 모델에서 자산으로의 자동이고 재사용 가능한 변환에 큰 격차가 존재함을 확인했다.
• 기존의 모델 기반 개발 접근 방식은 요구사항에서 설계로의 종단 간 자동화를 충분히 지원하지 못한다.
• 제안된 삼단계 프레임워크는 분석 모델에서 자산으로의 변환을 위한 체계적이고 추적 가능한 경로를 제공한다.
• 설계 패턴 인식 통합은 재사용성을 향상시키고 수동 설계 작업을 줄인다.
• 형식화된 변환 규칙를 통해 초기 소프트웨어 설계의 일관성과 품질을 향상시킬 수 있다.
• 연구는 현재 기술로는 완전한 자동화가 불충분하다고 결론 내리며, 제안된 프레임워크의 필요성을 정당화한다.