Universität Karlsruhe
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools

Konferenzartikel

[Var:08]Rubino Geiß, Dániel Varró and Márk Asztalos and Dénes Bisztray and Artur Boronat and Duc-Hanh Dang and Joel Greenyer and Pieter Van Gorp Ole Kniemeyer and Anantha Narayanan and Edgars Rencis et al, Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools, A. Schürr and M. Nagl and A. Zündorf (Ed.), Proc. 3rd Intl. Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE '07), Springer, 2008.

Zusammenfassung

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.

[Erzeuge bibTeX Eintrag]

Autoren

Alumni
Dr. Rubino Geiß
Login
Links