%0 Book Section %1 varro_transformation_2008 %A Varró, Dániel %A Asztalos, Márk %A Bisztray, Dénes %A Boronat, Artur %A Dang, Duc-Hanh %A Geiß, Rubino %A Greenyer, Joel %A Van Gorp, Pieter %A Kniemeyer, Ole %A Narayanan, Anantha %A Rencis, Edgars %A Weinell, Erhard %B Applications of Graph Transformations with Industrial Relevance %D 2008 %E Schürr, Andy %E Nagl, Manfred %E Zündorf, Albert %I Springer Berlin / Heidelberg %K imported %P 540--565 %T Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools %U http://dx.doi.org/10.1007/978-3-540-89020-1_36 %V 5088 %X 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. %@ 978-3-540-89019-5

@incollection{varro_transformation_2008, 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 [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.}, added-at = {2013-02-28T11:13:35.000+0100}, author = {Varr{\'o}, D{\'a}niel and Asztalos, M{\'a}rk and Bisztray, D{\'e}nes and Boronat, Artur and Dang, {Duc-Hanh} and Gei{\ss}, Rubino and Greenyer, Joel and {Van Gorp}, Pieter and Kniemeyer, Ole and Narayanan, Anantha and Rencis, Edgars and Weinell, Erhard}, biburl = {https://www.bibsonomy.org/bibtex/259011a0b89ecef4451f725d6a501702a/fritzsolms}, booktitle = {{Applications of Graph Transformations with Industrial Relevance}}, editor = {Sch{\"u}rr, Andy and Nagl, Manfred and Z{\"u}ndorf, Albert}, interhash = {1026f8e3eb69ceb488d8c939449116f3}, intrahash = {59011a0b89ecef4451f725d6a501702a}, isbn = {978-3-540-89019-5}, keywords = {imported}, lccn = {0000}, note = {10.1007/978-3-540-89020-1\_36}, pages = {540--565}, publisher = {Springer Berlin / Heidelberg}, series = {{Lecture Notes in Computer Science}}, timestamp = {2013-02-28T11:14:10.000+0100}, title = {{Transformation of {UML} Models to {CSP:} A Case Study for Graph Transformation Tools}}, url = {http://dx.doi.org/10.1007/978-3-540-89020-1_36}, volume = 5088, year = 2008 }