Universität Karlsruhe
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
@conference{Var:08,
  author={Rubino Geiß and Dániel Varró and Márk Asztalos and Dénes Bisztray and Artur Boronat and  Duc-Hanh Dang and Joel Greenyer and Pieter Van Gorp Ole Kniemeyer and Anantha Narayanan and Edgars Rencis et al},
  title=\{Transformation of UML Models to CSP:
A Case Study for Graph Transformation Tools},
  booktitle=\{Proc. 3rd Intl. Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE '07)},
  year=\{2008},
  publisher=\{Springer},
  volume=\{NN},
  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. 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.},
  editor=\{A. Schürr and M. Nagl and A. Zündorf},
  series=\{LNCS},
}

Login
Links