텍스트 언어를 위한 통합 구문 정의

초록

이 논문은 구체 구문과 추상 구문을 별도로 정의할 때 발생하는 중복과 불일치를 해소하기 위해, 두 구문을 하나의 확장된 문법 형식으로 동시에 기술하는 방법을 제안한다. 메타모델링 요소인 연관 관계와 상속을 전통적인 문법 규칙에 통합함으로써, 텍스트 기반 모델링 언어의 정의를 보다 일관되고 확장 가능하게 만든다.

상세 요약

본 연구는 모델링 언어 설계에서 가장 핵심적인 두 축인 구체 구문(concrete syntax)과 추상 구문(abstract syntax)의 일관성을 확보하는 새로운 접근법을 제시한다. 기존에는 각각을 별도의 도구나 포맷으로 정의하고, 이후 변환 과정에서 정보 손실이나 불일치가 발생하는 경우가 빈번했다. 저자들은 이러한 문제를 근본적으로 해결하고자, 전통적인 BNF‑계열 문법에 메타모델링 개념을 직접 삽입하는 ‘통합 문법(Integrated Grammar)’을 설계하였다. 구문 규칙 안에 클래스 선언, 속성 정의, 그리고 다중 상속·연관 관계를 기술함으로써, 파싱 단계에서 바로 추상 구문 트리를 생성할 수 있다. 특히, 연관 관계를 ‘reference’ 키워드와 같은 선언적 구문으로 표현함으로써, 별도의 모델 변환 로직 없이도 객체 간 연결성을 보장한다. 상속 메커니즘은 문법 규칙의 재사용성을 극대화하고, 새로운 언어 확장 시 기존 규칙을 그대로 상속받아 재정의할 수 있게 한다. 이러한 설계는 DSL(도메인 특화 언어) 개발 시 반복적인 코드와 메타데이터 정의를 크게 감소시키며, 언어 설계자와 구현자 간의 의사소통 비용을 절감한다. 또한, 통합 문법은 기존 파서 생성기와 호환되도록 설계돼, 기존 툴 체인에 큰 변화를 주지 않으면서도 일관된 모델링 파이프라인을 구축할 수 있다. 논문은 사례 연구를 통해 복합적인 언어 구조를 정의하고, 자동으로 추상 구문 트리를 추출함으로써 모델 검증 및 변환 작업이 얼마나 간소화되는지를 실증한다. 전체적으로, 이 접근법은 구문 정의의 중복을 원천 차단하고, 메타모델링과 문법 정의를 하나의 일관된 프레임워크로 결합함으로써 텍스트 기반 DSL의 설계·구현 효율성을 크게 향상시킨다.