English

Class Diagram Restructuring with GROOVE

Logic in Computer Science 2013-12-03 v1 Software Engineering

Abstract

This paper describes the GROOVE solution to the "Class Diagram Restructuring" case study of the Tool Transformation Contest 2013. We show that the visual rule formalism enables the required restructuring to be formulated in a very concise manner. Moreover, the GROOVE functionality for state space exploration allows checking confluence. Performance-wise, however, the solution does not scale well.

Cite

@article{arxiv.1312.0350,
  title  = {Class Diagram Restructuring with GROOVE},
  author = {Wietse Smid and Arend Rensink},
  journal= {arXiv preprint arXiv:1312.0350},
  year   = {2013}
}

Comments

In Proceedings TTC 2013, arXiv:1311.7536

R2 v1 2026-06-22T02:18:39.860Z