Publication Minipages

Model-driven tools use model queries for many purposes, including validation of well-formedness rules and specification of derived features. The majority of declarative model query corpus available in industry appears to use the OCL language. Graph pattern based queries, however, would have a number of advantages due to their more abstract specification, such as performance improvements through advanced query evaluation techniques. As query performance can be a key issue with large models, evaluating graph patterns instead of OCL queries could be useful in practice. The measurements presented here give justification to automatically mapping OCL to equivalent graph patterns by showing that one can deliver efficient, incremental query evaluation for a subset of OCL expressions.

Attachment: 

trainbenchmark.zip

trainbenchmark-ocl2iq.zip

MODELS 2014 paper with Extended Appendix

Authors: Zoltán Ujhelyi, Ákos Horváth, Dániel Varró, Norbert István Csiszár, Gábor Szőke, László Vidács, Rudolf Ferenc

In the CSMR-WCRE 2014 paper "Anti-pattern Detection with Model Queries: A Comparison of Approaches" we compare three different approaches for evaluating program queries. This page details all measurements done for the paper.

Attachment: 

Raw measurement results

This page is created as to supplement the proposed paper EMF-IncQuery: An Integrated Development Environment for Live Model Queries by Zoltán Ujhelyi, Ábel Hegedüs, Gábor Bergmann, Ákos Horváth, István Ráth and Dániel Varró.

Installation

To evaluate the example of the paper (and EMF-IncQuery in general), the following prerequisites are to be installed:

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.