Skip to main content
Jump to: navigation, search

Difference between revisions of "VIATRA/Query/UserDocumentation/Examples"

< VIATRA‎ | Query
(New page: The examples below correspond to updated versions of the old examples. == Introductory example: school == The school example features a simple EMF model and some simple graph patterns to ...)
 
 
(11 intermediate revisions by 3 users not shown)
Line 1: Line 1:
The examples below correspond to updated versions of the old examples.
 
 
== Introductory example: school ==
 
== Introductory example: school ==
  
The school example features a simple EMF model and some simple graph patterns to show the very basics of using EMF-IncQuery. Read this first before anything else!
+
The school example features a simple EMF model and some simple graph patterns to show the very basics of using VIATRA Query.
  
* [http://incquery.net/incquery/new/examples/school Details in the incquery.net portal]
+
* [[VIATRA/Query/UserDocumentation/Examples/school|Details]]
* [https://github.com/ujhelyiz/EMF-IncQuery-Examples/tree/master/school Source code on Github]
+
* [https://github.com/ujhelyiz/EMF-IncQuery-Examples/tree/master/school Source code]
  
== Introductory example: BPMN validation ==
+
== Cyber Physical System ==
  
The BPMN validation example introduces the IncQuery Validation Engine, by which incrementally evaluated, on-the-fly well-formedness validation rules can be specified for any EMF model.
+
A comprehensive example showing off VIATRA features on a Cyber Physical System modeling domain.
  
* [https://incquery.net/incquery/examples/bpmn Details in the incquery.net portal]
+
* [https://github.com/IncQueryLabs/incquery-examples-cps/wiki Details]
* [https://github.com/ujhelyiz/EMF-IncQuery-Examples/tree/master/bpmn Source code on Github]
+
* [https://github.com/IncQueryLabs/incquery-examples-cps Source code]
  
== Metamodel pattern matching example: Ecore Queries ==
+
== Running VIATRA Query as a headless RCP application ==
  
Have you ever tried to query a meta-model, i.e. a model consisting of EClasses, EAttributes, and EReferences, against a meta-model pattern? For an example, look here. In this case, we want to look for a certain sub-configuration in an ECore metamodel, where two EClasses (each having an EAttribute of type EString) are connected by a 0-* EReference.
+
VIATRA Query can be called without any graphical user interface or even a complete Eclipse installation. In this example we take an existing VIATRA Query project and create an Eclipse Application that can be executed from a console (command prompt) to print the matches for an arbitrary input model file.
  
Use-cases of this technique include meta-transformation, meta-model analysis, higher-order transformations where transformation rules are generated/parameterized by metamodel analysis etc.
+
* [[VIATRA/Query/UserDocumentation/HeadlessExecution|Documentation]]
 +
* [http://git.eclipse.org/c/viatra/org.eclipse.viatra.git/tree/examples/headless Source code]
  
* [https://incquery.net/incquery/new/examples/ecorequery Details in the incquery.net portal]
+
== Old examples ==
* [https://github.com/ujhelyiz/EMF-IncQuery-Examples/tree/master/ecorequery Source code on Github]
+
  
== Using queries for derived features ==
+
These examples have not been (yet) migrated to VIATRA Query 1.2.
  
We demonstrate how our high performance queries can be easily integrated with other EMF tools using an entirely new case study in which EMF-IncQuery is deeply integrated into the EMF modeling infrastructure to facilitate the incremental evaluation of derived EAttributes and EReferences.
+
=== Introductory example: BPMN validation ===
 +
 
 +
The BPMN validation example introduces the VIATRA Query Validation Engine, by which incrementally evaluated, on-the-fly well-formedness validation rules can be specified for any EMF model.
 +
 
 +
* [[VIATRA/Query/UserDocumentation/Examples/bpmn|Details]]
 +
* [https://github.com/ujhelyiz/EMF-IncQuery-Examples/tree/master/bpmn Source code on Github]
 +
 
 +
=== Metamodel pattern matching example: Ecore Queries ===
 +
 
 +
Have you ever tried to query a meta-model, i.e. a model consisting of EClasses, EAttributes, and EReferences, against a meta-model pattern? For an example, look here. In this case, we want to look for a certain sub-configuration in an ECore metamodel, where two EClasses (each having an EAttribute of type EString) are connected by a 0-* EReference.
 +
 
 +
Use-cases of this technique include meta-transformation, meta-model analysis, higher-order transformations where transformation rules are generated/parameterized by metamodel analysis etc.
  
* [[EMFIncQuery/UserDocumentation/Query_Based_Features|Documentation]]
+
* [[VIATRA/Query/UserDocumentation/Examples/ecorequery|Details]]
* [https://github.com/ujhelyiz/EMF-IncQuery-Examples/tree/master/derived-features-by-queries Source code on Github]
+
* [https://github.com/ujhelyiz/EMF-IncQuery-Examples/tree/master/ecorequery Source code]
  
== Running IncQuery as a headless RCP application ==
+
=== Using queries for derived features ===
  
IncQuery can be called without any graphical user interface or even a complete Eclipse installation. In this example we take an existing IncQuery project and create an Eclipse Application that can be executed from a console (command prompt) to print the matches for an arbitrary input model file.
+
We demonstrate how our high performance queries can be easily integrated with other EMF tools using an entirely new case study in which VIATRA Query is deeply integrated into the EMF modeling infrastructure to facilitate the incremental evaluation of derived EAttributes and EReferences.
  
* [[EMFIncQuery/UserDocumentation/HeadlessExecution|Documentation]]
+
* [[VIATRA/Addon/Query_Based_Features|Documentation]]
* [http://git.eclipse.org/c/incquery/org.eclipse.incquery.examples.git/tree/headless Source code in eclipse.org]
+
* [https://github.com/ujhelyiz/EMF-IncQuery-Examples/tree/master/derived-features-by-queries Source code]
  
== Query-driven soft interconnections of EMF models ==
+
=== Query-driven soft interconnections of EMF models ===
  
We demonstrate how the incremental query evaluation of EMF-IncQuery can be used to maintain soft interconnections between EMF models stored even if they are stored separately, moved or modified without the all the corresponding models loaded at all times.
+
We demonstrate how the incremental query evaluation of VIATRA Query can be used to maintain soft interconnections between EMF models stored even if they are stored separately, moved or modified without the all the corresponding models loaded at all times.
  
* [http://incquery.net/incquery/new/examples/query-driven-soft-links Details in incquery.net]
+
* [https://github.com/FTSRG/publication-pages/wiki/Query-driven-soft-interconnection-of-EMF-models-(MODELS12) Details]
* [https://github.com/ujhelyiz/EMF-IncQuery-Examples/tree/master/query-driven-soft-interconnections Source code on Github]
+
* [http://git.eclipse.org/c/viatra/org.eclipse.viatra.git/tree/examples/bpm Source code]
  
== Real-time gesture recognition with Jnect and the Esper CEP engine ==
+
=== Real-time gesture recognition with Jnect and the Esper CEP engine ===
  
This demo was prepared for [http://www.eclipsecon.org/europe2012/sessions/jnect-get-your-eclipse-moving EclipseCon Europe 2012]. Using live input from [http://code.google.com/a/eclipselabs.org/p/jnect/ Jnect], the body model of a human user is processed by EMF-IncQuery in real time to recognize gestures. Additionally, the [http://esper.codehaus.org/ Esper Complex Event Processor] is integrated into the system to allow the recognition of gesture sequences in the event stream generated by IncQuery.
+
This demo was prepared for [http://www.eclipsecon.org/europe2012/sessions/jnect-get-your-eclipse-moving EclipseCon Europe 2012]. Using live input from [http://code.google.com/a/eclipselabs.org/p/jnect/ Jnect], the body model of a human user is processed by VIATRA Query in real time to recognize gestures. Additionally, the [http://esper.codehaus.org/ Esper Complex Event Processor] is integrated into the system to allow the recognition of gesture sequences in the event stream generated by VIATRA.
  
* [http://incquery.net/incquery/demos/jnect Details in incquery.net]
+
* [https://github.com/FTSRG/publication-pages/wiki/Realtime-gesture-recognition-with-Jnect-and-Esper Details]
 
* [https://github.com/ujhelyiz/EMF-IncQuery-Examples/tree/master/bodymodel Source code in Github]
 
* [https://github.com/ujhelyiz/EMF-IncQuery-Examples/tree/master/bodymodel Source code in Github]

Latest revision as of 09:54, 8 April 2016

Introductory example: school

The school example features a simple EMF model and some simple graph patterns to show the very basics of using VIATRA Query.

Cyber Physical System

A comprehensive example showing off VIATRA features on a Cyber Physical System modeling domain.

Running VIATRA Query as a headless RCP application

VIATRA Query can be called without any graphical user interface or even a complete Eclipse installation. In this example we take an existing VIATRA Query project and create an Eclipse Application that can be executed from a console (command prompt) to print the matches for an arbitrary input model file.

Old examples

These examples have not been (yet) migrated to VIATRA Query 1.2.

Introductory example: BPMN validation

The BPMN validation example introduces the VIATRA Query Validation Engine, by which incrementally evaluated, on-the-fly well-formedness validation rules can be specified for any EMF model.

Metamodel pattern matching example: Ecore Queries

Have you ever tried to query a meta-model, i.e. a model consisting of EClasses, EAttributes, and EReferences, against a meta-model pattern? For an example, look here. In this case, we want to look for a certain sub-configuration in an ECore metamodel, where two EClasses (each having an EAttribute of type EString) are connected by a 0-* EReference.

Use-cases of this technique include meta-transformation, meta-model analysis, higher-order transformations where transformation rules are generated/parameterized by metamodel analysis etc.

Using queries for derived features

We demonstrate how our high performance queries can be easily integrated with other EMF tools using an entirely new case study in which VIATRA Query is deeply integrated into the EMF modeling infrastructure to facilitate the incremental evaluation of derived EAttributes and EReferences.

Query-driven soft interconnections of EMF models

We demonstrate how the incremental query evaluation of VIATRA Query can be used to maintain soft interconnections between EMF models stored even if they are stored separately, moved or modified without the all the corresponding models loaded at all times.

Real-time gesture recognition with Jnect and the Esper CEP engine

This demo was prepared for EclipseCon Europe 2012. Using live input from Jnect, the body model of a human user is processed by VIATRA Query in real time to recognize gestures. Additionally, the Esper Complex Event Processor is integrated into the system to allow the recognition of gesture sequences in the event stream generated by VIATRA.

Back to the top