Back to Search
Start Over
Transformation of UML models to CSP : a case study for graph transformation tools
- Source :
- Applications of Graph Transformations with Industrial Relevance ISBN: 9783540890195, AGTIVE, Proceedrings of the third international symposium on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2007), October 10-12, 2007, Kassel, Germany, 540-565, STARTPAGE=540;ENDPAGE=565;TITLE=Proceedrings of the third international symposium on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2007), October 10-12, 2007, Kassel, Germany
- Publication Year :
- 2008
-
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.
Details
- Language :
- English
- ISBN :
- 978-3-540-89019-5
- ISSN :
- 03029743
- ISBNs :
- 9783540890195
- Database :
- OpenAIRE
- Journal :
- Proceedrings of the third international symposium on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2007), October 10-12, 2007, Kassel, Germany
- Accession number :
- edsair.doi.dedup.....aa1dd78eeac05de27cda305e4d6e1f74
- Full Text :
- https://doi.org/10.1007/978-3-540-89020-1_36