Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/29599
Cómo citar
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Calegari, Daniel | - |
dc.contributor.author | Szasz, Nora | - |
dc.date.accessioned | 2021-09-22T10:28:50Z | - |
dc.date.available | 2021-09-22T10:28:50Z | - |
dc.date.issued | 2012 | - |
dc.identifier.citation | Calegari, D. y Szasz, N. Verification of model transformations : A survey of the state-of-the-art (Extended version) [en línea]. Montevideo : Udelar. FI. INCO : PEDECIBA. Área Informática, 2012. Reporte Técnico RT 12-05. | es |
dc.identifier.issn | 0797-6410 | - |
dc.identifier.other | Reporte Técnico RT 12-05 | - |
dc.identifier.uri | https://hdl.handle.net/20.500.12008/29599 | - |
dc.description.abstract | Within the Model-Driven Engineering paradigm, software development is based on the definition of models providing different views of the system to be constructed and model transformations supporting a (semi)automatic development process. The verification of models and model transformations is crucial in order to improve the quality and the reliability of the products developed using this paradigm. In this context, the verification of a model transformation has three main components: the transformation itself, the properties of interest addressed, and the verification techniques used to establish the properties. In this paper we present an exhaustive review of the literature on the verification of model transformations analyzing these three components. We also take a problem-based approach illustrating those aspects of interest that could be verified on a model transformation and show how this can be done. Finally, we conclude the need of an integrated environment for addressing the heterogeneous verification of model transformations. | es |
dc.description.abstract | Dentro del paradigma de Ingeniería Dirigida por Modelos el desarrollo de software se basa en la definición de modelos que proveen diferentes vistas del sistema a construir y transformaciones de dichos modelos que soportan un proceso de desarrollo (semi)automático. La verificación de los modelos y de las transformaciones es crucial a los efectos de mejorar la calidad y confiabilidad de los productos desarrollados utilizando este paradigma. En este contexto, la verificación de una transformación de modelos tiene tres componentes: la transformación en sí misma, las propiedades de interés involucradas y las técnicas de verificación utilizadas para establecer las propiedades. En este artículo presentamos una revisión exhaustiva de la literatura existente sobre verificación de transformaciones de modelos, analizando estos tres componentes. Además, tomamos un enfoque basado en problemas, ejemplificando los aspectos de interés que podrían ser verificados en una transformación de modelos y cómo estos podrían serlo. Finalmente concluimos sobre la necesidad de contar con un ambiente integrado para llevar a cabo la verificación heterogénea de transformaciones de modelos. | es |
dc.format.extent | 48 p. | es |
dc.format.mimetype | application/pdf | es |
dc.language.iso | en | es |
dc.publisher | Udelar. FI. | es |
dc.rights | Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad de la República.(Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014) | es |
dc.subject | Model-driven engineering | es |
dc.subject | Model transformations | es |
dc.subject | Formal verification | es |
dc.subject | Ingeniería dirigida por modelos | es |
dc.subject | Transformaciones de modelos | es |
dc.subject | Verificación formal | es |
dc.title | Verification of model transformations : A survey of the state-of-the-art (Extended version) | es |
dc.type | Reporte técnico | es |
dc.contributor.filiacion | Calegari Daniel, Universidad de la República (Uruguay). Facultad de Ingeniería. | - |
dc.contributor.filiacion | Szasz Nora, Universidad ORT (Uruguay). Facultad de Ingeniería. | - |
dc.rights.licence | Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0) | es |
Aparece en las colecciones: | Reportes Técnicos - Instituto de Computación |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | ||
---|---|---|---|---|---|
CS12.pdf | Reporte técnico | 669,84 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons