Modelling and analysis using GROOVE

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

    Research output: Contribution to journalArticleAcademicpeer-review

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

    Keywords

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

    Fingerprint Dive into the research topics of 'Modelling and analysis using GROOVE'. Together they form a unique fingerprint.

  • Cite this