ESR 13: Live Model Transformation for Distributed Low-Code PlatformsBenedek Horváth
IncQuery Labs (Hungary)
With the growing adaptation of LCEPs in high complexity system development and operation scenarios (e.g., IoT, safety-critical systems, etc.) the increasing complexity and the sheer size of modelling artefacts poses new challenges for the underlying model processing and transformation techniques. Especially, in the unique models@runtime contexts, where system models are continuously updated to react to the changes happening in their environment.
The main objective of this project is to achieve the execution of model transformations on very large and distributed models over a parallel and distributed platform. While it is already a major challenge in case of batch transformation execution, the challenge is multiplied in the case of live model transformations, which are continuously executed in the background and react to changes and events in the environment. This requires developing an efficient search-based pattern matching algorithm capable of operating on models of millions of elements and can also be efficiently executed on distributed and parallel environments.
A secondary objective is to provide a framework to construct domain-specific model transformation languages that natively support parallel and distributed execution. More precisely, the goal is to provide the appropriate components, defined at the right level of abstraction, for a LCE engineer to define or adapt their own model processing/transformation language, using these modular components.
The overall goal is to allow modellers to build low-code model transformation languages and systems that can be executed in a parallel and distributed environment, and efficiently process very large models within the range of 100+ million model elements, with as little effort as possible. The goal is to transform models in the size range of at least one order of magnitude larger than single computer solutions are currently capable of, which is around 10 million model elements for EMF.
The main outcome of the project is an open source model transformation engine that is able to execute transformations over a highly distributed computing infrastructure, providing scalability both in terms of model size and transformation complexity, and reacting immediately changes in the environment. The engine is uniformly accessible for the different domain-specific transformation languages. As another outcome of the project, such an engine should provide additional support for traceability and debugging for executing parallel and distributed model transformations, which is extremely cumbersome in existing solutions.
Pragmatic verification and validation of industrial executable SysML models. Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei, May 2023. Systems Engineering journal (Wiley)
Towards Continuous Consistency Checking of DevOps Artefacts. Alessandro Colantoni, Benedek Horváth, Ákos Horváth, Luca Berardinelli, Manuel Wimmer, Oct. 2021. 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
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, Oct. 2021. 2nd Low-code workshop at MODELS 2021
Model Checking as a Service, Towards Pragmatic Hidden Formal Methods. Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban, Oct. 2020. Workshop on Open Model Based Engineering Environment. (OpenMBEE 2020)
Towards the Next Generation of Reactive Model Transformations on Low-Code Platforms, Three Research Lines. Benedek Horváth, Ákos Horváth, Manuel Wimmer, Oct. 2020. ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, (Virtual Conference) (MODELS 2020)