Practical verification strategy for refinement conditions in UML models

Mostrar todas las versiones(2)
Detalles Bibliográficos
Autor Principal: Pons, Claudia Fabiana
Otros autores o Colaboradores: García, Carlos Diego
Formato: Capítulo de libro
Lengua:inglés
Series:^p Datos electrónicos (1 archivo : 100 KB)
Temas:
REFINAMIENTO DE PROGRAMAS
LENGUAJE DE ESPECIFICACIÓN OCL
UML
INGENIERÍA DE SOFTWARE DIRIGIDA POR MODELOS - MDE
Acceso en línea:www.lifia.info.unlp.edu.ar/papers/2006/Pons2006a.pdf
Consultar en el Cátalogo
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.
Notas: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)

MARC

LEADER 00000naa a2200000 a 4500
003 AR-LpUFIB
005 20250423183002.0
008 230201s2006 xx o 000 0 eng d
024 8 |a DIF-M2621  |b 2714  |z DIF002525 
040 |a AR-LpUFIB  |b spa  |c AR-LpUFIB 
100 1 |a Pons, Claudia Fabiana  |9 44762 
245 1 0 |a Practical verification strategy for refinement conditions in UML models 
490 0 |a ^p Datos electrónicos (1 archivo : 100 KB) 
500 |a 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) 
520 |a 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. 
534 |a 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. 
650 4 |a REFINAMIENTO DE PROGRAMAS  |9 46299 
650 4 |a LENGUAJE DE ESPECIFICACIÓN OCL  |9 46410 
650 4 |a UML  |9 43454 
650 4 |a INGENIERÍA DE SOFTWARE DIRIGIDA POR MODELOS - MDE  |9 46047 
700 1 |a García, Carlos Diego  |9 46343 
856 4 0 |u www.lifia.info.unlp.edu.ar/papers/2006/Pons2006a.pdf 
942 |c CP 
952 |0 0  |1 0  |4 0  |6 A0120  |7 3  |8 BD  |9 76967  |a DIF  |b DIF  |d 2025-03-11  |l 0  |o A0120  |r 2025-03-11 17:02:46  |u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=127  |w 2025-03-11  |y CP 
999 |c 52404  |d 52404 

Ejemplares similares