Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2019-10-25T17:34:49Z
dc.date.available 2019-10-25T17:34:49Z
dc.date.issued 2008
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/84102
dc.description.abstract Model Driven Engineering proposes the use of models at different levels of abstraction. Step by step validation of model refinements is necessary to guarantee the correctness of the final product with respect to its initial models. But, given that accurate validation activities require the application of formal modeling languages with a complex syntax and semantics and need to use complex formal analysis tools, they are rarely used in practice. In this article we describe a lightweight validation approach that does not require the use of third-party (formal) languages. The approach makes use of the standard OCL as the only visible formalism, so that refinements can be checked by using tools that are fully understood by the MDE community. Additionally, for the efficient evaluation of the refinement conditions a hybrid strategy that combines model checking, testing and theorem proving is implemented. Correctness and complexity of the proposal are empirically validated by means of the development of case studies and a comparison with the Alloy analyzer. en
dc.format.extent 43-61 es
dc.language en es
dc.subject model checking es
dc.subject model transformation es
dc.subject modeling es
dc.subject MOF es
dc.subject Object Constraint Language es
dc.subject OCL es
dc.subject refinement es
dc.subject testing es
dc.subject UML es
dc.subject validation es
dc.title A Lightweight Approach for the Semantic Validation of Model Refinements en
dc.type Articulo es
sedici.identifier.other doi:10.1016/j.entcs.2008.11.005 es
sedici.identifier.other eid:2-s2.0-56849134057 es
sedici.identifier.issn 1571-0661 es
sedici.creator.person Pons, Claudia es
sedici.creator.person García, Diego es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Laboratorio de Investigación y Formación en Informática Avanzada es
sedici.subtype Articulo es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/4.0/
sedici.description.peerReview peer-review es
sedici.relation.journalTitle Electronic Notes in Theoretical Computer Science es
sedici.relation.journalVolumeAndIssue vol. 220, no. 1 es
sedici.rights.sherpa * RoMEO: verde* Pre-print del autor: can* Post-print del autor: can* Versión de editor/PDF:cannot* Condiciones:>>Authors pre-print on any website, including arXiv and RePEC>>Author's post-print on author's personal website immediately>>Author's post-print on open access repository after an embargo period of between 12 months and 48 months>>Permitted deposit due to Funding Body, Institutional and Governmental policy or mandate, may be required to comply with embargo periods of 12 months to 48 months>>Author's post-print may be used to update arXiv and RepEC>>La versión de editor/PDF no puede utilizarse>>Debe enlazar a la versión de editor con DOI>>Author's post-print must be released with a Creative Commons Attribution Non-Commercial No Derivatives License>>Publisher last reviewed on 03/06/2015* Link a Sherpa: http://sherpa.ac.uk/romeo/issn/1571-0661/es/


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (1.342Mb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)