Loading...
Please wait, while we are loading the content...
Similar Documents
VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models (2002)
| Content Provider | CiteSeerX |
|---|---|
| Author | Csertan, Gyorgy Huszerl, Gabor Majzik, Istvan Pap, Zsigmond Pataricza, Andras Varro, Daniel Varró, Dániel |
| Description | 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. |
| File Format | |
| Language | English |
| Publisher Date | 2002-01-01 |
| Access Restriction | Open |
| Subject Keyword | Unified Modeling Language Several Benchmark Application Software Architecture Dependability Requirement Formal Methodology Viatra Framework Graph Transformation Current Paper Formal Verification Major Design Goal Visual Automated Model Transformation Viatra Visual Automated Transformation Uml Model Xmi Standard Validation Environment Transformation-based Verification |
| Content Type | Text |
| Resource Type | Article |
