Revealing undercover refinement in UML modeling

Título:

Revealing undercover refinement in UML modeling

Autor:

Pons, Claudia Fabiana

Colaboradores:

; Kutsche, Ralf-Detlef; Pérez, Gabriela

Temas:

UMLHERRAMIENTAS DE SOFTWAREREFINAMIENTO DE PROGRAMASMÉTODOS FORMALESPROCESO DE DESARROLLO DE SOFTWARE

En:

Proceedings of the 30th Latin-American Conference on Informatics-CLEI 2004, September 2004.

Resumen:

En el lenguaje UML existe un artefacto llamado “Abstraction” que permite la documentación explicita de la relación de abstracción/refinamiento entre modelos. Sin embargo, numerosas variantes de esta relación permanecen ocultas detrás de otras notaciones. El punto de partida para rastrear requerimientos a través de los pasos de refinamiento definidos en el modelo, es descubrir y capturar precisamente las distintas formas de la relación de abstracción/refinamiento, en particular aquellas formas que están ocultas en el modelo. En este articulo describimos formalmente varias formas de refinamiento encubierto y presentamos a PAMPERO, una herramienta de software integrada en el ambiente Eclipse, basada en la definición formal de refinamiento. La herramienta soporta la documentación de refinamientos explícitos y además permite descubrir y documentar refinamientos ocultos semi-automáticamente. -- Palabras claves: Refinamientos, Lenguajes de Modelado, Unified Modeling Language, UML, Traceability, Herramientas Case.

URL/DOI:

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Idioma:

Inglés

Publicación:

, 2004

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

Ver estantes