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.
Original languageUndefined
Title of host publicationProceedings Sixth Transformation Tool Contest
EditorsP. Van Gorp, L.M. Rose, C. Krause
PublisherarXiv.org
Pages83-87
Number of pages5
DOIs
StatePublished - Nov 2013

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherarXiv.org
Volume135
ISSN (Print)2075-2180
ISSN (Electronic)2075-2180

Keywords

  • EWI-24062
  • Graph TransformationTool ContestGROOVE
  • Tool Contest
  • METIS-300204
  • GROOVE
  • Graph Transformation
  • IR-88462

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). arXiv.org. DOI: 10.4204/EPTCS.135.10

Smid, Wietse; Rensink, Arend / Class diagram restructuring with GROOVE.

Proceedings Sixth Transformation Tool Contest. ed. / P. Van Gorp; L.M. Rose; C. Krause. arXiv.org, 2013. p. 83-87 (Electronic Proceedings in Theoretical Computer Science; Vol. 135).

Research output: Scientific - peer-reviewConference contribution

@inbook{9c2201c3945e48b5b7e7a52a129b3bfb,
title = "Class diagram restructuring with GROOVE",
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.",
keywords = "EWI-24062, Graph TransformationTool ContestGROOVE, Tool Contest, METIS-300204, GROOVE, Graph Transformation, IR-88462",
author = "Wietse Smid and Arend Rensink",
note = "10.4204/EPTCS.135.10",
year = "2013",
month = "11",
doi = "10.4204/EPTCS.135.10",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "arXiv.org",
pages = "83--87",
editor = "{Van Gorp}, P. and L.M. Rose and C. Krause",
booktitle = "Proceedings Sixth Transformation Tool Contest",

}

Smid, W & Rensink, A 2013, Class diagram restructuring with GROOVE. in P Van Gorp, LM Rose & C Krause (eds), Proceedings Sixth Transformation Tool Contest. Electronic Proceedings in Theoretical Computer Science, vol. 135, arXiv.org, pp. 83-87. DOI: 10.4204/EPTCS.135.10

Class diagram restructuring with GROOVE. / Smid, Wietse; Rensink, Arend.

Proceedings Sixth Transformation Tool Contest. ed. / P. Van Gorp; L.M. Rose; C. Krause. arXiv.org, 2013. p. 83-87 (Electronic Proceedings in Theoretical Computer Science; Vol. 135).

Research output: Scientific - peer-reviewConference contribution

TY - CHAP

T1 - Class diagram restructuring with GROOVE

AU - Smid,Wietse

AU - Rensink,Arend

N1 - 10.4204/EPTCS.135.10

PY - 2013/11

Y1 - 2013/11

N2 - 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.

AB - 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.

KW - EWI-24062

KW - Graph TransformationTool ContestGROOVE

KW - Tool Contest

KW - METIS-300204

KW - GROOVE

KW - Graph Transformation

KW - IR-88462

U2 - 10.4204/EPTCS.135.10

DO - 10.4204/EPTCS.135.10

M3 - Conference contribution

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 83

EP - 87

BT - Proceedings Sixth Transformation Tool Contest

PB - arXiv.org

ER -

Smid W, Rensink A. Class diagram restructuring with GROOVE. In Van Gorp P, Rose LM, Krause C, editors, Proceedings Sixth Transformation Tool Contest. arXiv.org. 2013. p. 83-87. (Electronic Proceedings in Theoretical Computer Science). Available from, DOI: 10.4204/EPTCS.135.10