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

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

Metadata

Authors/Creators:
  • Ali, Qurat Ul Ain (quratulain.ali@york.ac.uk)
  • Horváth, Benedek
  • Kolovos, Dimitris ORCID logo https://orcid.org/0000-0002-1724-6563
  • Barmpis, Konstantinos (konstantinos.barmpis@york.ac.uk)
  • Horváth, Ákos
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:
  • Published (online): 12 October 2021
  • Published: 20 December 2021
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: 30 Jan 2024 16:10
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
Refereed: No
Identification Number: https://doi.org/10.1109/MODELS-C53483.2021.00019
Related URLs:

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

Export

Statistics