|
Published Articles >> Table of Contents >> Abstract
17th IEEE International Conference on Automated Software Engineering (ASE'02)
p. 267
VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models
Gyorgy Csertan, Budapest University of Technology and Economics
Gabor Huszerl, Budapest University of Technology and Economics
Istvan Majzik, Budapest University of Technology and Economics
Zsigmond Pap, Budapest University of Technology and Economics
Andras Pataricza, Budapest University of Technology and Economics
Daniel Varro, Budapest University of Technology and Economics
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2002.1115027
Send link to a friend
| Abstract |
|
The VIATRA (VIsual Automated model TRAnsformations) framework is the core of a transformation-based veri-fication and validation environment for improving the quality of systems designed using the Unified Modeling Language by automatically checking consistency, completeness, and dependability requirements. In the current paper, we present an overview of (i) the major design goals and decisions, (ii) the underlying formal methodology based on metamodeling and graph transformation (iii) the software architecture based upon the XMI standard, (iv) and several benchmark applications of the VIATRA framework.
|
 Additional Information
|
Citation:
Gyorgy Csertan, Gabor Huszerl, Istvan Majzik, Zsigmond Pap, Andras Pataricza, Daniel Varro,
"VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models,"
ase,
p. 267,
17th IEEE International Conference on Automated Software Engineering (ASE'02),
2002
|
|
