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 …

Self-adaptation in software-intensive cyber–physical systems: From system goals to architecture configurations

I Gerostathopoulos, T Bures, P Hnetynka… - Journal of Systems and …, 2016 - Elsevier
Abstract Design of self-adaptive software-intensive cyber–physical systems (siCPS)
operating in dynamic environments is a significant challenge when a sufficient level of …

FTG+ PM: An integrated framework for investigating model transformation chains

L Lúcio, S Mustafiz, J Denil, H Vangheluwe… - SDL 2013: Model-Driven …, 2013 - Springer
In this paper, we describe our ongoing work on model transformation chains. Model
transformation chains refer to the sequences of model transformations in Model Driven …

[BUCH][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 …

Provenance in modeling and simulation studies—Bridging gaps

A Ruscheinski, A Uhrmacher - 2017 Winter Simulation …, 2017 - ieeexplore.ieee.org
Simulation studies are intricate processes that require interweaving model refinement and
executing diverse experiments. Simulation models and data are the result of complex and …

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 …

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 …

Exploring a digital shadow design workflow by means of a line following robot use-case

R Paredis, H Vangheluwe - 2021 Annual modeling and …, 2021 - ieeexplore.ieee.org
Digital Twins (DTs)(including Digital Shadows) are simulation models running in parallel
with a realworld system while being fed the same input stimuli as that system. They can be …

Multi-paradigm modelling for model based systems engineering: Extending the ftg+ pm

R Paredis, J Exelmans… - 2022 Annual Modeling …, 2022 - ieeexplore.ieee.org
Model Based Systems Engineering (MBSE) supports Cyber-Physical Systems (CPS) design,
by experts from various domains, through complex workflows, manipulating models in …