Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
| Cím | Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2008 |
| Szerzők | 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. |
| Szerkesztő | Schürr, A., Nagl, M., and Zündorf, A. |
| Konferencia neve | Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007) |
| Kiadó | Springer |
| Kulcsszavak | Viatra |
| Összefoglalás | 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. |
