%0 Book Section %1 varr'o_08_transformation %A Varr'o, D'aniel %A Asztalos, M'ark %A Bisztray, D'enes %A Boronat, Artur %A Dang, Duc-Hanh %A Geiss, Rubino %A Greenyer, Joel %A Gorp, Pieter Van %A Kniemeyer, Ole %A Narayanan, Anantha %A Rencis, Edgars %A Weinell, Erhard %D 2008 %J Applications of Graph Transformations with Industrial Relevance %K 2008 graph_transformation csp uml %P 540--565 %R 10.1007/978-3-540-89020-1_36 %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 %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.

@incollection{varr'o_08_transformation, 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 = {2009-02-11T20:46:52.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 Gorp, Pieter Van and Kniemeyer, Ole and Narayanan, Anantha and Rencis, Edgars and Weinell, Erhard}, biburl = {https://www.bibsonomy.org/bibtex/298fb55bc98d9e3124d094f36262af1cb/leonardo}, citeulike-article-id = {3475184}, doi = {10.1007/978-3-540-89020-1_36}, interhash = {8f71ff78a2cf6454753c190949ed02be}, intrahash = {98fb55bc98d9e3124d094f36262af1cb}, journal = {Applications of Graph Transformations with Industrial Relevance}, keywords = {2008 graph_transformation csp uml}, pages = {540--565}, posted-at = {2008-12-12 13:40:02}, priority = {2}, timestamp = {2009-02-11T20:46:52.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}, year = 2008 }