Model transformation testing and debugging: A survey
Model transformations are the key technique in Model-Driven Engineering (MDE) to
manipulate and construct models. As a consequence, the correctness of software systems …
manipulate and construct models. As a consequence, the correctness of software systems …
Model transformation intents and their properties
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 …
transformation. In this paper, a framework for the description of model transformation intents …
Static analysis of model transformations
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 …
to transform models between different languages; to refactor and simulate models; or to …
A graph solver for the automated generation of consistent domain-specific models
Many testing and benchmarking scenarios in software and systems engineering depend on
the systematic generation of graph models. For instance, tool qualification necessitated by …
the systematic generation of graph models. For instance, tool qualification necessitated by …
Automated inference of likely metamorphic relations for model transformations
Abstract Model transformations play a cornerstone role in Model-Driven Engineering (MDE)
as they provide the essential mechanisms for manipulating and transforming models …
as they provide the essential mechanisms for manipulating and transforming models …
Least-change bidirectional model transformation with QVT-R and ATL
Abstract QVT Relations (QVT-R) is the standard language proposed by the OMG to specify
bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions …
bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions …
A survey of model transformation design patterns in practice
K Lano, S Kolahdouz-Rahimi… - Journal of Systems and …, 2018 - Elsevier
Abstract Model transformation design patterns have been proposed by a number of
researchers, but their usage appears to be sporadic and sometimes patterns are applied …
researchers, but their usage appears to be sporadic and sometimes patterns are applied …
Towards the automated generation of consistent, diverse, scalable and realistic graph models
Automated model generation can be highly beneficial for various application scenarios
including software tool certification, validation of cyber-physical systems or benchmarking …
including software tool certification, validation of cyber-physical systems or benchmarking …
Co-evolution of metamodels and models through consistent change propagation
A Demuth, M Riedl-Ehrenleitner… - Journal of Systems and …, 2016 - Elsevier
In model-driven engineering (MDE), metamodels and domain-specific languages are key
artifacts as they are used to define syntax and static semantics of domain models. However …
artifacts as they are used to define syntax and static semantics of domain models. However …
Formal validation of domain-specific languages with derived features and well-formedness constraints
Despite the wide range of existing tool support, constructing a design environment for a
complex domain-specific language (DSL) is still a tedious task as the large number of …
complex domain-specific language (DSL) is still a tedious task as the large number of …