Buscar
Mostrando ítems 1-9 de 9
Artículo
Spectrum-Based Fault Localization in Model Transformations
(ACM, 2018)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms for manipulating and transforming models. The correctness of software built using MDE techniques ...
Artículo
Evaluation of Model Transformation Approaches for Model Refactoring
(Elsevier, 2014)
This paper provides a systematic evaluation framework for comparing model transformation approaches, based upon the ISO/IEC 9126-1 quality characteristics for software systems. We apply this framework to compare five ...
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
A Rewriting Logic Semantics for ATL
(AITO: Association Internationale pour les Technologies Objets, 2011)
As the complexity of model transformation (MT) grows, the need to rely on formal semantics of MT languages becomes a critical issue. Formal semantics provide precise speci cations of the expected behavior of transformations, ...
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 ...