EMF-IncQuery - High performance graph search for EMF models

EMF-IncQuery is a framework for defining declarative graph queries over EMF models, and executing them efficiently without manual coding in an imperative programming language such as Java.

With EMF-IncQuery, you can:

• Define model queries using a high level yet powerful query language (supported by state-of-the-art Xtext-based development tools)
• Execute the queries efficiently and incrementally, with proven scalability for complex queries over large instance models
• Integrate queries into your applications using essential feature APIs including IncQuery Viewers, Databinding, Validation and Query-based derived features with notifications.

For further details, take a look at our project blog at http://incquery.net.

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:

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

Getting started

For end users

• Take a look at the Documentation page for installation details, downloads and update site information.
• For an introductory, step-by-step example, take a look at the built-in cheat sheet, the School example and the language tutorial.
• Example projects can be accessed at our dedicated Git repository, at GitHub, and are described in detail on the Examples page.
• We also maintain a page for frequently asked questions.
• If you are interested in performance benchmarking, be sure to check our recommendations.
• Research papers related to EMF-IncQuery are collected on the publications page and papers with online material are listed here.

For developers

EMF-IncQuery uses git for version control, and is available from http://git.eclipse.org/c/incquery/org.eclipse.incquery.git/. Take a look at the Developers' Guide for details.

New: take a look at the Eclipse project metadata for EMF-IncQuery here.

About This Project

Current Status

EMF-IncQuery is currently in the Incubation Phase.