Buscar
Mostrando ítems 1-6 de 6
Artículo
Model Transformation Modularization as a Many-Objective Optimization Problem
(IEEE Computer Society, 2017)
Model transformation programs are iteratively refined, restructured, and evolved due to many reasons such as fixing bugs and adapting existing transformation rules to new metamodels version. Thus, modular design is a ...
Artículo
Search‐based model transformations
(Wiley, 2016)
Model transformations are an important cornerstone of model‐driven engineering, a discipline which facilitates the abstraction of relevant information of a system as models. The success of the final system mainly depends ...
Artículo
Full contract verification for ATL using symbolic execution
(Springer, 2016)
The Atlas Transformation Language (ATL) is currently one of the most used model transformation languages and has become a de facto standard in model-driven engineering for implementing model transformations. At the same ...
Artículo
Model Transformation Testing and Debugging: A Survey
(ACM Digital Library, 2022-11-21)
Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness ...
Artículo
Static Fault Localization in Model Transformations
(IEEE Computer Society, 2015)
As the complexity of model transformations grows, there is an increasing need to count on methods, mechanisms, and tools for checking their correctness, i.e., the alignment between specifications and implementations. In ...
Artículo
A local and global tour on MOMoT
(Springer, 2017)
Many model transformation scenarios require flexible execution strategies as they should produce models with the highest possible quality. At the same time, transformation problems often span a very large search space ...