Publication
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
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Web of Science
Record
Identification
Creation 01.03.2012
Last edited 12.06.2017
To cite this reference