[论文解读] Refactoring Composite to Visitor and Inverse Transformation in Java

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

Software Engineering Research参考文献 20被引用 5

一句话总结

本文提出了一种系统化、工具支持的重构方法，用于在Java程序中相互转换使用组合（Composite）设计模式与访问者（Visitor）设计模式的程序，同时保持外部行为不变。其主要贡献是提出了一套形式化指定的转换方案，并在IntelliJ IDEA和Eclipse中实现了自动化重构操作，通过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.

研究动机与目标

• 实现Java中组合模式与访问者模式之间自动化、行为保持不变的转换。
• 确保往返正确性，即从组合模式转换为访问者模式再转换回来后，能恢复原始程序结构。
• 生成最小的前置条件，以保证每一步转换的安全性与正确性。
• 在真实系统（特别是JHotDraw框架）上验证该方法。
• 为面向对象系统中的模式迁移提供可重用、形式化的重构操作集合。

提出的方法

• 作者通过一系列原子重构操作，定义了组合模式与访问者模式之间的双向转换方案。
• 利用IntelliJ IDEA和Eclipse的自动化重构工具实现转换，确保语法与语义正确性。
• 通过符号执行与静态分析生成最小前置条件，以确保转换的安全性。
• 形式化指定了一套33个原子重构操作（如MoveMethod、PullUpImplementation、InlineClass），用于处理复杂的类继承结构与方法重复问题。
• 该方法支持多种变体，如带参数的方法、不同返回类型以及基于接口的继承结构。
• 在JHotDraw上对转换过程进行了验证，正向与反向转换均被应用并确认正确性。

实验结果

研究问题

• RQ1 能否在标准IDE工具下，完全自动化地实现Java中从组合模式到访问者模式的行为保持重构？
• RQ2 确保组合模式到访问者模式转换正确性所需的最小前置条件集合是什么？
• RQ3 能否以相同的行为保障实现从访问者模式到组合模式的逆向转换？
• RQ4 带参数的方法、不同返回类型以及基于接口的继承结构等变体如何影响转换过程？
• RQ5 该转换方案能否在真实世界系统（如JHotDraw）上成功应用并验证？

主要发现

• 从组合模式到访问者模式再返回的转换保持了外部行为，证实了往返正确性。
• 该方法成功生成了基础转换的最小前置条件，确保了转换的安全性与正确性。
• 该方法成功应用于JHotDraw，证明了其在具有复杂类继承结构的真实应用中的可行性。
• 该转换方案能够处理复杂变体，包括带参数的方法、不同返回类型以及多层继承。
• 使用形式化重构操作（如MoveMethod、PullUpImplementation）实现了代码结构的精确且可靠的重构。
• 通过符号执行与静态分析对生成的前置条件进行了验证，确保了转换管道的正确性。