Class Diagram Restructuring with GROOVE
This is an incremental contribution for researchers in software engineering and model transformation, focusing on a specific case study with limited scalability.
The paper tackled the problem of restructuring class diagrams using the GROOVE visual rule formalism, which enabled concise formulation of the required transformations, but the solution did not scale well in terms of performance.
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.