Traceability across refinement steps in UML modeling

Mostrar todas las versiones(2)
Detalles Bibliográficos
Autor Principal: Pons, Claudia Fabiana
Otros autores o Colaboradores: Kutsche, Ralf-Detlef
Formato: Capítulo de libro
Lengua:inglés
Series:^p Datos electrónicos (1 archivo : 231 KB)
Temas:
PROCESO DE DESARROLLO DE SOFTWARE
MÉTODOS FORMALES
REFINAMIENTO DE PROGRAMAS
HERRAMIENTAS DE SOFTWARE
UML
Acceso en línea:www.lifia.info.unlp.edu.ar/papers/2004/Pons2004c.pdf
Consultar en el Cátalogo
Resumen:Documenting the refinement relationship between layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model’s vocabulary by translating them to the concrete model’s vocabulary. Refinement has been studied in many formal notations such as Z and B and in different contexts, but there is still a lack of formal definitions of refinement in semi-formal languages, such as the UML. The contribution of this article is to clarify the abstraction/refinement relationship between UML models, providing basis for tools supporting the refinement driven modeling process. We formally describe a number of refinement patterns and present PAMPERO, a tool integrated in the Eclipse environment, based on the formal definition of model refinement.
Notas:Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Formato de archivo: PDF. -- Disponible también en línea (Cons. 3/04/2008)

MARC

LEADER 00000naa a2200000 a 4500
003 AR-LpUFIB
005 20250423183006.0
008 230201s2004 xx o 000 0 eng d
024 8 |a DIF-M2717  |b 2809  |z DIF002624 
040 |a AR-LpUFIB  |b spa  |c AR-LpUFIB 
100 1 |a Pons, Claudia Fabiana  |9 44762 
245 1 0 |a Traceability across refinement steps in UML modeling 
490 0 |a ^p Datos electrónicos (1 archivo : 231 KB) 
500 |a Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Formato de archivo: PDF. -- Disponible también en línea (Cons. 3/04/2008) 
520 |a Documenting the refinement relationship between layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model’s vocabulary by translating them to the concrete model’s vocabulary. Refinement has been studied in many formal notations such as Z and B and in different contexts, but there is still a lack of formal definitions of refinement in semi-formal languages, such as the UML. The contribution of this article is to clarify the abstraction/refinement relationship between UML models, providing basis for tools supporting the refinement driven modeling process. We formally describe a number of refinement patterns and present PAMPERO, a tool integrated in the Eclipse environment, based on the formal definition of model refinement. 
534 |a 3rd Workshop in Software Model Engineering WiSME at the 7th International Conference on the UML, October 2004. 
650 4 |a PROCESO DE DESARROLLO DE SOFTWARE  |9 46300 
650 4 |a MÉTODOS FORMALES  |9 42929 
650 4 |a REFINAMIENTO DE PROGRAMAS  |9 46299 
650 4 |a HERRAMIENTAS DE SOFTWARE  |9 45448 
650 4 |a UML  |9 43454 
700 1 |a Kutsche, Ralf-Detlef  |9 46412 
856 4 0 |u www.lifia.info.unlp.edu.ar/papers/2004/Pons2004c.pdf 
942 |c CP 
952 |0 0  |1 0  |4 0  |6 A0194  |7 3  |8 BD  |9 77093  |a DIF  |b DIF  |d 2025-03-11  |l 0  |o A0194  |r 2025-03-11 17:02:49  |u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=208  |w 2025-03-11  |y CP 
999 |c 52501  |d 52501 

Ejemplares similares