VIATRA2/Case Studies

Simple Examples

• Importing UML2 models

This description explains how to import Eclipse UML2 models into VIATRA and how to work with them.

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

• Simple file import and regexp parsing

(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

(TODO by dtoth) This example shows how to build metamodels for domain specific editing using the ViatraDSM component.

• 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

• Tutorial example: An UML to EJB transformation

This example introduces some design patterns and best practices for writing VIATRA2 transformations.

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