Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns

Qurat Ul Ain Ali; Benedek  Horváth; Dimitris Kolovos; Konstantinos Barmpis; Ákos Horváth

doi:10.1109/MODELS-C53483.2021.00019

Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns

Qurat Ul Ain Ali, Benedek Horváth, Dimitris Kolovos, Konstantinos Barmpis, Ákos Horváth

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021
Publisher	IEEE
Pages	83-87
Number of pages	5
ISBN (Electronic)	9781665424844
DOIs	https://doi.org/10.1109/MODELS-C53483.2021.00019
Publication status	Published - 20 Dec 2021
Event	24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021 - Virtual, Online, Japan Duration: 10 Oct 2021 → 15 Oct 2021

Publication series

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

Conference

Conference	24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021
Country/Territory	Japan
City	Virtual, Online
Period	10/10/21 → 15/10/21

Bibliographical note

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

Access to Document

10.1109/MODELS-C53483.2021.00019

Towards_Scalable_Validation_of_Low-Code_System_Models_Mapping_EVL_to_VIATRA_Patterns
This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Accepted author manuscript, 266 KB

Cite this

Ali, Q. U. A., Horváth, B., Kolovos, D., Barmpis, K., & Horváth, Á. (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 (pp. 83-87). (Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021). IEEE. https://doi.org/10.1109/MODELS-C53483.2021.00019

Ali, Qurat Ul Ain ; Horváth, Benedek ; Kolovos, Dimitris et al. / Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns. Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021. IEEE, 2021. pp. 83-87 (Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021).

@inproceedings{9c9a8361c8ad45669a138ce0e6d5dd68,

title = "Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns",

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 scalabilitychallenges 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 tocomplex 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 oflarge-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-upup to 1481x compared to the sequential execution in Epsilon.",

keywords = "static analysis, model querying, graph patterns, scalability",

author = "Ali, {Qurat Ul Ain} and Benedek Horv{\'a}th and Dimitris Kolovos and Konstantinos Barmpis and {\'A}kos Horv{\'a}th",

note = "Funding Information: ACKNOWLEDGMENTS This work was partially funded by the EU Horizon 2020 research and innovation programme under the Marie Sk{\l}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{\'e}za Kulcs{\'a}r. Publisher Copyright: {\textcopyright} 2021 IEEE.; 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021 ; Conference date: 10-10-2021 Through 15-10-2021",

year = "2021",

month = dec,

day = "20",

doi = "10.1109/MODELS-C53483.2021.00019",

language = "English",

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

publisher = "IEEE",

pages = "83--87",

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

address = "United States",

}

Ali, QUA, Horváth, B, Kolovos, D , Barmpis, K & Horváth, Á 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. Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021, IEEE, pp. 83-87, 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021, Virtual, Online, Japan, 10/10/21. https://doi.org/10.1109/MODELS-C53483.2021.00019

Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns. / Ali, Qurat Ul Ain; Horváth, Benedek ; Kolovos, Dimitris et al.
Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021. IEEE, 2021. p. 83-87 (Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns

AU - Ali, Qurat Ul Ain

AU - Horváth, Benedek

AU - Kolovos, Dimitris

AU - Barmpis, Konstantinos

AU - Horváth, Ákos

N1 - 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.

PY - 2021/12/20

Y1 - 2021/12/20

N2 - 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 scalabilitychallenges 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 tocomplex 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 oflarge-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-upup to 1481x compared to the sequential execution in Epsilon.

AB - 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 scalabilitychallenges 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 tocomplex 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 oflarge-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-upup to 1481x compared to the sequential execution in Epsilon.

KW - static analysis

KW - model querying

KW - graph patterns

KW - scalability

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

U2 - 10.1109/MODELS-C53483.2021.00019

DO - 10.1109/MODELS-C53483.2021.00019

M3 - Conference contribution

AN - SCOPUS:85124040659

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

SP - 83

EP - 87

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

PB - IEEE

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

Y2 - 10 October 2021 through 15 October 2021

ER -

Ali QUA, Horváth B, Kolovos D , Barmpis K, Horváth Á. 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. IEEE. 2021. p. 83-87. (Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021). Epub 2021 Oct 12. doi: 10.1109/MODELS-C53483.2021.00019

Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Cite this