Jump to: navigation, search

Difference between revisions of "VIATRA2"

(Project Overview)
Line 15: Line 15:
  
 
== Project Overview ==
 
== Project Overview ==
 
 
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.  
 
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.  
  
Line 32: Line 31:
  
 
== Target Application Domains ==
 
== Target Application Domains ==
 
 
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.
 
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 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.
 
  
 
== Standard conformance ==
 
== Standard conformance ==
 
 
We need to point out that the underlying modeling and transformation concepts of VIATRA2 are nonstandard.
 
We need to point out that the underlying modeling and transformation concepts of VIATRA2 are nonstandard.
 
* the model management framework ([[VIATRA2 Model Space]]) is more expressive than MOF / EMF,  
 
* the model management framework ([[VIATRA2 Model Space]]) is more expressive than MOF / EMF,  
Line 50: Line 46:
  
 
== Known uses ==
 
== Known uses ==
 
 
The VIATRA2 framework currently served as a key underlying model transformation technology in various research projects including:
 
The VIATRA2 framework currently served as a key underlying model transformation technology in various research projects including:
 
* the [http://www.decos.at/ DECOS EU FP6 IP] in the field of dependable embedded systems
 
* the [http://www.decos.at/ DECOS EU FP6 IP] in the field of dependable embedded systems
Line 68: Line 63:
  
 
== Technical Information  ==
 
== Technical Information  ==
 
 
=== Obtaining VIATRA2 ===
 
=== Obtaining VIATRA2 ===
 
 
==== VIATRA2 Downloads ====
 
==== VIATRA2 Downloads ====
 
 
Currently, there are two releases of VIATRA2 which are available for download:
 
Currently, there are two releases of VIATRA2 which are available for download:
 
* VIATRA2 Release3: the latest and much improved version of VIATRA2. This is the recommended version.
 
* VIATRA2 Release3: the latest and much improved version of VIATRA2. This is the recommended version.
Line 81: Line 73:
  
 
==== Sources ====
 
==== Sources ====
 
 
VIATRA2 is released under the [http://www.eclipse.org/org/documents/epl-v10.php Eclipse Public License v1.0].
 
VIATRA2 is released under the [http://www.eclipse.org/org/documents/epl-v10.php Eclipse Public License v1.0].
 
There are two ways to obtain the sources:
 
There are two ways to obtain the sources:
Line 99: Line 90:
  
 
==== Installation ====
 
==== Installation ====
 
 
See [[VIATRA2/Installation]].
 
See [[VIATRA2/Installation]].
  
 
=== Documentation ===
 
=== Documentation ===
 
 
The [http://dev.eclipse.org/viewcvs/indextech.cgi/gmt-home/subprojects/VIATRA2/doc/index.html official page] has details on the available documentation. In short, the following off-line documentation is available:
 
The [http://dev.eclipse.org/viewcvs/indextech.cgi/gmt-home/subprojects/VIATRA2/doc/index.html official page] has details on the available documentation. In short, the following off-line documentation is available:
  

Revision as of 05:11, 10 July 2008

Quick links

Project Overview

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

  • a model space for uniform representation of models and metamodels
  • a transformation language with
    • both declarative and imperative features
    • based upon popular formal mathematical techniques of graph transformation (GT) and abstract state machines (ASM)
  • a high performance transformation engine
    • supporting incremental model transformations
    • trigger-driven live transformations where complex model changes may trigger execution of transformations
    • handling well over 100,000 model elements (see our benchmarks)
  • with main target application domains in
    • model-based tool integration framework
    • model analysis transformations

Target Application Domains

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.

Standard conformance

We need to point out that the underlying modeling and transformation concepts of VIATRA2 are nonstandard.

VIATRA2 plans to support related standards by offering

  • powerful and extensible model importers and exporters
  • exporters/importers of other transformation languages (e.g. QVT)
  • domain specific languages integrated to the framework as VIATRA2 (and thus Eclipse) plug-ins.

Known uses

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

  • Budapest University of Technology and Economics, HUN
  • OptXware Research and Development LLC, HUN
  • ARCS, Vienna, AUT
  • LMU Munich, GER
  • TU Kaiserslautern, GER
  • Univ. of Pisa, ITA
  • Georgia Institute of Technology, USA

Technical Information

Obtaining VIATRA2

VIATRA2 Downloads

Currently, there are two releases of VIATRA2 which are available for download:

  • VIATRA2 Release3: the latest and much improved version of VIATRA2. This is the recommended version.
  • VIATRA2 Release2 (provided for historical purposes only)

Sources

VIATRA2 is released under the Eclipse Public License v1.0. There are two ways to obtain the sources:

  • Development Subversion repository: You can always check out the current development version from our development subversion repository. SVN repository URLs:
    • https://svn.inf.mit.bme.hu/viatra/
      • viatra_core/R3: R3 core (stable) components (current version)
      • viatra_core/R2: R2 core (stable) components (archived version)
      • viatra_extra/R3: R3 extra (experimental) components (current version)
      • viatra_extra/R2: R2 extra (experimental) components (archived version)

For instance, the current core components repository URL is: https://svn.inf.mit.bme.hu/viatra/viatra_core/R3. For more details on what you can get from the source repositories see VIATRA2/Components.

  • Eclipse.org CVS

We synchronize the developer SVN with the official Eclipse CVS on every milestone release. Currently, you can check out VIATRA2 R3 Release Candidate 2 from the CVS repository: http://dev.eclipse.org/viewcvs/indextech.cgi/gmt-home/subprojects/VIATRA2/sources/R3/.

Installation

See VIATRA2/Installation.

Documentation

The official page has details on the available documentation. In short, the following off-line documentation is available:

  • User's guide: PDF
  • Transformation language specification: PDF

For more up-to-date tutorials, howtos and descriptions you can browse VIATRA2/Basics and VIATRA2/Examples.