Transformation of UML models to CSP: A case study for graph transformation tools
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.
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.
[PDF][PDF] Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
RG Dang, J Greenyer, P Van Gorp, O Kniemeyer… - Citeseer
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.
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.
以上显示的是最相近的搜索结果。 查看全部搜索结果