Practical verification strategy for refinement conditions in UML models

This paper presents an automatic and simple method for creating refinement condition for UML models. Conditions are fully written in OCL, making it unnecessary the application of mathematical languages which are in general hardly accepted to software engineers. Besides, considering that the state sp...

Descripción completa

Detalles Bibliográficos
Autores principales: Pons, Claudia, García, Diego
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2006
Materias:
Ciencias Informáticas
Verification
Language models
UML models
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24040
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24040
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
Verification
Language models
UML models
spellingShingle Ciencias Informáticas
Verification
Language models
UML models
Pons, Claudia
García, Diego
Practical verification strategy for refinement conditions in UML models
topic_facet Ciencias Informáticas
Verification
Language models
UML models
description This paper presents an automatic and simple method for creating refinement condition for UML models. Conditions are fully written in OCL, making it unnecessary the application of mathematical languages which are in general hardly accepted to software engineers. Besides, considering that the state space where OCL conditions are evaluated might be too large (or even infinite), the strategy of micromodels is applied in order to reduce the search space. The overall contribution is to propitiate the performing of verification activities during the model-driven development process.
format Objeto de conferencia
Objeto de conferencia
author Pons, Claudia
García, Diego
author_facet Pons, Claudia
García, Diego
author_sort Pons, Claudia
title Practical verification strategy for refinement conditions in UML models
title_short Practical verification strategy for refinement conditions in UML models
title_full Practical verification strategy for refinement conditions in UML models
title_fullStr Practical verification strategy for refinement conditions in UML models
title_full_unstemmed Practical verification strategy for refinement conditions in UML models
title_sort practical verification strategy for refinement conditions in uml models
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/24040
work_keys_str_mv AT ponsclaudia practicalverificationstrategyforrefinementconditionsinumlmodels
AT garciadiego practicalverificationstrategyforrefinementconditionsinumlmodels
bdutipo_str Repositorios
_version_ 1764820466522914816

Ejemplares similares