Revealing undercover refinement in UML modeling
Material type:
ArticleSeries: ^p Datos electrónicos (1 archivo : 431 KB)Subject(s): Online resources: Summary: 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.
| Item type | Home library | Collection | Call number | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Capítulo de libro
|
Biblioteca de la Facultad de Informática | Biblioteca digital | A0195 (Browse shelf(Opens below)) | Link to resource | No corresponde |
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)
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.
Proceedings of the 30th Latin-American Conference on Informatics-CLEI 2004, September 2004.