Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

D Varró, G Bergmann, Á Hegedüs, Á Horváth… - Software & Systems …, 2016 - Springer
The current release of VIATRA provides open-source tool support for an event-driven,
reactive model transformation engine built on top of highly scalable incremental graph …

Model transformation intents and their properties

L Lúcio, M Amrani, J Dingel, L Lambers… - Software & systems …, 2016 - Springer
The notion of model transformation intent is proposed to capture the purpose of a
transformation. In this paper, a framework for the description of model transformation intents …

A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems

M Persson, M Törngren, A Qamar… - 2013 Proceedings of …, 2013 - ieeexplore.ieee.org
Embedded systems, with their tight technology integration, and multiple requirements and
stakeholders, are characterized by tightly interrelated processes, information and tools …

[图书][B] Foundations of multi-paradigm modelling for cyber-physical systems

P Carreira, V Amaral, H Vangheluwe - 2020 - library.oapen.org
This open access book coherently gathers well-founded information on the fundamentals of
and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross …

[PDF][PDF] Engineering process transformation to manage (in) consistency

I Dávid, J Denil, K Gadeyne… - Proceedings of the …, 2016 - repository.uantwerpen.be
Inconsistencies pose a severe issue to overcome in collaborative modeling scenarios,
especially in settings with different domains involved. This is due to the significantly different …

[PDF][PDF] Generation of an optimised master algorithm for FMI co-simulation.

B Van Acker, J Denil, H Vangheluwe… - SpringSim (TMS …, 2015 - academia.edu
ABSTRACT Model-based Systems Engineering plays a pivotal role in the design of Software-
Intensive and Cyber-Physical Systems by enabling early virtual integration of the different …

Search-based model optimization using model transformations

J Denil, M Jukss, C Verbrugge… - System Analysis and …, 2014 - Springer
Abstract Design-Space Exploration (DSE) and optimization look for a suitable and optimal
candidate solution to a problem, with respect to a set of quality criteria, by searching through …

Ftg+ pm for the model-driven development of wireless sensor network based iot systems

B Karaduman, S Mustafiz… - 2021 ACM/IEEE …, 2021 - ieeexplore.ieee.org
In recent years, various concepts, methodologies, and tools have emerged to tackle
complexity of multi-paradigm systems using model-driven engineering (MDE) to improve …

Commonalities for preserving consistency of multiple models

H Klare, J Gleitze - 2019 ACM/IEEE 22nd International …, 2019 - ieeexplore.ieee.org
Models are used to describe different properties of a software system. Those models often
share information that is represented redundantly and, thus, has to be kept consistent …

Towards a formal specification of multi-paradigm modelling

M Amrani, D Blouin, R Heinrich… - 2019 ACM/IEEE …, 2019 - ieeexplore.ieee.org
The notion of a programming paradigm is used to classify programming languages and their
accompanying workflows based on their salient features. Similarly, the notion of a modelling …