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. © 2008 Springer Berlin Heidelberg.
Cite
CITATION STYLE
Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D. H., Geiß, R., … Weinell, E. (2008). Transformation of UML models to CSP: A case study for graph transformation tools. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5088 LNCS, pp. 540–565). Springer Verlag. https://doi.org/10.1007/978-3-540-89020-1_36
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
