Modelling and Analysis Using GROOVE

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

Research output: Book/ReportReportProfessional

81 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 languageUndefined
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Number of pages23
Publication statusPublished - Apr 2010

Publication series

NameCTIT Technical Report Series
PublisherCentre 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

Cite this

Ghamarian, A. H., de Mol, M. J., Rensink, A., Zambon, E., & Zimakova, M. V. (2010). Modelling and Analysis Using GROOVE. (CTIT Technical Report Series; No. TR-CTIT-10-18). Enschede: Centre for Telematics and Information Technology (CTIT).
Ghamarian, A.H. ; de Mol, M.J. ; Rensink, Arend ; Zambon, Eduardo ; Zimakova, M.V. / Modelling and Analysis Using GROOVE. Enschede : Centre for Telematics and Information Technology (CTIT), 2010. 23 p. (CTIT Technical Report Series; TR-CTIT-10-18).
@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 = "4",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-10-18",
address = "Netherlands",

}

Ghamarian, AH, de Mol, MJ, Rensink, A, Zambon, E & Zimakova, MV 2010, Modelling and Analysis Using GROOVE. CTIT Technical Report Series, no. TR-CTIT-10-18, Centre for Telematics and Information Technology (CTIT), Enschede.

Modelling and Analysis Using GROOVE. / Ghamarian, A.H.; de Mol, M.J.; Rensink, Arend; Zambon, Eduardo; Zimakova, M.V.

Enschede : Centre for Telematics and Information Technology (CTIT), 2010. 23 p. (CTIT Technical Report Series; No. TR-CTIT-10-18).

Research output: Book/ReportReportProfessional

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 -

Ghamarian AH, de Mol MJ, Rensink A, Zambon E, Zimakova MV. Modelling and Analysis Using GROOVE. Enschede: Centre for Telematics and Information Technology (CTIT), 2010. 23 p. (CTIT Technical Report Series; TR-CTIT-10-18).