UML 가이드라인과 일관성 규칙에 대한 언어 이론적 접근

초록

본 논문은 UML 모델링에서 적용되는 가이드라인과 일관성 규칙을 형식 언어 이론으로 재구성한다. 제어 문법(Controlling Grammar)과 제어 대상 문법(Controlled Grammar)으로 구성된 C‑System을 제안하여, UML 메타모델의 파싱 과정에 규칙 검증을 삽입한다. 이를 통해 XMI 형식의 사용자 모델에 대해 컴파일 타임에 정형화된 검증을 수행할 수 있다.

상세 분석

논문은 먼저 UML이 제공하는 높은 자유도가 설계 오류와 일관성 위반을 초래한다는 점을 지적한다. 기존의 가이드라인과 일관성 규칙은 대부분 자연어로 기술되어 있어 자동 검증이 어렵고, 도구마다 적용 범위가 상이한 문제가 있다. 저자들은 이러한 문제를 해결하기 위해 형식 언어 이론의 ‘문법 제어’ 개념을 차용한다. 구체적으로, UML 자체를 기술하는 문법을 ‘제어 대상 문법(Controlled Grammar)’이라 정의하고, 가이드라인·규칙을 별도의 ‘제어 문법(Controlling Grammar)’으로 표현한다. 제어 문법은 제어 대상 문법의 파생 과정에 제약을 가하는 메타‑문법으로, 두 문법을 동시에 파싱함으로써 파생 트리가 규칙을 위반하면 즉시 오류를 보고한다. 이 구조는 전통적인 검사 방식과 달리 모델의 구문 단계에서 일관성 검사를 수행하므로, 모델링 단계 초기에 오류를 발견할 수 있다. 또한 C‑System은 ‘상향식(top‑down)’ 파싱 전략을 채택해, 제어 문법이 파생 규칙을 미리 제한함으로써 탐색 공간을 크게 축소한다. 구현 측면에서는 UML 메타모델을 BNF 형태로 변환하고, 제어 문법을 별도 BNF 파일로 작성한 뒤, ANTLR과 같은 파서 생성기를 이용해 통합 파서를 만든다. 실험 결과, XMI 파일에 대한 검증 속도가 기존 정적 분석 도구와 비교해 경쟁력을 유지하면서도, 규칙 위반을 정확히 포착한다는 점을 보여준다. 마지막으로 저자는 기존 연구와 비교해 C‑System이 ‘문법 기반·컴파일 타임·범용성’이라는 세 축에서 우수함을 강조한다.