그래틀로 2011 재구성 사례 해결

초록

본 논문은 TTC 2011 Reengineering 사례에 대한 GReTL 기반 참조 구현을 제시한다. Java 구문 그래프를 입력으로 받아 상태 머신 모델을 추출하며, 핵심 과제와 두 개의 확장 과제를 모두 만족한다. 변환 로직은 GReTL의 그래프 탐색, 매핑, 그리고 모델 생성 기능을 활용해 단계별로 구현된다.

상세 분석

이 논문은 그래프 변환 언어인 GReTL(Graph Repository Transformation Language)을 활용하여 TTC 2011 Reengineering 케이스를 해결하는 과정을 상세히 기술한다. 먼저 입력으로 제공되는 Java 구문 그래프는 Eclipse JDT 기반의 AST를 그래프 형태로 표현한 것으로, 클래스, 메서드, 변수, 호출 관계 등 다양한 요소가 노드와 엣지로 모델링되어 있다. 변환 목표는 이러한 복잡한 그래프에서 상태 머신(state machine) 모델을 추출하는 것으로, 상태는 Java 클래스에 매핑되고 전이(transition)는 메서드 호출 관계에 기반한다.

핵심 변환 단계는 크게 네 부분으로 나뉜다. 첫 번째 단계에서는 ‘State’ 클래스를 식별하기 위해 그래프 전체를 탐색하고, 해당 클래스를 상태 머신의 상태 노드로 매핑한다. 여기서는 GReTL의 match 연산자를 사용해 ClassDeclaration 노드 중 name = "State" 조건을 만족하는 노드를 선택한다. 두 번째 단계에서는 각 상태 클래스 내부에 정의된 메서드들을 탐색하여 전이 트리거를 추출한다. 메서드 호출 그래프를 따라가며 call 엣지를 따라 이동하고, 호출 대상이 다른 상태 클래스일 경우 이를 전이의 목표 상태로 지정한다. 이 과정에서 GReTL의 path 연산자를 활용해 다중 단계 경로를 한 번에 정의한다.

세 번째 단계는 전이 조건(guard)과 액션을 추출하는 확장 과제이다. 조건은 메서드 내부의 if 문을 분석해 Boolean 표현식을 추출하고, 액션은 메서드 본문에 포함된 특정 API 호출을 식별한다. 이를 위해 GReTL은 filter와 collect 함수를 조합해 조건식 노드와 액션 노드를 각각 수집하고, 전이 객체에 메타데이터로 부착한다. 마지막 단계에서는 생성된 상태와 전이 객체를 기반으로 최종 상태 머신 모델을 출력한다. 여기서는 GReTL의 createVertex와 createEdge 명령을 사용해 새로운 모델 그래프를 구성하고, export 기능으로 XMI 형식 파일을 생성한다.

논문은 또한 두 확장 과제인 “동시 전이”와 “다중 트리거”에 대한 구현 방법을 제시한다. 동시 전이는 하나의 메서드에서 여러 상태로 전이되는 경우를 다루며, GReTL의 groupBy 연산을 이용해 동일 메서드 호출을 그룹화하고 각각의 전이 객체를 생성한다. 다중 트리거는 전이 조건이 복합적인 경우로, 조건식을 논리 연산자(&&, ||)로 결합한 복합 표현식을 파싱하고, 이를 전이 객체의 trigger 속성에 리스트 형태로 저장한다. 이러한 구현은 GReTL이 제공하는 고수준 추상화와 함수형 연산 덕분에 비교적 간결하게 표현될 수 있었다.

전체적으로 이 논문은 GReTL이 복잡한 소스 코드 그래프에서 의미 있는 모델을 추출하는 데 강력한 도구임을 입증한다. 변환 로직이 선언적이며, 그래프 탐색과 매핑을 한 줄의 스크립트로 표현할 수 있어 유지보수와 확장이 용이하다. 또한, 사례 연구를 통해 GReTL이 실제 산업용 모델 변환 시나리오에서도 실용적임을 보여준다.