Reuse in model-to-model transformation languages: are we there yet?

A Kusel, J Schönböck, M Wimmer, G Kappel… - Software & Systems …, 2015 - Springer
In the area of model-driven engineering, model transformations are proposed as the
technique to systematically manipulate models. For increasing development productivity as …

The relevance of model-driven engineering thirty years from now

G Mussbacher, D Amyot, R Breu, JM Bruel… - … Languages and Systems …, 2014 - Springer
Although model-driven engineering (MDE) is now an established approach for develo**
complex software systems, it has not been universally adopted by the software industry. In …

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 tridimensional approach for studying the formal verification of model transformations

M Amrani, L Lucio, G Selim… - 2012 IEEE Fifth …, 2012 - ieeexplore.ieee.org
In Model Driven Engineering (MDE), models are first-class citizens, and model
transformation is MDE's" heart and soul". Since model transformations are executed for a …

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 …

Formal verification techniques for model transformations: A tridimensional classification

M Amrani, B Combemale, L Lúcio, G Selim… - The Journal of Object …, 2015 - inria.hal.science
In Model Driven Engineering (MDE), models are first-class citizens, and model
transformation is MDE's" heart and soul". Since model transformations are executed for a …

T-Core: a framework for custom-built model transformation engines

E Syriani, H Vangheluwe, B LaShomb - Software & Systems Modeling, 2015 - Springer
A large number of model transformation languages and tools have emerged since the early
2000s. A transformation engineer is thus left with too many choices for the language he use …

A feature-based classification of formal verification techniques for software models

S Gabmeyer, P Kaufmann, M Seidl, M Gogolla… - Software & Systems …, 2019 - Springer
Software models are the core development artifact in model-based engineering (MBE). The
MBE paradigm promotes the use of software models to describe structure and behavior of …

Assessing and improving quality of QVTo model transformations

CM Gerpheide, RRH Schiffelers, A Serebrenik - Software quality journal, 2016 - Springer
We investigate quality improvement in QVT operational map**s (QVTo) model
transformations, one of the languages defined in the OMG standard on model-to-model …

Improving the confidence in measurement-based timing analysis

S Bünte, M Zolda, M Tautschnig… - 2011 14th IEEE …, 2011 - ieeexplore.ieee.org
Measurement-based timing analysis (MBTA) is a hybrid approach that combines execution-
time measurements with static program analysis techniques to obtain an estimate of the …