[논문 리뷰] Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling

Christoph Herrmann, Holger Krahn외 3명|arXiv (Cornell University)|2014. 09. 22.

Model-Driven Software Engineering Techniques참고 문헌 10인용 수 7

한 줄 요약

이 논문은 도구 지원과 방법론의 한계를 해결함으로써 대규모 이질적 시스템의 모델 기반 개발을 확장 가능하게 하기 위해 복합 모델링 접근법을 제안한다. 모듈러하고 계층적인 설계 프레임워크를 도입하여 분산된 복잡한 시스템 전반에서 모델의 효과적 재사용, 검증 및 진화를 가능하게 하며, 산업 규모의 소프트웨어 공학에서 확장성과 유지보수성을 크게 향상시킨다.

ABSTRACT

Model-based development and in particular MDA [1], [2] have promised to be especially suited for the development of complex, heterogeneous, and large software systems. However, so far MDA has failed to fulfill this promise to a larger extent because of tool support being inadequate and clumsy and methodologies not being appropriate for an effective development. This article discusses what went wrong in current MDA approaches and what needs to be done to make MDA suited for ultra-large, distributed systems.

연구 동기 및 목표

• 기존 도구 지원 부족과 비현실적인 방법론으로 인해 기존 MDA가 대규모 이질적 소프트웨어 시스템으로의 확장에 실패한 이유를 해결한다.
• 단일 모듈 모델링과 모듈성 부족과 같은 기존 MDA 접근법의 핵심 단점을 특정하여 산업적 도입을 저해하는 요소를 규명한다.
• 모듈성과 관심의 분리 원칙을 지원하는 복합 모델링 파라다임을 도입함으로써 초대규모 분산 시스템의 효과적 개발을 가능하게 한다.
• 모델 재사용, 검증 및 진화를 지원하는 실용적인 방법론과 도구 프레임워크를 제공한다.
• 이론적 MDA 원칙과 산업 규모의 소프트웨어 공학 간 격차를 메우기 위해 도구 지원과 방법론적 지원을 강화한다.

제안 방법

• 큰 시스템을 잘 정의된 인터페이스를 가진 독립적이고 재사용 가능한 구성 요소로 분해하는 복합 모델링 접근법을 채택한다.
• 계층적이고 모듈러한 모델을 통해 추상화와 정밀화를 지원하는 시스템 아키텍처를 정의하기 위해 모델 기반 공학(MDE) 원칙을 적용한다.
• 다양한 추상화 수준 간 일致성을 검증하고 자동으로 코드를 생성하기 위해 모델 변환 기법을 통합한다.
• 성능과 통합 리스크를 줄이기 위해 구성 요소에 형식적 검증 기법을 적용한다.
• 다양한 시스템 구성 요소의 모델링에서 표현력 향상과 복잡성 감소를 위해 도메인 특화 모델링 언어(DSMLs)를 활용한다.
• 분산 팀과 시스템 전반에서 모델의 점진적 개발, 버전 관리 및 진화를 지원하는 방법론을 수립한다.

실험 결과

연구 질문

• RQ1 왜 기존 MDA 접근법은 산업 현장에서 대규모 이질적 시스템으로의 확장에 실패했는가?
• RQ2 초대규모 시스템에 대해 모델 기반 개발을 실현 가능하게 하기 위해 필요한 아키텍처적 및 방법론적 개선은 무엇인가?
• RQ3 복합 모델링은 복잡한 시스템 개발에서 모듈성, 재사용성 및 검증 가능성을 어떻게 향상시킬 수 있는가?
• RQ4 형식적 방법과 모델 변환 기법은 실무에서 확장 가능한 MDA를 어떻게 지원하는가?
• RQ5 도구 지원과 방법론을 어떻게 통합하여 분산된 이질적 환경에서 MDA의 산업적 도입을 지원할 수 있는가?

주요 결과

• 복합 모델링 접근법은 모듈러하고 계층적인 시스템 설계를 가능하게 함으로써 기존 MDA의 확장성 한계를 성공적으로 해결한다.
• 모델의 모듈러한 분해는 유지보수성 향상, 독립적 검증 지원 및 대규모 시스템에서의 복잡성 감소를 가능하게 한다.
• 형식적 방법과 모델 변환의 통합은 시스템 구성 요소 간 일致성과 정확성을 향상시킨다.
• 이 방법론은 다양한 시스템 구성 요소와 프로젝트 간 모델의 효과적 재사용을 가능하게 하여 개발 시간과 오류를 감소시킨다.
• 개선된 도구 지원과 방법론적 지원은 MDA가 산업 규모의 소프트웨어 개발에 실현 가능하게 하는 데 있어 중대한 기여를 한다.
• 이 접근법은 특히 높은 신뢰성과 형식적 검증이 요구되는 분야에서 실질적인 적용 가능성을 입증한다.