VIATRA - visual automated transformations for formal verification and validation of UML models
VIATRA - visual automated transformations for formal verification and validation of UML models
复制标题
VIATRA - 用于 UML 模型的形式验证和确认的可视化自动转换
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
Dániel Varró
中科院分区：
文献类型：
--
作者：
G. Csertán;G. Huszerl;I. Majzik;Zsigmond Pap;A. Pataricza;Dániel Varró
VIATRA（视觉自动模型转换）框架是基于转换的验证和验证环境的核心，该验证环境通过自动检查一致性，完整性和可靠性要求来改善使用统一建模语言设计的系统质量。在当前的论文中，我们概述了（i）主要的设计目标和决策，（ii）基于元模块和图形转换的基本形式方法，（iii）基于XMI标准的软件体系结构，以及（iv） VIATRA框架的几个基准应用。
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.