Modelling and analysis using GROOVE

Ghamarian, Amir Hossein and Mol de, Maarten and Rensink, Arend and Zambon, Eduardo and Zimakova, Maria (2011) Modelling and analysis using GROOVE. International Journal on Software Tools for Technology Transfer (STTT) . ISSN 1433-2779

PDF
Restricted to UT campus only: Request a copy
1301Kb

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.
Item Type:	Article
Copyright:	© 2011 Springer
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/77423
Official URL:	http://dx.doi.org/10.1007/s10009-011-0186-x
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Repository Staff Only: item control page