컴포넌트와 커넥터 ADL을 위한 도메인 특화 변환 언어 자동 생성

초록

본 논문은 컴포넌트·커넥터(C&C) 아키텍처 기술 언어의 문법으로부터 도메인 특화 변환 언어(DSTL)를 자동으로 생성하는 프레임워크를 제시한다. 생성된 DSTL은 해당 ADL의 구문을 그대로 사용해 모델 변환을 기술함으로써, ADL 전문가가 변환 로직을 직관적으로 이해하고 작성할 수 있게 한다.

상세 분석

이 연구는 모델 기반 개발(MDE)과 컴포넌트 기반 소프트웨어 공학(CBSE)의 결합점에 위치한 C&C ADL을 대상으로, 모델 변환을 위한 전용 DSL을 손쉽게 제공하고자 한다. 기존의 일반 목적 변환 언어(예: ATL, QVT)는 ADL의 구문적 특성을 반영하지 못해 변환 스크립트가 복잡하고 가독성이 떨어진다. 논문은 이러한 문제를 해결하기 위해, ADL의 EBNF‑형식 문법을 입력으로 받아 자동으로 DSTL의 구문 및 의미론을 생성하는 파이프라인을 설계한다. 핵심 단계는 (1) ADL 문법 요소를 변환 규칙의 패턴으로 매핑하고, (2) 변환 대상 모델과 결과 모델을 동일한 ADL 구문으로 표현하도록 AST‑생성 규칙을 확장하며, (3) 변환 실행 엔진을 위한 인터프리터 혹은 코드 생성기를 자동 연결하는 것이다. 프레임워크는 ANTLR 기반 파서 생성기와 Xtext와 같은 언어 작업 환경을 활용해 구현되었으며, 문법 확장 시에도 최소한의 수작업만으로 새로운 DSTL을 만들 수 있다. 실험에서는 대표적인 C&C ADL인 MontiArc와 ACME에 적용해, 수십 개의 변환 시나리오(리팩터링, 구조 재배치, 인터페이스 매핑 등)를 기존 ATL 기반 변환과 비교했다. 결과는 변환 스크립트 길이가 평균 45 % 감소하고, 변환 오류 발생률이 현저히 낮아졌음을 보여준다. 또한, ADL 전문가 인터뷰를 통해 DSTL이 도메인 지식과 일치해 학습 곡선이 완만하고, 유지보수 비용이 절감된다는 정성적 피드백을 얻었다. 이와 같이 자동화된 DSTL 생성은 ADL 전용 변환 도구 부재 문제를 해소하고, 모델 중심 개발 프로세스의 효율성을 크게 향상시킨다.