publication

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 iconSource code of the example

Incremental Pattern Matching for the Efficient Computation of Transitive Closure

Introduction

Pattern matching plays a central role in graph transformations as a key technology for computing local contexts in which transformation rules are to be applied.

Attachment: 
application/zip iconfull measurement results

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.

Model-driven framework for Design Space Exploration

Design space exploration (DSE) aims at searching through various models representing different design candidates to support activities like configuration design of critical systems or automated maintenance of IT systems. In model-driven engineering, DSE is applied to find instance models that are (i) reachable from an initial model with a sequence of transformation rules and (ii) satisfy a set of structural and numerical constraints.

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.

VL/HCC 2011 conference in Pittsburgh

Submitted by Anonymous on Mon, 09/26/2011 - 14:54
Aggregated From: 
http://inf.mit.bme.hu/en/news/2011/09/vlhcc-2011-conference-pittsburgh

The VL/HCC sympsium (IEEE Symposium on Visual Languages and Human-Centric Computing) was hosted by Pittsburgh (PA) between September 18-22. Established in 1984, the mission of the conference is to support the design, theory, application and evaluation of computing technologies and languages for programming, modeling and communicating, which are easier to learn, use, and understand by people. Some of the companies participating in the conference are National Instruments (LabView), Microsoft, Northwoods, and AgentSheets.

VL/HCC 2011 conference in Pittsburgh

Submitted by Anonymous on Mon, 09/26/2011 - 14:54
Aggregated From: 
https://inf.mit.bme.hu/en/news/2011/09/vlhcc-2011-conference-pittsburgh

The VL/HCC sympsium (IEEE Symposium on Visual Languages and Human-Centric Computing) was hosted by Pittsburgh (PA) between September 18-22. Established in 1984, the mission of the conference is to support the design, theory, application and evaluation of computing technologies and languages for programming, modeling and communicating, which are easier to learn, use, and understand by people. Some of the companies participating in the conference are National Instruments (LabView), Microsoft, Northwoods, and AgentSheets.

From BPEL to SAL And Back: a Tool Demo on Back-Annotation with VIATRA2

Authors: Ábel Hegedüs, István Ráth, Dániel Varró

In the proposed SEFM Tool demo we proposed the presentation of an end-to-end back-annotation tool including an execution trace metamodel and a technique for replaying a simulation run according to the persisted execution trace model.1

Syndicate content

User login