VIATRA2로 TTC 2011 재공학 사례 해결

초록

본 논문은 모델 변환 대회(TTC) 2011년 재공학 사례를 VIATRA2 도구를 이용해 해결한 방법을 제시한다. VIATRA2의 그래프 기반 패턴 매칭과 변환 언어를 활용해 Java 소스 코드에서 UML 클래스 다이어그램을 추출하고, 요구된 메트릭을 계산한다. 구현 세부와 성능 평가 결과를 통해 VIATRA2의 효율성과 확장성을 입증한다.

상세 분석

이 논문은 VIATRA2가 제공하는 고성능 그래프 변환 엔진을 재공학 과제에 적용함으로써 모델 기반 소프트웨어 재구성의 실용성을 검증한다. 먼저, 입력으로 제공되는 Java 추상 구문 트리(AST)를 VIATRA2의 VPM(VIATRA2 Pattern Model) 형식으로 변환한다. VPM은 메타모델과 인스턴스를 동일한 그래프 구조에 매핑함으로써, 패턴 매칭 단계에서 메타모델 정보를 별도로 조회할 필요가 없도록 설계되었다. 이는 복잡한 구조적 제약을 단일 패턴 정의에 포함시킬 수 있게 하여 변환 규칙의 가독성과 유지보수성을 크게 향상시킨다.

핵심 변환 로직은 두 종류의 규칙으로 구성된다. 첫 번째는 클래스, 인터페이스, 메서드, 필드 등 Java 요소를 UML 클래스, 속성, 연산 등으로 매핑하는 구조 변환 규칙이며, 정규 표현식 기반의 이름 필터링과 접근 제어자 검증을 포함한다. 두 번째는 상속 관계와 구현 관계를 탐지해 UML 일반화와 구현 연결을 생성하는 행동 변환 규칙이다. VIATRA2의 선언적 패턴 매칭은 이러한 관계를 한 번의 그래프 탐색으로 해결할 수 있어, 대규모 코드베이스에서도 선형에 가까운 실행 시간을 보장한다.

성능 평가에서는 동일한 사례를 ATL, QVT와 같은 다른 변환 언어와 비교하였다. 실험 결과 VIATRA2는 초기 그래프 로딩 비용이 다소 높지만, 변환 단계에서는 평균 30 % 정도 빠른 실행 시간을 기록했다. 또한, 메모리 사용량은 변환 대상 모델 크기에 비례적으로 증가했으나, GC 튜닝을 통해 안정적인 메모리 프로파일을 유지할 수 있었다.

논문은 또한 VIATRA2의 확장성을 강조한다. 사용자는 Java 기반의 커스텀 패턴 연산자를 구현해 복잡한 도메인 특화 로직을 삽입할 수 있으며, 이는 재공학 작업에서 흔히 요구되는 비표준 메트릭 계산이나 코드 품질 지표 추출에 유용하다. 마지막으로, 변환 결과물의 검증을 위해 EMF Compare와 같은 모델 비교 도구를 활용해 원본 UML 모델과 기대 모델 간의 동등성을 자동화하였다. 이러한 전반적인 접근 방식은 모델 변환 도구의 선택과 적용에 있어 실용적인 가이드라인을 제공한다.