Skip to main content

Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.

Jump to: navigation, search

Difference between revisions of "VIATRA2/Case Studies"

(Simple Examples)
m (Added outdated page notice)
 
(20 intermediate revisions by 12 users not shown)
Line 1: Line 1:
 +
== Outdated page ==
 +
This page contains obsolete information about the VPM based VIATRA2 and preserved for archive purposes only.<br />
 +
The currently maintained wiki is available at http://wiki.eclipse.org/VIATRA
 +
 +
__TOC__
 +
 +
= 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 [http://rvg.web.cse.unsw.edu.au/eptcs/paper.cgi?TTC2011.4 EPTCS]
 +
* Solution description at [http://rvg.web.cse.unsw.edu.au/eptcs/paper.cgi?TTC2011.25 EPTCS]
 +
* Demonstrator: [http://is.ieis.tue.nl/staff/pvgorp/share/?page=LookupImage&vdiNameSearch=viatra SHARE]
 +
 
= Simple Examples =
 
= Simple Examples =
 +
 +
* [[VIATRA2/Activity Diagrams to Petri Nets |Transforming UML Activity Diagrams into Petri Nets]]
 +
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.
  
 
* [[VIATRA2/Native importer creation |Importing a simple XML file (Car workflow)]]
 
* [[VIATRA2/Native importer creation |Importing a simple XML file (Car workflow)]]
 
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 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.
  
* Simple file import and regexp parsing
+
* [[VIATRA2/Examples/Generating Axis2 Configuration | Generating Axis2 configuration from UML4SOA models]]
TODO by dtoth
+
This example demonstrates how to process and build models from simple textual input files using regular expressions directly from VTCL code (without creating importer plugins).
+
  
* Basic ViatraDSM editors
+
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.
TODO by dtoth
+
This example shows how to build metamodels for domain specific editing using the ViatraDSM component.
+
  
= Detailed examples
+
* [[VIATRA2/Examples/performability analysis | Model-driven performability analysis]]
 +
This example demonstrates a method for the performability analysis of service configurations with reliable messaging.
  
* HTML code generation
+
* [[VIATRA2/Examples/MTBE | Model transformation by example]]
TODO by dtoth (Bálint's stuff)
+
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.
 +
 
 +
* [[VIATRA2/Examples/FamiliesToPersons | Families to Persons transformation]]
 +
This transformation creates the [[ATL/Tutorials_-_Create_a_simple_ATL_transformation | FamiliesToPersons transformation of ATL]] recreated in VIATRA2. The transformation program is the work of Tassilo Horn, University of Koblenz-Landau.
 +
 
 +
= Detailed examples =
 +
 
 +
* [[VIATRA2/Model based development of AJAX user interfaces | Model based development of AJAX user interfaces]]
 
A complete example covering model building, manipulating and code generation workflow applicable to XML-like languages.
 
A complete example covering model building, manipulating and code generation workflow applicable to XML-like languages.
 +
 +
* [[VIATRA2/Ecore2Genmodel | Transforming EMF Ecore models to GenModel]]
 +
A complete example detailing the TTC 2010 Ecore2GenModel case study solution.
 +
 +
* [[VIATRA2/BPELVerif | Verification of BPEL processes]]
 +
A complete example covering the generation of SAL representations of single BPEL processes.
 +
 +
* [[VIATRA2/BPELCoop | Verification of cooperating 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 [http://is.ieis.tue.nl/staff/pvgorp/share/?page=Home SHARE] hosts immediately reproducible versions of these solutions, in the form of fully prepared virtual machine images. Request a session on [http://is.ieis.tue.nl/staff/pvgorp/share/?page=LookupImage&vdiNameSearch=viatra one of the VIATRA2 images] to see our tool in action!

Latest revision as of 03:59, 30 April 2015

Outdated page

This page contains obsolete information about the VPM based VIATRA2 and preserved for archive purposes only.
The currently maintained wiki is available at http://wiki.eclipse.org/VIATRA

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!

Back to the top