Modelling and analysis using GROOVE

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

Research output: Contribution to journalArticleAcademicpeer-review

70 Citations (Scopus)

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
Pages (from-to)15-40
Number of pages26
JournalInternational journal on software tools for technology transfer
Volumeonline pre
Issue number1
DOIs
Publication statusPublished - Feb 2012

Keywords

  • EWI-20208
  • Graph-based modelling · Graph transformation · Tool application · Model transformation · State space exploration
  • IR-77423
  • METIS-277655

Cite this

Ghamarian, A.H. ; de Mol, M.J. ; Rensink, Arend ; Zambon, Eduardo ; Zimakova, M.V. / Modelling and analysis using GROOVE. In: International journal on software tools for technology transfer. 2012 ; Vol. online pre, No. 1. pp. 15-40.
@article{bce75893bceb48fe9dc16e078d878776,
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-20208, Graph-based modelling · Graph transformation · Tool application · Model transformation · State space exploration, IR-77423, METIS-277655",
author = "A.H. Ghamarian and {de Mol}, M.J. and Arend Rensink and Eduardo Zambon and M.V. Zimakova",
note = "10.1007/s10009-011-0186-x",
year = "2012",
month = "2",
doi = "10.1007/s10009-011-0186-x",
language = "Undefined",
volume = "online pre",
pages = "15--40",
journal = "International journal on software tools for technology transfer",
issn = "1433-2779",
publisher = "Springer",
number = "1",

}

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

In: International journal on software tools for technology transfer, Vol. online pre, No. 1, 02.2012, p. 15-40.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

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.

N1 - 10.1007/s10009-011-0186-x

PY - 2012/2

Y1 - 2012/2

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-20208

KW - Graph-based modelling · Graph transformation · Tool application · Model transformation · State space exploration

KW - IR-77423

KW - METIS-277655

U2 - 10.1007/s10009-011-0186-x

DO - 10.1007/s10009-011-0186-x

M3 - Article

VL - online pre

SP - 15

EP - 40

JO - International journal on software tools for technology transfer

JF - International journal on software tools for technology transfer

SN - 1433-2779

IS - 1

ER -