도메인 특화 변환 언어의 체계적 도출

초록

본 논문은 텍스트 기반 모델링 언어의 문법으로부터 도메인‑특화 변환 언어(DSL)를 자동으로 생성하는 방법론을 제시한다. UML 클래스 다이어그램 문법을 예시로 CDTrans라는 변환 DSL을 도출하고, 이를 활용한 여러 리팩터링 사례를 통해 실용성을 검증한다.

상세 분석

이 논문은 모델 변환 분야에서 오래된 문제인 “추상 구문 트리(AST) 기반 변환 언어의 비직관성”을 해결하고자 한다. 전통적인 변환 접근법은 모델링 언어의 메타모델을 직접 다루어야 하므로, 모델러는 변환을 기술하기 위해 내부 구조와 복잡한 API를 학습해야 한다. 저자들은 이러한 진입 장벽을 낮추기 위해, 문법 기반 도출 프로세스를 설계하였다. 핵심 아이디어는 기존 텍스트 모델링 언어의 **구문 규칙(Grammar)**을 그대로 재활용하여, 변환 언어가 동일한 구문적 형태를 유지하도록 하는 것이다. 이를 위해 다음과 같은 단계가 정의된다.

1. 문법 분석 및 추출: 원본 모델링 언어의 ANTLR‑style 문법을 파싱하고, 각 비터미널과 터미널을 식별한다.
2. 변환 연산자 삽입: 변환에 필요한 기본 연산자(예: 매칭, 삭제, 삽입, 교체)를 메타‑문법에 추가한다. 이때 연산자는 최소한의 문법적 부하만을 가하도록 설계되어, 기존 모델링 구문과 자연스럽게 결합된다.
3. 스코프 및 바인딩 규칙 정의: 변환 식별자와 원본 모델 요소 간의 매핑을 명시하기 위해, 변수 선언과 바인딩 규칙을 확장한다. 이는 변환 식이 실행 시 정확한 모델 요소를 찾아낼 수 있게 한다.
4. 코드 생성: 최종 DSL 문법을 기반으로 파서와 인터프리터(또는 컴파일러)를 자동 생성한다. 생성된 도구는 기존 모델링 툴 체인과 호환되며, 변환 스크립트를 직접 실행할 수 있다.

UML 클래스 다이어그램을 대상으로 한 사례 연구에서는, CDTrans라는 DSL이 도출되었다. CDTrans는 클래스, 속성, 연관 관계 등을 정의하는 기존 UML 텍스트 표기법을 그대로 사용하면서, replace, delete, add와 같은 변환 연산자를 추가한다. 예를 들어, “클래스 A의 속성 x를 삭제하고, 새로운 속성 y를 추가”와 같은 리팩터링을 한 줄의 선언으로 표현할 수 있다.

논문은 네 가지 리팩터링 시나리오(클래스 추출, 속성 이동, 연관 관계 재구성, 인터페이스 도입)를 통해 CDTrans의 표현력과 실행 효율성을 검증한다. 실험 결과, 변환 스크립트는 기존 ATL이나 QVT‑Operational 기반 구현보다 작성 비용이 30~45% 감소하고, 실행 시간은 유사하거나 약간 빠른 수준을 보였다.

핵심 기여는 다음과 같다.

• 문법 기반 자동 도출 프로세스를 제시함으로써, 새로운 도메인에 대해 변환 DSL을 손쉽게 생성할 수 있다.
• 변환 연산자를 구체적이고 직관적인 구문으로 통합해, 모델러가 기존 모델링 언어에 익숙한 상태로 변환을 기술하도록 지원한다.
• 툴 체인 자동 생성을 통해, 별도 구현 비용 없이 파서·인터프리터를 제공한다.

이러한 접근법은 텍스트 기반 DSL뿐 아니라, 그래픽 DSL의 텍스트 표현(예: Xtext)에도 확장 가능하다는 점에서 범용성을 갖는다. 또한, 변환 언어 설계 단계에서 문법 일관성을 유지함으로써, 교육 비용 감소와 유지보수 효율성을 동시에 달성한다는 점이 의의이다.