Graph transformation provides an intuitive mechanism for capturing model transformations. In the current paper, we investigate
and compare various graph transformation tools using a compact practical model transformation case study carried out as part
of the AGTIVE 2007 Tool Contest [22]. The aim of this case study is to generate formal CSP processes from high-level UML activity
diagrams, which enables to carry out mathematical analysis of the system under design.