|
Title
|
|
|
|
Transformation of UML models to CSP : a case study for graph transformation tools
| |
|
Author
|
|
|
|
| |
|
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. |
| |
|
Language
|
|
|
|
English
| |
|
Source (journal)
|
|
|
|
Lecture notes in computer science. - Berlin, 1973, currens
| |
|
Source (book)
|
|
|
|
3rd International Symposium on Applications of Graph Transformations, with Industrial Relevance, October 10-12, 2007, Kassel, Germany
| |
|
Publication
|
|
|
|
Berlin
:
Springer
,
2008
| |
|
ISBN
|
|
|
|
978-3-540-89019-5
| |
|
Volume/pages
|
|
|
|
5088
(2008)
, p. 540-565
| |
|
ISI
|
|
|
|
000262477700036
| |
|