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
In this paper we present the philosophy behind the GROOVE project, in which graph transformation is ...
Abstract. Refactoring of UML class diagrams is an emerging research topic and heavily inspired by re...
In this paper we discuss the implementation of neighbourhood graph abstraction in the GROOVE tool se...
In this report we present our solution for the Topology Analysis case study of the Transformation To...
In this paper we present case studies that describe how the graph transformation tool GROOVE has bee...
<p>This dataset contains on the one hand the actual Groove patterns for Refactoring Reconstruction o...
The tool described here is the first part of a tool set called GROOVE (GRaph-based Object-Oriented V...
This report presents a solution to the Hello World case study [2] using GROOVE. We provide and expla...
Abstract: Graph pattern matching is among the most costly operations in any graph transformation sys...
Graph pattern matching is among the most costly operations in any graph transformation system. Incre...
We present a detailed solution to the N-queens puzzle using GROOVE, a graph transformation tool espe...
Abstract: We present a detailed solution to the N-queens puzzle using GROOVE, a graph transformation...
This report presents a partial solution to the Compiler Optimisation case study using GROOVE. We exp...
This case study is an update-in-place refactoring transformation on UML class diagrams. Its aim is t...
In this paper we present a solution of a model transformation between two standard languages for bus...
In this paper we present the philosophy behind the GROOVE project, in which graph transformation is ...
Abstract. Refactoring of UML class diagrams is an emerging research topic and heavily inspired by re...
In this paper we discuss the implementation of neighbourhood graph abstraction in the GROOVE tool se...
In this report we present our solution for the Topology Analysis case study of the Transformation To...
In this paper we present case studies that describe how the graph transformation tool GROOVE has bee...
<p>This dataset contains on the one hand the actual Groove patterns for Refactoring Reconstruction o...
The tool described here is the first part of a tool set called GROOVE (GRaph-based Object-Oriented V...
This report presents a solution to the Hello World case study [2] using GROOVE. We provide and expla...
Abstract: Graph pattern matching is among the most costly operations in any graph transformation sys...
Graph pattern matching is among the most costly operations in any graph transformation system. Incre...
We present a detailed solution to the N-queens puzzle using GROOVE, a graph transformation tool espe...
Abstract: We present a detailed solution to the N-queens puzzle using GROOVE, a graph transformation...
This report presents a partial solution to the Compiler Optimisation case study using GROOVE. We exp...
This case study is an update-in-place refactoring transformation on UML class diagrams. Its aim is t...
In this paper we present a solution of a model transformation between two standard languages for bus...
In this paper we present the philosophy behind the GROOVE project, in which graph transformation is ...
Abstract. Refactoring of UML class diagrams is an emerging research topic and heavily inspired by re...
In this paper we discuss the implementation of neighbourhood graph abstraction in the GROOVE tool se...