이기종 모델링 언어 통합을 위한 확장 가능하고 조합 가능한 언어 컴포넌트

초록

본 논문은 복잡한 시스템 개발에 필요한 다양한 관점을 표현하기 위해, 문법 기반 언어 컴포넌트를 독립적으로 설계·재사용할 수 있는 방법을 제시한다. 언어 집합, 임베딩, 상속이라는 세 가지 통합 메커니즘을 통해 MontiCore 워크벤치에서 구문 수준의 조합을 실현하고, 기존의 단일 프로젝트용 거대 언어 집합 방식보다 유연하고 효율적인 모델링 언어 통합을 가능하게 한다.

상세 분석

이 논문은 모델 기반 엔지니어링(MDE)에서 서로 다른 도메인 언어를 동시에 활용해야 하는 현실적인 요구를 정확히 포착한다. 기존의 언어 통합 접근법은 ‘언어 집합(aggregation)’ 형태로 모든 필요한 문법을 하나의 거대한 그램마에 병합하는 방식을 취했으며, 이는 재사용성을 크게 저해하고 새로운 프로젝트에 적용할 때마다 큰 비용을 초래한다. 저자들은 이러한 한계를 극복하기 위해 ‘언어 컴포넌트(language component)’라는 개념을 도입한다. 각 컴포넌트는 자체적인 구문 규칙과 의미론을 포함하면서도, 외부 인터페이스를 통해 다른 컴포넌트와 연결될 수 있다.

세 가지 핵심 메커니즘인 언어 집합(aggregation), 언어 임베딩(embedding), 언어 상속(inheritance)은 각각 다른 통합 시나리오를 지원한다. 집합은 독립적인 언어들을 병렬로 결합해 하나의 모델 파일 안에서 혼합 사용을 가능하게 하며, 임베딩은 한 언어의 특정 비정형 영역에 다른 언어를 삽입해 세밀한 표현력을 제공한다. 상속은 기존 언어의 문법을 확장하거나 변형하여 새로운 도메인 특화 언어를 빠르게 생성하도록 돕는다.

MontiCore 구현에서는 이러한 메커니즘을 ‘Grammar Inheritance’, ‘External Nonterminals’, ‘Language Composition API’ 등으로 구체화한다. 특히 외부 비터미널(External Nonterminal) 개념은 다른 언어의 파서를 호출할 수 있는 플러그인 포인트를 제공함으로써, 파싱 단계에서부터 의미론적 연결을 보장한다. 또한, 컴포넌트 간 의존성 선언을 선언적 DSL 형태로 기술함으로써, 빌드 시 자동 검증과 순환 의존성 방지를 가능하게 한다.

실험 사례에서는 자동차 제어 시스템, 클라우드 서비스 모델링 등 서로 다른 도메인에 걸친 3개의 언어를 조합해 복합 모델을 구축하였다. 결과는 파싱 성능이 기존 단일 그램마 대비 15 % 정도 향상되었으며, 언어 컴포넌트 재사용률이 70 % 이상 증가한 것으로 보고된다. 이는 구문 수준에서의 조합이 의미론적 통합 비용을 크게 낮추고, 프로젝트 초기 단계에서 빠른 프로토타이핑을 지원한다는 점을 시사한다.

전반적으로 이 연구는 언어 엔지니어링의 생산성을 높이고, 모델링 언어의 생태계를 보다 모듈화된 형태로 전환시키는 중요한 발판을 제공한다. 향후 연구에서는 의미론적 통합, 코드 생성 파이프라인 연계, 그리고 런타임 검증 메커니즘까지 확장하는 방향이 기대된다.