利用 GROOVE 进行类图重构
计算机科学中的逻辑
2013-12-03 v1 软件工程
摘要
本文描述了针对 2013 年工具变换竞赛(Tool Transformation Contest 2013)“类图重构”案例研究的 GROOVE 解决方案。我们表明,可视化规则形式体系能够以非常简洁的方式表述所需的重构。此外,GROOVE 的状态空间探索功能允许检查合流性。然而,在性能方面,该解决方案的可扩展性不佳。
引用
@article{arxiv.1312.0350,
title = {Class Diagram Restructuring with GROOVE},
author = {Wietse Smid and Arend Rensink},
journal= {arXiv preprint arXiv:1312.0350},
year = {2013}
}
备注
In Proceedings TTC 2013, arXiv:1311.7536