Ali, Qurat Ul Ain, Horváth, Benedek, Kolovos, Dimitris orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2021) Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns. In: Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021. 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021, 10-15 Oct 2021 Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021 . IEEE , JPN , pp. 83-87.
Abstract
Adoption of low-code engineering in complex enterprise applications also increases the size of the underlying models. In such cases, the increasing complexity of the applications and the growing size of the underlying artefacts, various scalability challenges might arise for low-code platforms. Task-specific programming languages, such as OCL and EOL, are tailored to manage the underlying models. Existing model management languages have significant performance impact when it comes to complex queries operating over large-scale models reaching magnitudes of millions of elements in size. We propose an approach for automatically mapping expressions in Epsilon validation programs to VIATRA graph patterns to make the validation of large-scale low-code system models scalable by leveraging the incremental execution engine of VIATRA. Finally, we evaluate the performance of the proposed approach on large Java models of the Eclipse source code. Our results show performance speed-up up to 1481x compared to the sequential execution in Epsilon.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | Funding Information: ACKNOWLEDGMENTS This work was partially funded by the EU Horizon 2020 research and innovation programme under the Marie Skłodowska-Curiegrant agreement No 813884, and the National Research, Development and Innovation Fund of Hungary, financed under the 2019-2.1.1-EUREKA-2019-00001 funding scheme. The authors are grateful for the valuable feedback of the anonymous reviewers and Géza Kulcsár. Publisher Copyright: © 2021 IEEE. |
Keywords: | static analysis,model querying,graph patterns,scalability |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 03 Nov 2021 10:40 |
Last Modified: | 06 Feb 2025 00:04 |
Published Version: | https://doi.org/10.1109/MODELS-C53483.2021.00019 |
Status: | Published |
Publisher: | IEEE |
Series Name: | Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021 |
Identification Number: | 10.1109/MODELS-C53483.2021.00019 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:179960 |
Download
Filename: Towards_Scalable_Validation_of_Low_Code_System_Models_Mapping_EVL_to_VIATRA_Patterns.pdf
Description: Towards_Scalable_Validation_of_Low-Code_System_Models_Mapping_EVL_to_VIATRA_Patterns