example

Using IncQuery in standalone EMF configurations

IncQuery can now also be used in standalone EMF configurations, i.e. outside of the Eclipse/OSGi environment (e.g. in command line apps or Java Enterprise applications). You only need to add a single line of hand-written code per pattern, to initialize the generated pattern builder as follows:

Read more

Metamodel pattern matching example: ECore Queries

Overview

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.

Read more

Model validation example: Papyrus UML

Although model queries and incrementally evaluated queries in particular have many usage scenarios, our case study in particular focuses on finding violations of structural well-formedness constraints. The domain (Ecore metamodel) used in the example is (the standard EMF representation of) UML2, and the example contains some graph patterns over UML2 models that express conditions when well-formedness or modeling convention rules are violated.