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 …

On the verification of UML/OCL class diagrams using constraint programming

J Cabot, R Clarisó, D Riera - Journal of Systems and Software, 2014 - Elsevier
Assessment of the correctness of software models is a key issue to ensure the quality of the
final application. To this end, this paper presents an automatic method for the verification of …

Henshin: A usability-focused framework for EMF model transformation development

D Strüber, K Born, KD Gill, R Groner, T Kehrer… - … Conference, ICGT 2017 …, 2017 - Springer
Improved usability of tools is a fundamental prerequisite for a more widespread industrial
adoption of Model-Driven Engineering. We present the current state of Henshin, a model …

A survey of approaches for verifying model transformations

L Ab. Rahim, J Whittle - Software & Systems Modeling, 2015 - Springer
As with other software development artifacts, model transformations are not bug-free and so
must be systematically verified. Their nature, however, means that transformations require …

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 …

Automated verification of model transformations based on visual contracts

E Guerra, J de Lara, M Wimmer, G Kappel… - Automated Software …, 2013 - Springer
Abstract Model-Driven Engineering promotes the use of models to conduct the different
phases of the software development. In this way, models are transformed between different …

Verification of ATL transformations using transformation models and model finders

F Büttner, M Egea, J Cabot, M Gogolla - Formal Methods and Software …, 2012 - Springer
In model-driven engineering, models constitute pivotal elements of the software to be built. If
models are specified well, transformations can be employed for different purposes, eg, to …

Static fault localization in model transformations

L Burgueno, J Troya, M Wimmer… - IEEE Transactions on …, 2014 - ieeexplore.ieee.org
As the complexity of model transformations grows, there is an increasing need to count on
methods, mechanisms, and tools for checking their correctness, ie, the alignment between …

Model-transformation design patterns

K Lano, S Kolahdouz-Rahimi - IEEE Transactions on Software …, 2014 - ieeexplore.ieee.org
This paper defines a catalogue of patterns for the specification and design of model
transformations, and provides a systematic scheme and classification of these patterns …

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 …