Por favor, use este identificador para citar o enlazar este ítem:
https://doi.org/10.1109/TSE.2016.2635137
Twittear
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Sánchez Cuadrado, Jesús | - |
dc.contributor.author | Guerra, Esther | - |
dc.contributor.author | de Lara, Juan | - |
dc.contributor.other | Facultades, Departamentos, Servicios y Escuelas::Departamentos de la UMU::Informática y Sistemas | es |
dc.date.accessioned | 2024-01-29T19:42:12Z | - |
dc.date.available | 2024-01-29T19:42:12Z | - |
dc.date.issued | 2017 | - |
dc.identifier.citation | IEEE Transactions on Software Engineering ( Volume: 43, Issue: 9, 01 September 2017) | es |
dc.identifier.uri | http://hdl.handle.net/10201/138035 | - |
dc.description.abstract | 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. | es |
dc.format | application/pdf | es |
dc.format.extent | 30 | es |
dc.language | eng | es |
dc.relation | MINECO proyectos TIN2014-52129-R y TIN2015-73968-JIN (AEI/FEDER/UE) | es |
dc.rights | info:eu-repo/semantics/embargoedAccess | es |
dc.subject | Model transformation | es |
dc.subject | ATL | es |
dc.subject | Static analysis | es |
dc.subject | Verification | es |
dc.subject | Model finding | es |
dc.title | Static Analysis of Model Transformations | es |
dc.type | info:eu-repo/semantics/article | es |
dc.embargo.terms | Si | - |
dc.identifier.doi | https://doi.org/10.1109/TSE.2016.2635137 | - |
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.