Modelling and Analysis Using GROOVE

A.H. Ghamarian; M.J. de Mol; Arend Rensink; Eduardo Zambon; M.V. Zimakova

Modelling and Analysis Using GROOVE

A.H. Ghamarian, M.J. de Mol, Arend Rensink, Eduardo Zambon, M.V. Zimakova

Research output: Book/Report › Report › Professional

488 Downloads (Pure)

Abstract

In this paper we present case studies that describe how the graph transformation tool GROOVE has been used to model problems from a wide variety of domains. These case studies highlight the wide applicability of GROOVE in particular, and of graph transformation in general. They also give concrete templates for using GROOVE in practice. Furthermore, we use the case studies to analyse the main strong and weak points of GROOVE.

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	23
Publication status	Published - Apr 2010

Publication series

Name	CTIT Technical Report Series
Publisher	Centre for Telematics and Information Technology, University of Twente
No.	TR-CTIT-10-18
ISSN (Print)	1381-3625

Keywords

EWI-17830
Graph Transformation
METIS-270801
GROOVE
IR-71274

Access to Document

Cite this

@book{0d4f0159cf8046d49760e9b68ac2511f,

title = "Modelling and Analysis Using GROOVE",

abstract = "In this paper we present case studies that describe how the graph transformation tool GROOVE has been used to model problems from a wide variety of domains. These case studies highlight the wide applicability of GROOVE in particular, and of graph transformation in general. They also give concrete templates for using GROOVE in practice. Furthermore, we use the case studies to analyse the main strong and weak points of GROOVE.",

keywords = "EWI-17830, Graph Transformation, METIS-270801, GROOVE, IR-71274",

author = "A.H. Ghamarian and {de Mol}, M.J. and Arend Rensink and Eduardo Zambon and M.V. Zimakova",

year = "2010",

month = apr,

language = "Undefined",

series = "CTIT Technical Report Series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "TR-CTIT-10-18",

address = "Netherlands",

}

TY - BOOK

T1 - Modelling and Analysis Using GROOVE

AU - Ghamarian, A.H.

AU - de Mol, M.J.

AU - Rensink, Arend

AU - Zambon, Eduardo

AU - Zimakova, M.V.

PY - 2010/4

Y1 - 2010/4

N2 - In this paper we present case studies that describe how the graph transformation tool GROOVE has been used to model problems from a wide variety of domains. These case studies highlight the wide applicability of GROOVE in particular, and of graph transformation in general. They also give concrete templates for using GROOVE in practice. Furthermore, we use the case studies to analyse the main strong and weak points of GROOVE.

AB - In this paper we present case studies that describe how the graph transformation tool GROOVE has been used to model problems from a wide variety of domains. These case studies highlight the wide applicability of GROOVE in particular, and of graph transformation in general. They also give concrete templates for using GROOVE in practice. Furthermore, we use the case studies to analyse the main strong and weak points of GROOVE.

KW - EWI-17830

KW - Graph Transformation

KW - METIS-270801

KW - GROOVE

KW - IR-71274

M3 - Report

T3 - CTIT Technical Report Series

BT - Modelling and Analysis Using GROOVE

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -