Publication Minipages

Program Query Evaluation

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 proposed ASE13 paper Model Queries for Identifying Refactoring Context of Java Programs: A Comparison of Approacheswe compare three different approaches to evaluating program queries. This page details all measurements done for the paper.

 

Validation of Derived Features and Well-Formedness Constraints in DSLs

This page is created as to supplement the proposed paper Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver by Oszkár Semeráth, Ákos Horváth and Dániel Varró

 

Attachment: 
application/pdf iconDSL2SMT_TechReport_v3.pdf
application/zip icontest cases.zip

A Demonstration of the EMF-IncQuery Development Environment

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:

Query-driven soft interconnection of EMF models (MODELS12)

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.

Attachment: 
application/zip iconProjects for the example

Using queries for derived features (ECMFA12)

 

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.

ASE 2011 : Incremental Evaluation of Model Queries over EMF Models: a Tutorial on EMF-IncQuery

This tutorial builds on the previous one at ECMFA 2011, and presents the most up-to-date version of IncQuery, with detailed usage instructions and a case study.

ECMFA2011: Incremental Evaluation of Model Queries over EMF Models: a Tutorial on EMF-IncQuery

This tutorial builds on the previous one at MODELS 2010, and presents the most up-to-date version of IncQuery, with detailed usage instructions and a case study. The full-fledged validation framework that we built on IncQuery technology is presented for the first time.

Efficient Instance-level Ontology Validation by Incremental Model Query Techniques

Model Driven Development systems exploit the benefit of instance model validation and model transformation. Ever-growing model sizes used for example in critical embedded systems development require more and more efficient tools. The most time consuming step during model validation or model transformation is the model query step. This benchmark aims to measure batch style query and incremental style query of existing OWL (or RDF) and EMF based tools. 

MODELS2010: Incremental Model Queries over EMF Models

In the MODELS2010 article Incremental Model Queries over EMF Models we introduced EMF-IncQuery, a framework for defining declarative queries over EMF models, and executing them efficiently without manual coding}. For the query language, we reuse the concepts of graph patterns as a concise and easy way to specify complex structural model queries. High runtime performance is achieved by adapting incremental graph pattern matching techniques. This webpage displays the technicalities of the case-study used in the paper.

Syndicate content

User login