Release notes:
The main objective of the VIATRA2 (VIsual Automated model TRAnsformations) framework is to provide a general-purpose support for the entire life-cycle of engineering model transformations including the specification, design, execution, validation and maintenance of transformations within and between various modeling languages and domains.
VIATRA2 intends to complement existing model transformation frameworks in providing
This wiki (with sub pages) is intended to serve as the primary source of documentation related to VIATRA2.
For older documentation, you can refer to the official page, which has details on the available documentation. In short, the following off-line documentation is available:
For a list of the most important research papers on VIATRA2, see VIATRA2/ResearchPapers
You can find introductory information on getting stared with VIATRA2 on the Getting Started pages. {{:VIATRA2/GettingStarted}}
VIATRA2 primarily aims at designing model transformations to support the precise model-based systems development with the help of invisible formal methods. Invisible formal methods are hidden by automated model transformations projecting system models into various mathematical domains (and, preferably, vice versa). In this way, VIATRA2 nicely complements other model transformation tools within the GMT initiative.
The most traditional application area for VIATRA2 – started as early as 1998 – is to support the transformation-based dependability analysis of system models taken from various application areas (safety-critical and/or embedded systems, robust e-business applications, middleware, serviceoriented architecture) described using various modeling languages (BPM, UML, etc.) during a model-driven systems engineering process. Such a model (and transformation)-based dependability analysis typically also includes the verification & validation, the testing, the safety and security analysis as well as the early assessment non-functional characteristics (such as reliability, availability, responsiveness, throughput, etc.) of the system under design. In addition, model transformations for specification, design, deployment, optimization or code generation in traditional model-driven systems engineering are also focal areas for VIATRA2.
The VIATRA framework is a universal model transformation tool, in the sense that it supports a number of typical use-cases in MDD:
You can find the detailed description of the transformation language of VIATRA2 here: VIATRA2/Transformation_Language
VIATRA2 supports a number of advanced techniques for transformation development.
For further information on general best practices, see VIATRA2/UseCases/TransformationBestPractices.
You can find information on user-contributed case studies here: VIATRA2/Case_Studies
We need to point out that the underlying modeling and transformation concepts of VIATRA2 are nonstandard.
VIATRA2 plans to support related standards by offering
The VIATRA2 framework currently served as a key underlying model transformation technology in various research projects including:
We regularly received valuable feedback from the following institutes:
VIATRA2 development is supported by the following institutions and companies:
YourKit is kindly supporting open source projects with its full-featured Java Profiler. YourKit, LLC is the creator of innovative and intelligent tools for profiling Java and .NET applications. Take a look at YourKit's leading software products: YourKit Java Profiler and YourKit .NET Profiler.
Check here for more information. For installation instructions, see VIATRA2/Installation.