[논문 리뷰] Delta Modeling for Software Architectures

Arne Haber, Holger Rendel외 2명|arXiv (Cornell University)|2014. 09. 08.

Advanced Software Engineering Methodologies참고 문헌 25인용 수 27

한 줄 요약

이 논문은 소프트웨어 제품군에서 아키텍처 유형의 다양성을 몬티아크(MontiArc)라는 아키텍처 기술 언어 내에서 델타 모델링을 사용하여 통합적으로 모델링하는 방법을 제안한다. 다양한 시스템을 핵심 아키텍처에 모듈러한 델타를 추가하여 표현함으로써, 이 방법은 사전적(proactive) 및 추출적(extractive) 개발을 모두 지원하며, 시스템 변종 간에 모듈러하고 확장 가능하며 재사용 가능한 아키텍처 설계를 가능하게 한다.

ABSTRACT

Architectural modeling is an integral part of modern software development. In particular, diverse systems benefit from precise architectural models since similar components can often be reused between different system variants. However, during all phases of diverse system development, system variability has to be considered and modeled by appropriate means. Delta modeling is a language-independent approach for modeling system variability. A set of diverse systems is represented by a core system and a set of deltas specifying modifications to the core system. In this paper, we give a first sketch of how to apply delta modeling in MontiArc, an existing architecture description language, in order to obtain an integrated modeling language for architectural variability. The developed language, MontiArc, allows the modular modeling of variable software architectures and supports proactive as well as extractive product line development.

연구 동기 및 목표

• 모든 개발 단계에서 다양한 소프트웨어 아키텍처에서의 시스템 다양성 모델링 과제를 해결한다.
• 다양한 시스템 변종 간에 아키텍처 다양성을 모듈러하고 확장 가능한 방식으로 표현할 수 있도록 한다.
• 사전적(초기 설계) 및 추출적(기존 시스템에서 파생) 제품군 개발을 모두 지원한다.
• 원래 언어에 종속되지 않는 델타 모델링을 기존의 아키텍처 기술 언어(MontiArc)에 통합하여 실용적 적용을 가능하게 한다.
• 재사용성과 컴포onent의 진화를 지원하는, 형식적이고 확장 가능한 아키텍처 다양성 모델링 기반을 제공한다.

제안 방법

• 일련의 시스템을 핵심 아키텍처에 델타 집합으로 보완함으로써 표현한다. 각 델타는 핵심 아키텍처에 대한 수정 사항을 특정한다.
• 델타 연산을 몬티아크 언어 내에서 원자적 변환(예: 컴포넌트 또는 연결자 추가, 제거, 대체)으로 정의한다.
• 모듈러한 델타 조합 메커니즘을 통해 아키텍처 진화 중 일관성과 충돌 방지를 보장한다.
• 델타 모델링을 몬티아크의 기존 문법과 의미론에 통합하여, 아키텍처 명세를 위한 형식적 기반을 유지한다.
• 양방향 개발을 지원한다: 델타는 특정 시스템 변종을 유도하는 데 사용될 수 있고(추출적), 새로운 변종을 만드는 데 안내할 수도 있다(사전적).
• 몬티아크의 형식적 모델을 활용하여 모든 파생된 시스템 변종에서 아키텍처 성질을 검증함으로써, 정의에 따라 정확성을 확보한다.

실험 결과

연구 질문

• RQ1 델타 모델링은 기존의 아키텍처 기술 언어인 몬티아크에 효과적으로 통합될 수 있는가?
• RQ2 이 통합은 소프트웨어 제품군의 사전적 및 추출적 개발을 어느 정도 지원하는가?
• RQ3 다중 아키텍처 변종을 조합할 때 모듈러한 델타 사양이 일관성과 충돌을 방지할 수 있는가?
• RQ4 이 방법은 다양한 시스템 변종 간에 확장 가능하고 유지보수 가능한 아키텍처 다양성 모델링을 어떻게 가능하게 하는가?
• RQ5 몬티아크에서 델타 기반 조합을 사용할 경우, 아키텍처 정확성에 대해 어떤 형식적 보장을 제공할 수 있는가?

주요 결과

• 델타 모델링을 몬티아크에 통합함으로써 다양한 시스템 간에 통합적이고 모듈러한 아키텍처 다양성 모델링 방법이 가능해졌다.
• 이 방법은 사전적(핵심 아키텍처에서 설계) 및 추출적(핵심 아키텍처에서 유도) 개발을 모두 지원하여 제품군 공학에서의 유연성을 향상시켰다.
• 모듈러한 델타 조합은 일관성을 보장하고 중복을 줄여 아키텍처 모델의 유지보수성을 향상시켰다.
• 몬티아크의 형식적 기반 덕분에 모든 파생된 시스템 변종에서 아키텍처 성질을 검증할 수 있었다.
• 유형이 잘 정의된 델타 단위에 다양성을 고립시킴으로써 복잡한 시스템 패밀리의 확장 가능한 모델링이 가능해졌다.
• 논문에서 제시한 사례 연구를 통해, 다스트루 워크숍 발표자료를 통해 이 방법의 실현 가능성과 표현력이 입증되었다.