Por favor, use este identificador para citar o enlazar este ítem:
https://doi.org/10.1109/TSE.2016.2635137
Twittear
Título: | Static Analysis of Model Transformations |
Fecha de publicación: | 2017 |
Cita bibliográfica: | IEEE Transactions on Software Engineering ( Volume: 43, Issue: 9, 01 September 2017) |
Palabras clave: | Model transformation ATL Static analysis Verification Model finding |
Resumen: | 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 generate code from models. Thus, given their prominent role in MDE, practical methods helping in detecting errors in transformations and automate their verification are needed. In this paper, we present a method for the static analysis of ATL model transformations. The method aims at discovering typing and rule errors, like unresolved bindings, uninitialized features or rule conflicts. It relies on static analysis and type inference, and uses constraint solving to assert whether a source model triggering the execution of a given problematic statement can possibly exist. Our method is supported by a tool that integrates seamlessly with the ATL development environment. To evaluate the usefulness of our method, we have used it to analyse a public repository of ATL transformations. The high number of errors discovered shows that static analysis of ATL transformations is needed in practice. Moreover, we have measured the precision and recall of the method by considering a synthetic set of transformations obtained by mutation techniques, and comparing with random testing. The experiment shows good overall results in terms of false positives and negatives. |
Autor/es principal/es: | Sánchez Cuadrado, Jesús Guerra, Esther de Lara, Juan |
Facultad/Departamentos/Servicios: | Facultades, Departamentos, Servicios y Escuelas::Departamentos de la UMU::Informática y Sistemas |
URI: | http://hdl.handle.net/10201/138035 |
DOI: | https://doi.org/10.1109/TSE.2016.2635137 |
Tipo de documento: | info:eu-repo/semantics/article |
Número páginas / Extensión: | 30 |
Derechos: | info:eu-repo/semantics/embargoedAccess |
Aparece en las colecciones: | Artículos: Informática y Sistemas |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
tse2017-anatlyzer.pdf | Versión final | 3,38 MB | Adobe PDF | Visualizar/Abrir Solicitar una copia |
Los ítems de Digitum están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.