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

被引：76

作者：

Csertán, G ^{[1
]}

Huszerl, G ^{[1
]}

Majzik, I ^{[1
]}

Pap, Z ^{[1
]}

Pataricza, A ^{[1
]}

Varró, D ^{[1
]}

机构：

[1] Budapest Univ Technol & Econ, Dept Measurement & Informat Syst, Budapest, Hungary

来源：

ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING | 2002年

关键词：

D O I：

10.1109/ASE.2002.1115027

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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, (iv) and several benchmark applications of the VIATRA framework.

引用

页码：267 / 270

页数：4

共 11 条

[1]

Bensalem S., 2000, LFM 2000: Fifth NASA Langley Formal Methods Workshop (NASA/CP-2000-210100), P187

[2]

Bondavalli A, 2001, COMPUT SYST SCI ENG, V16, P265

[3]

Engelfriet J., 1997, Handbook of Graph Grammars and Computing by Graph Transformation, V1, P1

[4] The model checker SPIN [J].

Holzmann, GJ .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) :279-295

[5]

Latella D., 1999, Formal Aspects of Computing, V11, P637, DOI 10.1007/s001659970003

[6]

Leveson N., 1995, SAFEWARE SYSTEM SAFE

[7]

*OBJ MAN GROUP, 1999, MET OBJ FAC VERS 1 3

[8]

Pap Z., 2001, LNCS, V2187, P46

[9]

Rumbaugh J.E., 1999, The unified modeling language reference manual, pXVII

[10] Designing the automatic transformation of visual languages [J].

Varró, D ;

Varró, G ;

Pataricza, A .

SCIENCE OF COMPUTER PROGRAMMING, 2002, 44 (02) :205-227

← 1 2 →