Modelling and analysis using GROOVE

Amir Hossein Ghamarian; Maarten de Mol; Arend Rensink; Eduardo Zambon; Maria Zimakova

doi:10.1007/s10009-011-0186-x

Modelling and analysis using GROOVE

Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon, Maria Zimakova

Research output: Contribution to journal › Article › Academic › peer-review

117 Citations (Scopus)

19 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	English
Pages (from-to)	15-40
Number of pages	26
Journal	International journal on software tools for technology transfer
Volume	14
DOIs	https://doi.org/10.1007/s10009-011-0186-x
Publication status	Published - Feb 2012

Keywords

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

Access to Document

10.1007/s10009-011-0186-x

Cite this

@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 = "Graph-based modelling, Graph transformation, Tool application, Model transformation, State space exploration",

author = "Ghamarian, {Amir Hossein} and {de Mol}, Maarten and Arend Rensink and Eduardo Zambon and Maria Zimakova",

year = "2012",

month = feb,

doi = "10.1007/s10009-011-0186-x",

language = "English",

volume = "14",

pages = "15--40",

journal = "International journal on software tools for technology transfer",

issn = "1433-2779",

publisher = "Springer",

}

TY - JOUR

T1 - Modelling and analysis using GROOVE

AU - Ghamarian, Amir Hossein

AU - de Mol, Maarten

AU - Rensink, Arend

AU - Zambon, Eduardo

AU - Zimakova, Maria

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 - Graph-based modelling

KW - Graph transformation

KW - Tool application

KW - Model transformation

KW - State space exploration

U2 - 10.1007/s10009-011-0186-x

DO - 10.1007/s10009-011-0186-x

M3 - Article

SN - 1433-2779

VL - 14

SP - 15

EP - 40

JO - International journal on software tools for technology transfer

JF - International journal on software tools for technology transfer

ER -

Modelling and analysis using GROOVE

Abstract

Keywords

Access to Document

Fingerprint

Cite this