Modelling and analysis using GROOVE

Authors:
Amir Hossein Ghamarian;Maarten de Mol;Arend Rensink;Eduardo Zambon;Maria Zimakova
Affiliations:
University of Twente, Department of Computer Science, Enschede, The Netherlands;University of Twente, Department of Computer Science, Enschede, The Netherlands;University of Twente, Department of Computer Science, Enschede, The Netherlands;University of Twente, Department of Computer Science, Enschede, The Netherlands;University of Twente, Department of Computer Science, Enschede, The Netherlands
Venue:
International Journal on Software Tools for Technology Transfer (STTT)
Year:
2012

Citing 0
Cited 7

A metamodelling approach to behavioural modelling

Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Formal verification techniques for model transformations specified by-demonstration

Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Knowledge-Based graph exploration analysis

AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Exploiting over- and under-approximations for infinite-state counterpart models

ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Pattern-based graph abstraction

ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Specification and verification of modal properties for structured systems

ICGT'12 Proceedings of the 6th international conference on Graph Transformations
A survey and comparison of transformation tools based on the transformation tool contest

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

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.