[논문 리뷰] Metamodelling: State of the Art and Research Challenges

Jonathan Sprinkle, Bernhard Rumpe⋆외 2명|arXiv (Cornell University)|2014. 09. 08.

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

한 줄 요약

이 논문은 소프트웨어 공학 분야에서 메타모델링에 대한 종합적인 리뷰를 제공하며, 현재의 접근 방식, 추상화 및 도구를 분석하면서 메타모델의 복잡성, 일관성 및 진화와 관련된 핵심 연구 과제를 규명한다. 이 논문은 런타임 사용을 가능하게 하고 향후 모델 기반 공학 분야의 연구를 이끄는 메타모델 의미론의 역할을 강조한다.

ABSTRACT

This chapter discusses the current state of the art, and emerging research challenges, for metamodelling. In the state-of-the-art review on metamodelling, we review approaches, abstractions, and tools for metamodelling, evaluate them with respect to their expressivity, investigate what role(s) metamodels may play at run-time and how semantics can be assigned to metamodels and the domain specific modeling languages they could define. In the emerging challenges section on metamodelling we highlight research issues regarding the management of complexity, consistency, and evolution of metamodels, and how the semantics of metamodels impacts each of these.

연구 동기 및 목표

• 모델 기반 공학에서 사용되는 접근 방식, 추상화 및 도구를 포함한 메타모델링의 현재 최신 동향을 분석하기 위해.
• 기존 메타모델링 기법의 표현력과 도메인 특화 모델링 언어 정의에 대한 적용 가능성을 평가하기 위해.
• 메타모델이 런타임에서 어떻게 활용될 수 있는지와 메타모델에 의미를 부여하는 메커니즘을 조사하기 위해.
• 메타모델의 복잡성 관리, 일관성 확보 및 진화 지원과 관련된 주요 연구 과제를 규명하고 강조하기 위해.
• 메타모델의 의미론이 시간이 지남에 따라 메타모델의 관리 용이성, 일관성 및 진화에 어떻게 영향을 미치는지 탐색하기 위해.

제안 방법

• 소프트웨어 공학의 맥락에서 기존 메타모델링 접근 방식, 도구 및 추상화에 대한 체계적 리뷰를 수행하기 위해.
• 도메인 특화 언어를 명시하는 데서의 능력을 비교 분석함으로써 메타모델링 기법의 표현력을 평가하기 위해.
• 런타임에서 메타모델이 어떻게 사용될 수 있는지 분석하기 위해, 런타임 검증 및 실행 지원을 포함하기 위해.
• 메타모델의 의미론이 수행되는 방식, 즉 형식적 의미론과 실행 가능한 의미론을 포함하여 분석하기 위해.
• 기존 연구를 철저히 분석함으로써 메타모델의 복잡성 관리, 일관성 강제 및 진화와 관련된 핵심 과제를 규명하기 위해.
• 발견된 격차를 바탕으로 연구 계획을 제안하며, 특히 의미론과 메타모델 진화 및 일관성 간의 상호작용에 중점을 두기 위해.

실험 결과

연구 질문

• RQ1 소프트웨어 공학 분야에서 메타모델링에 대한 현재 최신 동향의 접근 방식, 추상화 및 도구는 무엇인가요?
• RQ2 메타모델은 어떻게 효과적으로 런타임에서 활용될 수 있으며, 그 런타임 해석을 지원하는 메커니즘은 무엇인가요?
• RQ3 의미론은 메타모델과 도메인 특화 언어의 표현력 및 유용성을 향상시키는 데 어떤 역할을 하나요?
• RQ4 메타모델의 복잡성 관리, 일관성 확보 및 진화 지원과 관련된 주요 과제는 무엇인가요?
• RQ5 메타모델의 의미론은 그 일관성, 진화 및 총괄적인 관리 용이성에 어떻게 영향을 미치나요?

주요 결과

• 메타모델링 기법은 표현력 면에서 상당한 차이를 보이며, 일부 접근 방식은 다른 것들에 비해 도메인 특화 모델링 언어 정의에 더 적합하다.
• 메타모델에 의미론을 통합하는 것은 런타임 검증, 실행 및 도구 지원을 가능하게 하기 위해 필수적이다.
• 현재의 도구와 접근 방식은 메타모델의 복잡성과 시간이 지남에 따른 진화를 충분히 지원하지 못하는 경우가 많다.
• 메타모델의 일관성 관리는 모델의 크기와 상호의존성이 증가함에 따라 여전히 중요한 과제로 남아 있다.
• 메타모델의 의미론은 메타모델이 버전 간 일관성을 유지하고 진화를 지원하는 능력에 직접적인 영향을 미친다.
• 미래의 연구는 의미론을 메타모델링 관행과 통합하여 도구 개선, 확장성 향상 및 장기적 유지보수성을 향상시켜야 한다.