Paper Info
Title
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
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.
Year
DOI
Venue
2007
10.1007/978-3-540-89020-1_36
AGTIVE
Keywords
Field
DocType
formal csp,various graph transformation tool,model transformation,high-level uml activity diagram,compact practical model transformation,case study,intuitive mechanism,current paper,uml models,tool contest,graph transformation,graph transformation tools,mathematical analysis,activity diagram
Model transformation,Unified Modeling Language,Algorithm,Theoretical computer science,Activity diagram,Graph rewriting,Mathematics
Conference
Volume
ISSN
Citations 
5088
0302-9743
22
PageRank 
References 
Authors
1.20
14
12
Name
Order
Citations
PageRank
Dániel Varró11682118.10
Márk Asztalos210810.94
Dénes Bisztray3916.23
Artur Boronat428614.20
Duc-Hanh Dang56211.61
Rubino Geiß619012.61
Joel Greenyer722420.36
Pieter Van Gorp873646.91
Ole Kniemeyer9838.01
Anantha Narayanan1029719.04
Edgars Rencis11539.07
Erhard Weinell12292.87