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 …

Melange: A meta-language for modular and reusable development of dsls

T Degueule, B Combemale, A Blouin, O Barais… - Proceedings of the …, 2015 - dl.acm.org
Domain-Specific Languages (DSLs) are now developed for a wide variety of domains to
address specific concerns in the development of complex systems. When engineering new …

Multi-paradigm modelling for cyber–physical systems: a descriptive framework

M Amrani, D Blouin, R Heinrich, A Rensink… - Software and Systems …, 2021 - Springer
The complexity of cyber–physical systems (CPSs) is commonly addressed through complex
workflows, involving models in a plethora of different formalisms, each with their own …

Meta-model pruning

S Sen, N Moha, B Baudry, JM Jézéquel - International Conference on …, 2009 - Springer
Large and complex meta-models such as those of Uml and its profiles are growing due to
modelling and inter-operability needs of numerous stakeholders. The complexity of such …

Model transformation co-evolution: A semi-automatic approach

J García, O Diaz, M Azanza - International conference on software …, 2012 - Springer
Abstract Model transformations are precious and effortful outcomes of Model-Driven
Engineering. As any other artifact, transformations are also subject to evolution forces. Not …

Model driven language engineering with kermeta

JM Jézéquel, O Barais, F Fleurey - International Summer School on …, 2009 - Springer
In many domains such as telecom, aerospace and automotive industries, engineers rely on
Domain Specific Modeling Languages (DSML) to solve the complex issues of engineering …

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 …

Model-driven engineering with domain-specific meta-modelling languages

J de Lara, E Guerra, JS Cuadrado - Software & Systems Modeling, 2015 - Springer
Abstract Domain-specific modelling languages are normally defined through general-
purpose meta-modelling languages like the MOF. While this is satisfactory for many model …

Verification of model transformations: A survey of the state-of-the-art

D Calegari, N Szasz - Electronic notes in theoretical computer science, 2013 - Elsevier
Within the Model-Driven Engineering paradigm, software development is based on the
definition of models providing different views of the system to be constructed and model …

Formal specification and testing of model transformations

A Vallecillo, M Gogolla, L Burgueno, M Wimmer… - International School on …, 2012 - Springer
In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …