클래스다이어그램 의미 차이 분석기

초록

본 논문은 클래스다이어그램(CD)의 의미적 차이를 파악하는 cddiff 연산자를 제안한다. 구문 기반 비교가 아닌, 두 다이어그램 사이에 존재할 수 있는 객체 모델을 차이 증인(diff witness)으로 제시한다. 구현은 Alloy 변환을 이용한 자동화 도구이며, Eclipse 플러그인 형태로 제공된다.

상세 분석

cddiff는 기존 모델 비교 기법이 주로 구문적 차이(예: 클래스 추가·삭제, 연관 관계 변경)를 열거하는 데 반해, 의미론적 차이에 초점을 맞춘다. 의미론적 차이는 두 클래스다이어그램이 허용하는 인스턴스 집합, 즉 객체 모델의 차이로 정의된다. 이를 위해 저자들은 “diff witness”라는 개념을 도입했는데, 이는 첫 번째 다이어그램에서는 만족될 수 있지만 두 번째 다이어그램에서는 만족되지 않는 구체적인 객체 모델을 의미한다. 이러한 증인은 개발자에게 실제로 어떤 설계 변경이 시스템 동작에 영향을 미치는지를 직관적으로 보여준다.

형식적 정의 단계에서 CD는 UML 메타모델의 서브셋으로 모델링되며, 클래스, 속성, 연관, 제약(예: OCL) 등을 포함한다. 각 CD는 Alloy 언어로 변환되어 SAT 기반 분석기에 전달된다. 변환 과정은 클래스와 속성을 Alloy의 sig로, 연관을 관계(sig)로, 제약을 fact로 매핑한다. 두 다이어그램 A와 B에 대해, “A ∧ ¬B” 형태의 논리를 생성하고, SAT 솔버가 만족 가능한 경우 해당 모델을 diff witness로 추출한다. 이때 솔버가 반환하는 인스턴스는 구체적인 객체와 값 할당을 포함하므로, 개발자는 차이를 시각적으로 검토할 수 있다.

cddiff의 핵심 장점은 (1) 의미적 차이를 정확히 포착함으로써 불필요한 구문적 변화를 걸러낼 수 있다, (2) 자동화된 증인 생성으로 인간의 추론 부담을 감소한다, (3) Alloy 기반 구현 덕분에 복잡한 제약도 효율적으로 처리한다는 점이다. 그러나 제한점도 존재한다. Alloy는 제한된 도메인(유한 모델)에서만 작동하므로, 무한 객체나 복잡한 동적 행동을 완전히 검증하기 어렵다. 또한 변환 과정에서 OCL 전부를 지원하지 못하고, 일부 UML 특성(예: 다중 상속, 템플릿)도 제외된다. 성능 측면에서는 다이어그램 규모가 커질수록 SAT 문제의 난이도가 급격히 상승해, 실시간 피드백이 어려울 수 있다. 저자들은 이러한 한계를 인식하고, 증인 수를 제한하거나 히스토리 기반 프루닝을 도입하는 방안을 제시한다.

실험에서는 여러 오픈소스 프로젝트의 버전 히스토리를 대상으로 cddiff를 적용했으며, 기존 구문 기반 도구와 비교해 의미적 차이를 더 많이 발견함을 보였다. 특히, 속성 타입 변경이나 제약 강화와 같은 미세한 설계 수정이 실제 인스턴스 차이로 이어지는 경우를 정확히 포착했다. 이러한 결과는 모델 기반 개발에서 의미론적 검증이 얼마나 중요한지를 강조한다. 향후 연구 방향으로는 동적 모델(시퀀스 다이어그램 등)과의 연계, 무한 도메인 지원을 위한 SMT 솔버 통합, 그리고 사용자 친화적인 시각화 인터페이스 개발이 제시된다.