Henshin을 활용한 TTC 2011 리엔지니어링 사례 해결

초록

본 논문은 Eclipse Modeling Framework 기반의 Java 모델을 상태 머신 모델로 변환하는 TTC 2011 리엔지니어링 과제를 Henshin 인플레이스 변환 도구로 해결한 방법을 제시한다. 변환 로직은 초기화 규칙, 상태 생성 루프, 전이 생성 루프, 액션 업데이트 루프로 구성된 계층적 제어 흐름을 사용하며, 트레이스 모델을 이용해 집합 기반 반복을 구현한다. 실험 결과 작은 모델에서 1초 미만, 대형 모델에서도 5초 이내의 실행 시간을 기록한다.

상세 분석

Henshin은 EMF 모델을 직접 수정하는 인플레이스 변환을 지원하는 선언적 그래프 변환 언어이다. 논문에서는 Henshin의 핵심 개념인 왼쪽 패턴(LHS)과 오른쪽 패턴(RHS)으로 구성된 규칙, 양성·음성 적용 조건(PAC·NAC), 속성 계산, 그리고 다양한 제어 유닛(순차, 조건, 우선순위, 카운트, 합성) 등을 활용한다. 변환 전체는 단일 순차 유닛인 Start에서 시작되며, 여기서 init 규칙으로 StateMachine 객체와 “State”라는 이름의 Class 객체를 매핑한다. 이후 StatesLoop 카운트 유닛은 재귀적으로 Class 계층을 탐색해 비추상 클래스마다 State 객체를 생성한다. 이 과정에서 createState 규칙은 이미 변환된 클래스는 트레이스 객체로 표시해 중복 생성을 방지하고, checkClassHasChild 규칙은 자식 클래스를 찾아 재귀 호출을 유도한다. 전이 생성 단계는 TransitionsLoop 유닛과 내부 DescendLoop 유닛으로 구성된다. 여기서는 ClassMethod와 ExpressionStatement를 따라 내려가며 메서드 호출 구조를 분석하고, createTransition 규칙을 통해 source와 target 상태를 연결하는 Transition 객체를 만든다. 트레이스 객체는 방문한 구문을 표시하고, 이후 updateActions 규칙에서 send() 호출을 찾아 액션 속성을 적절히 수정한다. Henshin이 리스트가 아닌 집합 연산만 지원하므로, 트레이스 모델을 별도 객체로 두어 반복을 시뮬레이션한다는 설계 선택이 눈에 띈다. 또한, Henshin의 다양한 편집기(트리, 복합 규칙, 통합 규칙)를 활용해 모델을 시각화하고, 파라미터 매핑을 통해 객체 흐름을 명시한다. 성능 평가에서는 Core2Duo 2GHz 환경에서 소형·중형·대형 모델에 대해 각각 1초 미만, 1초 미만, 약 5초의 실행 시간을 보고하며, 이는 인플레이스 변환의 효율성을 입증한다. 논문은 향후 트레이스 사용을 없애기 위한 리스트 지원 확대와 단일 통합 편집기 제공 계획을 제시한다.