Practical verification strategy for refinement conditions in UML models

Título:

Practical verification strategy for refinement conditions in UML models

Autor:

Pons, Claudia Fabiana

Colaboradores:

; García, Carlos Diego

Temas:

REFINAMIENTO DE PROGRAMASLENGUAJE DE ESPECIFICACIÓN OCLUMLINGENIERÍA DE SOFTWARE DIRIGIDA POR MODELOS - MDE

En:

Ochoa, Sergio F.; Roman, Gruia-Catalin. Advanced Software Engineering: Expanding the Frontiers of Software Technology, Springer, 2006, pp. 47--61. Proceedings from the 19th IFIP World Computer Congress in Santiago, Chile.

Resumen:

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.

URL/DOI:

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Idioma:

Inglés

Publicación:

, 2006

Puede solicitar más fácilmente el ejemplar con: A0120

Ver estantes