Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
| Title | Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D-H., Geiss, R., Greenyer, J., Gorp, P V., Kniemeyer, O., Narayanan, A., Rencis, E., and Weinell, E. |
| Editor | Schürr, A., Nagl, M., and Zündorf, A. |
| Conference Name | Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007) |
| Publisher | Springer |
| Keywords | Viatra |
| 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. |
