Class diagram restructuring with GROOVE

Wietse Smid, Arend Rensink

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    63 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publicationProceedings Sixth Transformation Tool Contest
    EditorsP. Van Gorp, L.M. Rose, C. Krause
    Number of pages5
    Publication statusPublished - Nov 2013

    Publication series

    NameElectronic Proceedings in Theoretical Computer Science
    ISSN (Print)2075-2180
    ISSN (Electronic)2075-2180


    • Tool Contest
    • GROOVE
    • Graph Transformation

    Cite this

    Smid, W., & Rensink, A. (2013). Class diagram restructuring with GROOVE. In P. Van Gorp, L. M. Rose, & C. Krause (Eds.), Proceedings Sixth Transformation Tool Contest (pp. 83-87). (Electronic Proceedings in Theoretical Computer Science; Vol. 135).