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

Ejemplares similares

Ejemplares similares