Revision as of 07:48, 15 March 2010

Simple Examples

• 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.

• 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.

• Generating Axis2 configuration from UML4SOA models

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.

• Model-driven performability analysis

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

• Model transformation by example

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.

Detailed examples

• Model based development of AJAX user interfaces

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

• Verification of cooperating BPEL processes

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