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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …