[논문 리뷰] Refactoring Composite to Visitor and Inverse Transformation in Java

Akram Ajouli, Julien Cohen|arXiv (Cornell University)|2011. 12. 19.

Software Engineering Research참고 문헌 20인용 수 5

한 줄 요약

이 논문은 자바 프로그램에서 복합체(Composite) 설계 패턴을 방문자(Visitor) 패턴으로, 그 반대로도 동일한 외부 동작을 유지하면서 변환할 수 있는 체계적이고 도구 기반의 리팩터링 접근법을 제시한다. 주요 기여는 형식적으로 명시된 전환 체계와 인텔리제이 및 엔터프라이즈에서의 자동 리팩터링 작업을 포함하며, JHotDraw 프레임워크에서 정확한 순환 전환 의미론과 사전조건 생성을 검증하였다.

ABSTRACT

We describe how to use refactoring tools to transform a Java program conforming to the Composite design pattern into a program conforming to the Visitor design pattern with the same external behavior. We also describe the inverse transformation. We use the refactoring tool provided by IntelliJ IDEA.

연구 동기 및 목표

• 자바에서 복합체 패턴과 방문자 패턴 간의 자동화된, 동작을 유지하는 전환을 가능하게 하기 위해.
• 순환 정확성(즉, 복합체에서 방문자로의 전환 후 다시 복원하면 원래의 프로그램 구조가 유지됨)을 보장하기 위해.
• 각 전환 단계의 안전성과 정확성을 보장하는 최소한의 사전조건을 생성하기 위해.
• 실제 시스템, 특히 JHotDraw 프레임워크에서 이 접근법을 검증하기 위해.
• 객체지향 시스템에서 패턴 이행을 위한 재사용 가능하고 형식화된 리팩터링 작업 세트를 제공하기 위해.

제안 방법

• 저자들은 복합체 패턴과 방문자 패턴 간의 이중 방향 전환 체계를 정의하며 원자적 리팩터링 작업의 시퀀스를 사용한다.
• 형식화된 전환 체계를 구현하기 위해 인텔리제이 및 엔터프라이즈의 자동 리팩터링 도구를 사용하여 문법적 및 의미적 정확성을 보장한다.
• 전환의 안전성을 확보하기 위해 기호 실행과 정적 분석을 사용하여 최소한의 사전조건을 생성한다.
• 복잡한 클래스 계층과 메서드 중복을 처리하기 위해 33개의 원자적 리팩터링 작업(예: MoveMethod, PullUpImplementation, InlineClass) 세트를 형식적으로 명시한다.
• 매개변수화된 메서드, 다양한 반환 유형, 인터페이스 기반 계층 등 다양한 변형을 지원한다.
• JHotDraw에서 전환 과정을 검증하였으며, 전방 및 역방향 전환을 적용하고 정확성을 검증하였다.

실험 결과

연구 질문

• RQ1 표준 IDE 도구를 사용하여 자바에서 복합체 패턴에서 방문자 패턴으로의 완전한 자동화된, 동작을 유지하는 리팩터링을 달성할 수 있는가?
• RQ2 복합체에서 방문자 패턴으로의 전환을 보장하기 위해 필요한 최소한의 사전조건은 무엇인가?
• RQ3 방문자 패턴에서 복합체 패턴으로의 역방향 전환도 동일한 동작 보장을 갖는가?
• RQ4 매개변수화된 메서드, 다양한 반환 유형, 인터페이스 기반 계층 등 다양한 변형은 전환 과정에 어떤 영향을 미치는가?
• RQ5 JHotDraw와 같은 실세계 시스템에 이 전환 체계를 성공적으로 적용하고 검증할 수 있는가?

주요 결과

• 복합체에서 방문자 패턴으로, 그리고 다시 복원하는 전환 과정에서 외부 동작이 유지되어 순환 정확성이 확인되었다.
• 기본 전환에 대해 최소한의 사전조건을 성공적으로 생성하여 전환의 안전성과 정확성을 보장하였다.
• JHotDraw에 대해 이 접근법을 성공적으로 적용하여 복잡한 클래스 계층을 가진 실세계 응용 프로그램에서의 적용 가능성을 입증하였다.
• 전환 체계는 매개변수화된 메서드, 다양한 반환 유형, 다중 수준 상속과 같은 복잡한 변형을 처리할 수 있었다.
• 형식화된 리팩터링 작업(예: MoveMethod, PullUpImplementation)의 사용으로 코드의 정밀하고 신뢰할 수 있는 재구성 구조화가 가능했다.
• 기호 실행과 정적 분석을 사용하여 생성된 사전조건을 검증하여 전환 파이프라인의 정확성을 확보하였다.