Jump to: navigation, search

VIATRA2/Case Studies

Hello world

We created a full-fledged solution for the Hello World case at TTC 2011, which focused on providing a set of simple tools that can be used for introducing new users to transformation tools and languages.

  • Problem description at EPTCS
  • Solution description at EPTCS
  • Demonstrator: SHARE

Simple Examples

This tutorial example presents a transformation from a core subset of UML2 Activity Diagrams to the domain of Petri-nets (also known as Place/Transition Nets). The example is meant to be the first one to read after completing the Hello World tutorial. As an important point, the tutorial includes an exercise for readers, to help them learn transformation development.

This example explains how to create a VIATRA2 native importer for a simple XML-based modeling language. The importer is used to read your files, and produce VIATRA2 models in the model space so that you can create transformations for your language.

This example shows an usage of VIATRA2 for web service configuration generation. It uses an extended UML format which is capable to model services. The transformations generate web service stubs, security configuration and reliability configuration from the model for Axis2 platform.

This example demonstrates a method for the performability analysis of service configurations with reliable messaging.

This short review demonstrates the usage of the VIATRA2 framework to realize a new approach that can derive model transformation rules from an initial prototypical set of interrelated source and target models, which describe critical cases of the model transformation problem in a purely declarative way.

This transformation creates the FamiliesToPersons transformation of ATL recreated in VIATRA2. The transformation program is the work of Tassilo Horn, University of Koblenz-Landau.

Detailed examples

A complete example covering model building, manipulating and code generation workflow applicable to XML-like languages.

A complete example detailing the TTC 2010 Ecore2GenModel case study solution.

A complete example covering the generation of SAL representations of single BPEL processes.

A complete example detailing the generation of SAL representations of abstracted BPEL process cooperations.

SHARE images for Transformation Tool Contests

VIATRA2 has participated in numerous transformation tool contests (GraBaTs, TTC series). The "executable paper" environment SHARE hosts immediately reproducible versions of these solutions, in the form of fully prepared virtual machine images. Request a session on one of the VIATRA2 images to see our tool in action!