1. Transformation of UML models to CSP : a case study for graph transformation tools
- Author
-
Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D., Geiß, R., Greenyer, J., Van Gorp, P.M.E., Kniemeyer, O., Narayanan, A., Rencis, E., Weinell, E., Schürr, A., Nagl, M., Zündorf, A., and Information Systems IE&IS
- Subjects
Graph rewriting ,Transformation (function) ,Current (mathematics) ,Unified Modeling Language ,Programming language ,Carry (arithmetic) ,Model transformation ,Activity diagram ,computer.software_genre ,computer ,Algorithm ,computer.programming_language ,Mathematics - 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.
- Published
- 2008
- Full Text
- View/download PDF