Asztalos, Mark

Bisztray, Denes

et al.

Van Gorp, Pieter

Varro, Daniel

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

Transformation of UML models to CSP : a case study for graph transformation tools

Abstract

Similar works

Full text

Available Versions

Institutional Repository Universiteit Antwerpen