모델링 언어 변이 체계화

초록

본 논문은 모델링 언어의 구문·의미 변이를 형식적으로 정의하고, 변이 간 관계를 ‘의미 언어 정제’라는 개념으로 정량화한다. 이를 통해 도메인·프로젝트 특화 언어 설계와 변이 검증을 체계적으로 지원한다.

상세 분석

논문은 모델링 언어를 ‘구문(문법)’, ‘구조(메타모델)’, ‘의미(시맨틱)’ 세 층으로 분리하고, 각 층에 대한 변이 가능성을 명시적으로 모델링한다. 구문 변이는 토큰화, 파싱 규칙, 텍스트·그래픽 표현 등에서 발생하며, 메타모델 변이는 클래스·속성·관계의 추가·제거·제한을 의미한다. 가장 핵심적인 기여는 ‘의미 언어 정제(semantic language refinement)’ 개념이다. 이는 두 의미 변이 A, B에 대해 A가 B를 포함한다면, A가 정의하는 모든 모델의 의미가 B에서도 동일하게 해석될 수 있음을 수학적으로 증명한다. 정제 관계는 부분 순서(partial order)를 형성하며, 상위 정제는 하위 정제보다 더 구체적이면서도 안전한 해석을 제공한다. 논문은 이 관계를 이용해 변이 조합의 일관성을 검증하는 절차를 제시한다. 예를 들어, 특정 도메인에서 ‘시간 제약’ 속성을 추가하는 변이는 기존 의미에 정제 관계를 형성하므로, 기존 모델이 새로운 의미 체계에서도 의미적 모순 없이 동작함을 보장한다. 또한, 변이 간 충돌(예: 동일 속성에 대한 상이한 타입 제한)은 정제 관계가 성립하지 않을 때 탐지되며, 이는 자동화된 검증 도구 설계에 활용될 수 있다. 논문은 형식적 정의를 위해 집합론적 모델과 카테고리 이론적 매핑을 사용하고, 의미 정의를 ‘시멘틱 매핑 함수’로 표현한다. 이러한 접근은 모델 변이의 정량적 비교와 자동 합성, 그리고 변이 기반 언어 확장의 안전성을 이론적으로 뒷받침한다.