UCM 시나리오 자동 변환 도구 UCMEXPORTER

초록

UCMEXPORTER는 요구사항 단계에서 사용되는 Use Case Maps(UCM) 시나리오를 설계 단계에서 선호되는 UML 시퀀스 다이어그램, MSC, 그리고 TTCN‑3 테스트 스켈레톤으로 자동 변환하는 도구이다. 동시 경로 처리, 메시지 커스터마이징, 도구 연동성을 핵심 과제로 삼아 메타모델 매핑과 플러그인 기반 아키텍처를 제시한다. 이를 통해 고수준 요구사항과 저수준 설계 사이의 간극을 메우고, 추적성 및 생산성을 향상시킨다.

상세 분석

UCMEXPORTER의 핵심 기여는 UCM이라는 고수준 시나리오 표기법을 상세 설계 표기법으로 매끄럽게 연결한다는 점에 있다. 논문은 먼저 UCM 메타모델과 UML Sequence Diagram, MSC, TTCN‑3 메타모델 간의 구조적 차이를 분석한다. UCM은 책임(Responsibility)과 경로(Path) 중심이며, 병렬 구간은 fork‑join 형태로 표현된다. 반면 UML 시퀀스 다이어그램은 Lifeline과 Message 흐름, MSC는 이벤트 시퀀스, TTCN‑3는 테스트 케이스 구문을 기반으로 한다. 이러한 차이를 메타모델 매핑 단계에서 ‘Responsibility → Message’, ‘Path → Interaction Fragment’, ‘Fork/Join → Parallel CombinedFragment’ 등으로 정의한다. 특히 동시 경로는 UML의 CombinedFragment와 MSC의 Parallel Region으로 변환하면서, 순서 보장을 위해 가상 메시지(virtual messages)를 삽입하는 전략을 사용한다. 이는 변환 후 모델이 실행 가능하고, 시뮬레이션 도구와 호환되도록 하는 핵심 메커니즘이다.

또한 도구는 사용자 정의 메시지 매핑을 지원한다. 사용자는 UCM 책임에 대해 템플릿 기반 문자열을 지정하거나, 외부 사전 정의 파일을 로드해 메시지 형식을 커스터마이징할 수 있다. 이는 실제 시스템 인터페이스와의 정합성을 확보하는 데 필수적이다. 인터페이스 계층을 분리함으로써, 동일한 UCM 시나리오를 여러 설계 언어로 동시에 출력할 수 있다.

아키텍처 측면에서 UCMEXPORTER는 플러그인 기반 파이프라인을 채택한다. 입력 파서는 UCM 모델을 XMI 형태로 읽어 내부 EMF(Eclipse Modeling Framework) 객체 그래프로 변환하고, 변환 엔진은 ATL(Atlas Transformation Language) 혹은 자체 정의된 변환 규칙 집합을 적용한다. 출력 모듈은 각각의 목표 언어에 맞는 XMI 혹은 텍스트 포맷을 생성한다. 이러한 모듈화는 새로운 목표 언어(예: BPMN, SysML) 추가를 최소한의 코드 변경으로 가능하게 만든다. 도구 간 연동성을 위해서는 표준 XMI 교환과 OSGi 서비스 레지스트리를 활용해 외부 CASE 툴과 실시간 연동을 제공한다.

성능 평가에서는 평균 0.8초 내에 50개의 복합 시나리오를 변환했으며, 변환 정확도는 수동 변환 대비 98% 이상으로 보고된다. 제한점으로는 매우 복잡한 동시 경로가 중첩될 경우 가상 메시지 폭증으로 모델 크기가 증가하고, TTCN‑3 스켈레톤은 아직 상세 검증 로직이 자동 생성되지 않아 수동 보완이 필요하다는 점을 들었다. 향후 연구에서는 동시성 최적화와 테스트 코드 자동 완성, 그리고 모델 검증을 위한 형식적 검증 기법 통합을 제안한다.