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%.
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%.
| Original language | English |
|---|---|
| Publication status | E-pub ahead of print - 11 Oct 2021 |
| Event | System Analysis and Modelling: Agility and DevOps - Co-located with MODELS (Virtual), Fukuoka, Japan Duration: 11 Oct 2021 → 12 Oct 2021 Conference number: 13 http://sdl-forum.org/Events/SAM2021/index.htm |
Conference
| Conference | System Analysis and Modelling: Agility and DevOps |
|---|---|
| Abbreviated title | SAM |
| Country/Territory | Japan |
| City | Fukuoka |
| Period | 11/10/21 → 12/10/21 |
| Internet address |