TY  - GEN
AU  - Pons,Claudia Fabiana
AU  - García,Carlos Diego
TI  - Practical verification strategy for refinement conditions in UML models
T2  - ^p Datos electrónicos (1 archivo : 100 KB)
KW  - REFINAMIENTO DE PROGRAMAS
KW  - LENGUAJE DE ESPECIFICACIÓN OCL
KW  - UML
KW  - INGENIERÍA DE SOFTWARE DIRIGIDA POR MODELOS - MDE
N1  - Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Disponible también en línea (Cons. 09/03/2009); 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
N2  - 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
UR  - www.lifia.info.unlp.edu.ar/papers/2006/Pons2006a.pdf
ER  -