Skip to main content
Jump to: navigation, search

Difference between revisions of "VIATRA/Query"

(Remove category)
 
(36 intermediate revisions by 6 users not shown)
Line 1: Line 1:
 
{{VIATRA}}
 
{{VIATRA}}
 +
{{caution|Old information|This page is not updated anymore; for more up-to-date details look at the language specification at https://www.eclipse.org/viatra/documentation/ instead.}}
 
= VIATRA Incremental Query Wiki Documentation =
 
= VIATRA Incremental Query Wiki Documentation =
  
 
For the query language, we reuse the concepts of graph patterns (which is a key concept in many graph transformation tools) as a concise and easy way to specify complex structural model queries. High runtime performance is achieved by adapting incremental graph pattern matching techniques based on the Rete algorithm.
 
For the query language, we reuse the concepts of graph patterns (which is a key concept in many graph transformation tools) as a concise and easy way to specify complex structural model queries. High runtime performance is achieved by adapting incremental graph pattern matching techniques based on the Rete algorithm.
  
We believe the average programmer using EMF models will like EMF-IncQuery for the following reasons:
+
We believe the average programmer using EMF models will like VIATRA Query for the following reasons:
  
 
* declarative queries can be evaluated over EMF without manually traversing the models,
 
* declarative queries can be evaluated over EMF without manually traversing the models,
Line 19: Line 20:
  
  
== EMF-IncQuery User Documentation ==
+
== VIATRA Query User Documentation ==
* Developing Incremental Model Queries using the EMF-IncQuery Tooling
+
* Developing Incremental Model Queries using the VIATRA Query Tooling
** ''TODO'' [[EMFIncQuery/UserDocumentation/Installation|Installing EMF-IncQuery]]
+
** [https://www.eclipse.org/viatra/documentation/tutorial.html Getting started with Query Development]
** ''TODO'' [[EMFIncQuery/UserDocumentation/QueryLanguage|A Short Introduction to the Query Language]]
+
** [[VIATRA/Query/UserDocumentation/QueryLanguage|A Short Introduction to the Query Language]]
** ''TODO'' [[ EMFIncQuery/UserDocumentation/QueryDevelopment|Getting started with Query Development]]
+
 
** Advanced topics
 
** Advanced topics
*** ''TODO'' [[EMFIncQuery/UserDocumentation/RETE_Visualizer|RETE Visualizer]]
+
*** [[VIATRA/Query/UserDocumentation/AdvancedPatterns|Advanced pattern language constructs (incl. recursion)]]  
*** ''TODO'' [[EMFIncQuery/UserDocumentation/LocalSearch_DebuggerTooling|Local Search Debugger Tooling]]
+
*** [[VIATRA/Query/UserDocumentation/SDK/QueryHotspotTesting|Finding query evaluation hotspots]] (since 1.0.0)
*** ''TODO'' [[EMFIncQuery/UserDocumentation/DebuggerTooling|EMF-IncQuery Debugger Tooling]] (since 0.8.0)
+
*** [[VIATRA/Query/UserDocumentation/QueryTestFramework|Query Test Framework]]
*** ''TODO'' [[EMFIncQuery/UserDocumentation/SDK/QueryHotspotTesting|Finding query evaluation hotspots]] (since 1.0.0)
+
*** [[VIATRA/Query/UserDocumentation/DebuggerTooling|VIATRA Query Debugger Tooling]] (since 0.8.0)
*** ''TODO'' [[EMFIncQuery/UserDocumentation/PureWhitelist|Pure whitelist]] (since 1.0.0)
+
*** [[VIATRA/Query/UserDocumentation/RETE_Visualizer|RETE Visualizer]]
*** ''TODO'' [[EMFIncQuery/UserDocumentation/AdvancedPatterns|Advanced pattern language constructs]]  
+
*** [[VIATRA/Query/UserDocumentation/LocalSearch_DebuggerTooling|Local Search Debugger Tooling]]
* Using the EMF-IncQuery Runtime library
+
* Using the VIATRA Query Runtime library
** ''TODO'' [[EMFIncQuery/UserDocumentation/HeadlessExecution|Headless (standalone) execution of EMF-IncQuery queries and unit tests]]
+
** [[VIATRA/Query/UserDocumentation/API|API documentation]]
** ''TODO'' [[EMFIncQuery/UserDocumentation/API|API documentation]]
+
** [[VIATRA/Query/UserDocumentation/API/LocalSearch|Local Search Support]]
** ''TODO'' [[EMFIncQuery/UserDocumentation/API/Advanced|Advanced API features]]
+
** [[VIATRA/Query/UserDocumentation/API/BaseIndexer|Base Indexer]]
** ''TODO'' [[EMFIncQuery/UserDocumentation/API/RunOnce|Run once querying API documentation]]
+
** [[VIATRA/Query/UserDocumentation/API/Advanced|Advanced API features]]
** ''TODO'' [[EMFIncQuery/UserDocumentation/API/BaseIndexer|IncQuery Base Indexer]]
+
** [[VIATRA/Query/UserDocumentation/API/RunOnce|Run once querying API documentation]]
* Integration Components
+
** [[VIATRA/Query/UserDocumentation/HeadlessExecution|Headless (standalone) execution of VIATRA queries and unit tests]]
** ''TODO'' [[EMFIncQuery/UserDocumentation/Databinding|Databinding]]
+
* Query language extensibility
** ''TODO'' [[EMFIncQuery/UserDocumentation/Validation|Validation Framework]]
+
** [[VIATRA/Query/UserDocumentation/PureWhitelist|Pure whitelist]] (since 1.0.0) for custom code in <code>check()</code> or <code>eval()</code>
** ''TODO'' [[EMFIncQuery/UserDocumentation/Query_Based_Features|Defining Query-based Features]]
+
** [[VIATRA/Query/UserDocumentation/CustomAggregators|Custom aggregation operators]] (since 1.4.0)  
** ''TODO'' [[EMFIncQuery/UserDocumentation/Surrogate_Queries|Surrogate queries for existing derived features]]
+
* [[VIATRA/Query/UserDocumentation/Examples|Examples]]
** ''TODO'' [[EMFIncQuery/UserDocumentation/IncQuery_Viewers|IncQuery Viewers]]
+
* [[VIATRA/UserDocumentation/Build|VIATRA Query in CI Environments (Maven artifacts)]] (since 0.8.0)
** ''TODO'' [[EMFIncQuery/UMLSupport|UML Support]]
+
* [[VIATRA/Query/FAQ|Frequently Asked Questions]]
* ''TODO'' [[EMFIncQuery/UserDocumentation/Examples|Examples]]
+
* ''TODO'' [[EMFIncQuery/UserDocumentation/Build|EMF-IncQuery in CI Environments (Maven artifacts)]] (since 0.8.0)
+
* Reporting bugs or requesting new features
+
** ''TODO'' [[EMFIncQuery/UserDocumentation/IssueTracking|Issue tracking]]
+
* Frequently Asked Questions
+
** ''TODO'' [[EMFIncQuery/FAQ|FAQ]]
+
 
+
== Releases ==
+
* Version 0.7.0 ([https://www.eclipse.org/incquery/javadoc/releases/0.7.0/ Javadoc])
+
** ''TODO'' [[EMFIncQuery/Releases/MigrateTo0.7|Migration guide]]
+
** ''TODO'' Known issues affecting version 0.7.1 [[EMFIncQuery/Releases/KnownIssuesFor0.7.1|fixed in 0.7.2]]
+
* Version 0.8.0 ([https://www.eclipse.org/incquery/javadoc/releases/0.8.0/ Javadoc])
+
** ''TODO'' [[EMFIncQuery/Releases/NewAndNoteWorthy0.8|New and Noteworthy]]
+
** ''TODO'' [[EMFIncQuery/Releases/MigrateTo0.8|Migration guide]]
+
** ''TODO'' Known issues affecting version 0.8.1 [[EMFIncQuery/Releases/KnownIssuesFor0.8.1|fixed in 0.8.2]]
+
* Version 0.9.0 ([https://www.eclipse.org/incquery/javadoc/releases/0.9.0/ Javadoc])
+
** ''TODO'' [[EMFIncQuery/Releases/NewAndNoteWorthy0.9|New and Noteworthy]]
+
* Version 1.0.0 ([https://www.eclipse.org/incquery/javadoc/releases/1.0.0/ Javadoc])
+
** ''TODO'' [[EMFIncQuery/Releases/NewAndNoteWorthy1.0|New and Noteworthy]]
+
** ''TODO'' [[EMFIncQuery/Releases/MigrateTo1.0|Migration guide]]
+
* Version 1.1.0 ([https://www.eclipse.org/incquery/javadoc/releases/1.1.0/ Javadoc])
+
** ''TODO'' [[EMFIncQuery/Releases/NewAndNoteWorthy1.1|New and Noteworthy]]
+
** ''TODO'' [[EMFIncQuery/Releases/MigrateTo1.1|Migration guide]]
+

Latest revision as of 09:38, 30 November 2017

Stop.png
Old information
This page is not updated anymore; for more up-to-date details look at the language specification at https://www.eclipse.org/viatra/documentation/ instead.

VIATRA Incremental Query Wiki Documentation

For the query language, we reuse the concepts of graph patterns (which is a key concept in many graph transformation tools) as a concise and easy way to specify complex structural model queries. High runtime performance is achieved by adapting incremental graph pattern matching techniques based on the Rete algorithm.

We believe the average programmer using EMF models will like VIATRA Query for the following reasons:

  • declarative queries can be evaluated over EMF without manually traversing the models,
  • complex interrelated constellations of EMF objects can be easily formulated as a graph pattern,
    • the language is expressive and provides powerful features such as negation or counting,
    • graph patterns are composable and reusable,
    • queries can be evaluated with great freedom, i.e. input and output parameters can be selected at run-time,
    • some frequently encountered shortcomings of EMF’s interfaces are addressed:
    • easy and efficient enumeration of all instances of a class regardless of location,
    • simple backwards navigation along all kinds of references (even without eOpposite)
    • finding objects based on attribute value,
  • the incremental query evaluation mechanism offers a significant performance boost when frequently querying complex structural patterns with a moderate amount of modifications in-between (e.g. during continuous validation),
  • from the declarative representation of queries, pattern matcher code is generated which can be distributed as Eclipse plug-ins with very few dependencies.


VIATRA Query User Documentation

Back to the top