Identification and Optimisation of Type-Level Model Queries

TY - GEN

T1 - Identification and Optimisation of Type-Level Model Queries

AU - Ul Ain Ali, Qurat

AU - Kolovos, Dimitris

AU - Barmpis, Konstantinos

N1 - Funding Information: Directions for future work include extending the proposed approach and prototype to support additional model management languages (e.g. for M2M/M2T transformation), additional modelling technologies (e.g. Simulink models i.e. translating from EOL to native MATLAB commands) and for detecting further language and modelling technology-specific optimisation opportunities. ACKNOWLEDGMENTS The authors are grateful to Sorour Jahanbin and Dr. Simos Gerasimou for their collaboration in static analysis of Epsilon. This research is supported by the Lowcomote, funded by the EU’s H2020 Research and Innovation Programme under the Marie Skłodowska-Curie GA n° 813884. REFERENCES Publisher Copyright: © 2021 IEEE.

PY - 2021/12/20

Y1 - 2021/12/20

N2 - 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 type-level 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'.

AB - 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 type-level 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'.

KW - Model Querying

KW - Model-Driven Engineering

KW - Scalability

KW - Static Analysis

UR - http://www.scopus.com/inward/record.url?scp=85124003100&partnerID=8YFLogxK

U2 - 10.1109/MODELS-C53483.2021.00121

DO - 10.1109/MODELS-C53483.2021.00121

M3 - Conference contribution

AN - SCOPUS:85124003100

T3 - Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021

SP - 751

EP - 760

BT - Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021

Y2 - 10 October 2021 through 15 October 2021

ER -