UML2CSP
This page contains practical information on the MoTMoT solution to the UML-to-CSP model transformation benchmark of the AGTiVE Graph Transformation Tool Contest.
- The solution is described in quite some detail in the following paper:
Executing a Platform Independent Model of the UML-to-CSP Transformation on a Commercial Platform. Pieter Van Gorp, Olaf Muliawan, Anne Keller, Dirk Janssens. Submitted to the Graph Transformation Tool Contest of the third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007).
- A short overview of the UML2CSP case can be found in the following paper:
Executing a Standard Compliant Transformation Model on a Non-standard Platform. Olaf Muliawan, Pieter Van Gorp, Anne Keller, Dirk Janssens. Accepted on the Workshop on Modeling, Validation and Heterogeneity (MoVaH) at the First IEEE International Conference on Software Testing, verification and validation (ICST). BibTeX reference.
- Standalone version of the MoTMoT UML2CSP solution: downloads, installs and runs all software related to the case study solution... The script has been tested on several Linux systems and on OS X. In general, it only requires bash (or kornshell), perl and wget (or curl). A windows .bat variant has not yet been constructed. Please refer to the alternative installation method (described below) when using Windows.
- uml2csp.tar.gz: archive used by the standalone script described above. Please refer to the README.txt contained in the archive for "manual installation" instructions. Note that the sample is also contained in the latest CVS version of MoTMoT.
However, the CVS version requires you to compile the MoTMoT engine yourself while uml2csp.tar.gz uses an online binary of MoTMoT that has been explicitly tested by the MoTMoT developers.
|
