Model transformation testing and debugging: A survey

J Troya, S Segura, L Burgueño, M Wimmer - ACM Computing Surveys, 2022 - dl.acm.org
Model transformations are the key technique in Model-Driven Engineering (MDE) to
manipulate and construct models. As a consequence, the correctness of software systems …

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 …

A survey of model-driven techniques and tools for cyber-physical systems

B Liu, Y Zhang, X Cao, Y Liu, B Gu, T Wang - Frontiers of Information …, 2020 - Springer
Cyber-physical systems (CPSs) have emerged as a potential enabling technology to handle
the challenges in social and economic sustainable development. Since it was proposed in …

Model transformation modularization as a many-objective optimization problem

M Fleck, J Troya, M Kessentini… - IEEE Transactions …, 2017 - ieeexplore.ieee.org
Model transformation programs are iteratively refined, restructured, and evolved due to
many reasons such as fixing bugs and adapting existing transformation rules to new …

Static analysis of model transformations

JS Cuadrado, E Guerra… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
Model transformations are central to Model-Driven Engineering (MDE), where they are used
to transform models between different languages; to refactor and simulate models; or to …

Software language engineering in the large: towards composing and deriving languages

K Hölldobler, B Rumpe, A Wortmann - Computer Languages, Systems & …, 2018 - Elsevier
Suitable software languages are crucial to tackling the ever-increasing complexity of
software engineering processes and software products. They model, specify, and test …

Spectrum-based fault localization in model transformations

J Troya, S Segura, JA Parejo… - ACM Transactions on …, 2018 - dl.acm.org
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they
provide the essential mechanisms for manipulating and transforming models. The …

Mashup of metalanguages and its implementation in the kermeta language workbench

JM Jézéquel, B Combemale, O Barais… - Software & Systems …, 2015 - Springer
With the growing use of domain-specific languages (DSL) in industry, DSL design and
implementation goes far beyond an activity for a few experts only and becomes a …

Automated inference of likely metamorphic relations for model transformations

J Troya, S Segura, A Ruiz-Cortés - Journal of Systems and Software, 2018 - Elsevier
Abstract Model transformations play a cornerstone role in Model-Driven Engineering (MDE)
as they provide the essential mechanisms for manipulating and transforming models …

Addressing modularity for heterogeneous multi-model systems using model federation

FR Golra, A Beugnard, F Dagnat, S Guerin… - … Proceedings of the …, 2016 - dl.acm.org
Model-Driven Engineering (MDE) proposes to modularize complex software-intensive
systems using multiple models where each module serves a specific concern. These …