The VIATRA (visual automated model transformations) framework is the core of a transformation-based verification 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, and (iv) several benchmark applications of the VIATRA framework.
%0 Conference Paper
%1 csertan_02_viatra
%A Csertan, G.
%A Huszerl, G.
%A Majzik, I.
%A Pap, Z.
%A Pataricza, A.
%A Varr'o, D'aniel
%B Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on
%D 2002
%J Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on
%K model_transformation 2007 uml
%P 267--270
%R 10.1109/ASE.2002.1115027
%T VIATRA - visual automated transformations for formal verification and validation of UML models
%U http://dx.doi.org/10.1109/ASE.2002.1115027
%X The VIATRA (visual automated model transformations) framework is the core of a transformation-based verification 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, and (iv) several benchmark applications of the VIATRA framework.
@inproceedings{csertan_02_viatra,
abstract = {The VIATRA (visual automated model transformations) framework is the core of a transformation-based verification 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, and (iv) several benchmark applications of the VIATRA framework.},
added-at = {2009-02-11T22:24:07.000+0100},
author = {Csertan, G. and Huszerl, G. and Majzik, I. and Pap, Z. and Pataricza, A. and Varr'{o}, D'{a}niel},
biburl = {https://www.bibsonomy.org/bibtex/29e3dd4c310609b1d6d8a7b85e5e49eed/leonardo},
booktitle = {Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on},
citeulike-article-id = {3444423},
doi = {10.1109/ASE.2002.1115027},
interhash = {be4d04c8574681d0f0851b4b4e039887},
intrahash = {9e3dd4c310609b1d6d8a7b85e5e49eed},
journal = {Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on},
keywords = {model_transformation 2007 uml},
pages = {267--270},
posted-at = {2008-10-23 20:49:07},
priority = {2},
timestamp = {2009-02-11T22:24:07.000+0100},
title = {VIATRA - visual automated transformations for formal verification and validation of UML models},
url = {http://dx.doi.org/10.1109/ASE.2002.1115027},
year = 2002
}