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.
Difference between revisions of "VIATRA2/Case Studies"
(→Detailed examples) |
(→Detailed examples) |
||
| Line 21: | Line 21: | ||
* [[VIATRA2/Model based development of AJAX user interfaces | Model based development of AJAX user interfaces]] | * [[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]] | * [[VIATRA2/Ecore2Genmodel | Transforming EMF Ecore models to GenModel]] | ||
A complete example detailing the TTC 2010 Ecore2GenModel case study solution. | 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. | ||
Revision as of 08:33, 7 July 2010
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.
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.