A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
[chapter]
2008
Lecture Notes in Computer Science
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.
doi:10.1007/978-3-540-89020-1_36
fatcat:xwbyon5u6vc5rh6eg2o5y476uy