VIATRA - Visual automated transformations for formal verification and validation of UML models

G. Csertán, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza, D. Varró

Research output: Chapter in Book/Report/Conference proceedingConference contribution

107 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationProceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages267-270
Number of pages4
ISBN (Electronic)0769517366, 9780769517360
DOIs
Publication statusPublished - 2002
Event17th IEEE International Conference on Automated Software Engineering, ASE 2002 - Edinburgh, United Kingdom
Duration: Sep 23 2002Sep 27 2002

Other

Other17th IEEE International Conference on Automated Software Engineering, ASE 2002
CountryUnited Kingdom
CityEdinburgh
Period9/23/029/27/02

Fingerprint

Unified Modeling Language
Software architecture
Formal verification

ASJC Scopus subject areas

  • Software

Cite this

Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., & Varró, D. (2002). VIATRA - Visual automated transformations for formal verification and validation of UML models. In Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering (pp. 267-270). [1115027] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ASE.2002.1115027

VIATRA - Visual automated transformations for formal verification and validation of UML models. / Csertán, G.; Huszerl, G.; Majzik, I.; Pap, Z.; Pataricza, A.; Varró, D.

Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering. Institute of Electrical and Electronics Engineers Inc., 2002. p. 267-270 1115027.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Csertán, G, Huszerl, G, Majzik, I, Pap, Z, Pataricza, A & Varró, D 2002, VIATRA - Visual automated transformations for formal verification and validation of UML models. in Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering., 1115027, Institute of Electrical and Electronics Engineers Inc., pp. 267-270, 17th IEEE International Conference on Automated Software Engineering, ASE 2002, Edinburgh, United Kingdom, 9/23/02. https://doi.org/10.1109/ASE.2002.1115027
Csertán G, Huszerl G, Majzik I, Pap Z, Pataricza A, Varró D. VIATRA - Visual automated transformations for formal verification and validation of UML models. In Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering. Institute of Electrical and Electronics Engineers Inc. 2002. p. 267-270. 1115027 https://doi.org/10.1109/ASE.2002.1115027
Csertán, G. ; Huszerl, G. ; Majzik, I. ; Pap, Z. ; Pataricza, A. ; Varró, D. / VIATRA - Visual automated transformations for formal verification and validation of UML models. Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering. Institute of Electrical and Electronics Engineers Inc., 2002. pp. 267-270
@inproceedings{95ea7525173a4042afe5ce70c8d5ce08,
title = "VIATRA - Visual automated transformations for formal verification and validation of UML models",
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.",
author = "G. Csert{\'a}n and G. Huszerl and I. Majzik and Z. Pap and A. Pataricza and D. Varr{\'o}",
year = "2002",
doi = "10.1109/ASE.2002.1115027",
language = "English",
pages = "267--270",
booktitle = "Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - VIATRA - Visual automated transformations for formal verification and validation of UML models

AU - Csertán, G.

AU - Huszerl, G.

AU - Majzik, I.

AU - Pap, Z.

AU - Pataricza, A.

AU - Varró, D.

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84982914631&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84982914631&partnerID=8YFLogxK

U2 - 10.1109/ASE.2002.1115027

DO - 10.1109/ASE.2002.1115027

M3 - Conference contribution

AN - SCOPUS:84982914631

SP - 267

EP - 270

BT - Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering

PB - Institute of Electrical and Electronics Engineers Inc.

ER -