A Lightweight Approach for the Semantic Validation of Model Refinements

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 applicati...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Pons, Claudia, García, Diego
Formato:	Articulo
Lenguaje:	Inglés
Publicado:	2008
Materias:	Ciencias Informáticas model checking model transformation modeling MOF Object Constraint Language OCL refinement testing UML validation
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/84102
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-84102
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Inglés
topic	Ciencias Informáticas model checking model transformation modeling MOF Object Constraint Language OCL refinement testing UML validation
spellingShingle	Ciencias Informáticas model checking model transformation modeling MOF Object Constraint Language OCL refinement testing UML validation Pons, Claudia García, Diego A Lightweight Approach for the Semantic Validation of Model Refinements
topic_facet	Ciencias Informáticas model checking model transformation modeling MOF Object Constraint Language OCL refinement testing UML validation
description	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.
format	Articulo Articulo
author	Pons, Claudia García, Diego
author_facet	Pons, Claudia García, Diego
author_sort	Pons, Claudia
title	A Lightweight Approach for the Semantic Validation of Model Refinements
title_short	A Lightweight Approach for the Semantic Validation of Model Refinements
title_full	A Lightweight Approach for the Semantic Validation of Model Refinements
title_fullStr	A Lightweight Approach for the Semantic Validation of Model Refinements
title_full_unstemmed	A Lightweight Approach for the Semantic Validation of Model Refinements
title_sort	lightweight approach for the semantic validation of model refinements
publishDate	2008
url	http://sedici.unlp.edu.ar/handle/10915/84102
work_keys_str_mv	AT ponsclaudia alightweightapproachforthesemanticvalidationofmodelrefinements AT garciadiego alightweightapproachforthesemanticvalidationofmodelrefinements AT ponsclaudia lightweightapproachforthesemanticvalidationofmodelrefinements AT garciadiego lightweightapproachforthesemanticvalidationofmodelrefinements
bdutipo_str	Repositorios
_version_	1764820488380481540

A Lightweight Approach for the Semantic Validation of Model Refinements

Ejemplares similares