[논문 리뷰] Executable Modeling with UML. A Vision or a Nightmare?

Bernhard Rumpe⋆|arXiv (Cornell University)|2014. 09. 22.

Model-Driven Software Engineering Techniques참고 문헌 17인용 수 14

한 줄 요약

이 논문은 엑티브한 프로그래밍(Extreme Programming, XP) 방법론 내에서 전통적인 텍스트 기반 프로그래밍을 대체하기 위해 UML가 완전히 실행 가능한 모델링 언어로 기능할 수 있는지 조사한다. 실행 가능한 UML는 모델 기반 개발의 비전을 제시하지만, 문법, 도구 지원 및 유지보수성 측면에서의 실질적 과제들이 표준화와 도구 지원의 향상 없이선 실행 가능한 UML가 악몽으로 끝날 위험이 있음을 주장한다.

ABSTRACT

Extreme Programming is the most prominent new, light-weight (or agile) methods, defined to contrast the current heavy-weight and partially overloaded object-oriented methods. It focuses on the core issues of software technology. One of its principles is not to rely on diagrams to document a system. In this paper, we examine what properties a modeling language like UML must have in order to support the Extreme Programming approach effectively. In particular, we discuss how such a diagrammatic programming language must look like to replace a textual programming language and what benefits and problems such an approach may bring.

연구 동기 및 목표

• 소프트웨어 개발에서 텍스트 기반 코드를 대체하기 위해 UML가 완전히 실행 가능한 프로그래밍 언어로 기능할 수 있는지 평가하기.
• 지속적인 코드 작성과 최소 문서화와 같은 엑티브한 프로그래밍 원칙을 지원하기 위해 다이어그램 기반 모델링 언어(예: UML)의 실현 가능성을 분석하기.
• 애자일 환경에서 실행 가능하고 유지보수 가능한 모델링 언어가 충족해야 할 핵심 요구사항을 특정하기.
• 산업 소프트웨어 개발에서 텍스트 기반 프로그래밍에서 다이어그램 기반 실행 가능한 모델링으로의 전환의 이점과 위험을 평가하기.
• 실행 가능한 UML의 이론적 약속과 실제 소프트웨어 공학 분야에서의 실용적 한계 사이의 격차를 탐색하기.

제안 방법

• 특히 문서화를 기피하고 실행 가능한 코드를 우선시하는 엑티브한 프로그래밍(XP) 원칙을 분석한다.
• 표현력, 문법, 도구 지원 측면을 평가하여 UML가 실행 가능한 모델링의 후보로 적합한지 검토한다.
• 유지보수성, 명확성, 개발 속도 측면에서 다이어그램 기반 모델링과 텍스트 기반 프로그래밍을 비교한다.
• 기존의 UML 도구들이 모델에서 코드를 생성하고 실행할 수 있는 능력을 평가한다.
• 현재 UML의 실행 가능한 모델링에 있어 애초에 약점으로 작용하는 요소들, 예를 들어 모호성, 표준화 부족, 도구 통합의 열악함을 특정한다.
• 실행 가능한 UML가 애자일 환경에서 실현 가능하려면 더 강화된 형식적 의미론, 도구 지원, 언어 제약 조건이 필요하다고 제안한다.

실험 결과

연구 질문

• RQ1 UML는 소프트웨어 개발에서 텍스트 기반 코드를 대체하기 위해 완전히 실행 가능한 프로그래밍 언어로 설계되고 사용될 수 있는가?
• RQ2 엑티브한 프로그래밍의 핵심 원칙을 효과적으로 지원하기 위해 UML 기반 모델링 언어가 가져야 할 성질은 무엇인가?
• RQ3 실제 소프트웨어 프로젝트에서 다이어그램 기반 모델을 실행 가능한 코드로 사용할 때의 실질적 과제는 무엇인가?
• RQ4 유지보수성, 명확성, 개발 효율성 측면에서 실행 가능한 UML는 전통적인 텍스트 기반 프로그래밍과 어떻게 비교되는가?
• RQ5 실행 가능한 모델링이 코드 중심 개발의 타당한 대안이 되기 위해 UML 표준과 도구 지원에서 어떤 개선이 필요한가?

주요 결과

• 실행 가능한 UML는 분석과 코드 사이의 격차를 줄일 수 있는 잠재력을 지닌다.
• 현재 UML는 신뢰할 수 있는 실행을 지원하기 위한 충분한 형식적 기반과 도구 지원이 부족하여 모호성과 일관성 없는 결과를 초래한다.
• 표준화된 실행 가능한 UML 서브셋이 없어, 엑티브한 프로그래밍과 같은 애자일 환경에서의 도입을 저해한다.
• 다이어그램 기반 모델링은 가독성과 협업을 향상시킬 수 있지만, 텍스트 기반 코드보다 더 복잡하고 유지보수하기 어려워질 위험이 있다.
• 이 논문은 실행 가능한 UML가 매력적인 비전이지만, 언어 정밀성과 도구 지원의 대대적 향상 없이선 실현 가능성이 떨어진다고 결론 내린다.
• 모델링 도구와 실행 환경 간의 강력한 통합이 이루어지지 않을 경우, 실행 가능한 UML는 개발 자산이 아니라 유지보수의 악몽이 될 위험이 있다.