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

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:
  • Published: 20 December 2021
  • Published (online): 12 October 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: 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):

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