Modelling and Analysis Using GROOVE

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

    Research output: Book/ReportReportProfessional

    118 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).