By the same authors

Identification and Optimisation of Type-Level Model Queries

Research output: Contribution to conferencePaperpeer-review

Full text download(s)

Author(s)

Department/unit(s)

Conference

ConferenceSystem Analysis and Modelling: Agility and DevOps
Abbreviated titleSAM
Country/TerritoryJapan
CityFukuoka
Conference date(s)11/10/2112/10/21
Internet address

Publication details

DateE-pub ahead of print - 11 Oct 2021
Original languageEnglish

Abstract

The main appeal of task-specific model management languages such as ATL, OCL, Epsilon etc. is that they offer tailored syntaxes for the tasks they target, and provide concise first-class support for recurring activities in these tasks. On the
flip side, task-specific model management languages are typically interpreted and are therefore significantly slower than general purpose programming languages (which can be also used to query and modify models) such as Java. While this is not an
issue for smaller models, as models grow in size, naive execution of interpreted model management programs against them can become a scalability bottleneck. In this paper, we demonstrate an architecture for optimisation of model management programs written in languages of the Epsilon platform using static analysis
and program rewriting techniques. The proposed architecture facilitates optimisation of queries that target models of heterogeneous technologies in an orthogonal way. We demonstrate how the proposed architecture is used to identify and optimise typelevel
queries against EMF-based models in the context of EOL programs and EVL validation constraints. We also demonstrate the performance benefits that can be delivered by this form of optimisation through a series of experiments on EMF-based
models. Our experiments have shown performance improvements of up to 99.56%.

???prize-relations???

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations