@inproceedings {agtive07-toolcontest, title = {Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools}, booktitle = {Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007)}, series = {Lecture Notes in Computer Science}, volume = {5088}, year = {2008}, pages = {540{\textendash}565}, publisher = {Springer}, organization = {Springer}, abstract = {

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

}, keywords = {Viatra}, author = {D{\'a}niel Varr{\'o} and M{\'a}rk Asztalos and D{\'e}nes Bisztray and Artur Boronat and Duc-Hanh Dang and Rubinho Geiss and Joel Greenyer and Pieter Van Gorp and Ole Kniemeyer and Anantha Narayanan and Edgars Rencis and Erhard Weinell}, editor = {Andy Sch{\"u}rr and Manfred Nagl and Albert Z{\"u}ndorf} }