Revealing Undercover Refinement in UML Modeling

Claudia Pons (1), Gabriela Perez (1), Ralf-D Kutsche (2)

e-mails: cpons@info.unlp.edu.ar, ,

(1) University of La Plata - Laboratorio de Investigación y Formación en Informática Avanzada Buenos Aires Argentina
(2) Technical University of Berlin - Faculty IV Berlin Alemania

Abstract

Although the Abstraction artifact allows for the explicit documentation of the abstraction/refinement relationship in UML models, an important amount of variations of this relationship remains unspecified, in general hidden under other notations. The starting point to enable traceability of requirements across refinement steps is to discover and precisely capture the various forms of the abstraction/refinement relationship, in particular those forms which are hidden in the model. In this article we formally describe a number of undercover refinements and present PAMPERO, a tool integrated in the Eclipse environment, based on the formal definition of refinement. The tool supports the documentation of explicit refinements and the semi-automatic discovering and documentation of hidden refinements.

Keywords:refinement, Modeling Language, Unified Modeling Language, abstraction, UML, traceability, CASE tool

BibTex

@INPROCEEDINGS{pons04:199,
                  AUTHOR       = {Claudia Pons and Gabriela Perez and Ralf-D Kutsche},
                  TITLE        = {Revealing Undercover Refinement in UML Modeling},
                  BOOKTITLE    = {30ma Conferencia Latinoamericana de Informática (CLEI2004)},
                  YEAR         = {2004},
                  editor       = {Mauricio Solar and David Fernández-Baca and Ernesto Cuadros-Vargas},
                  pages        = {662--673},
                  address      = {},
                  month        = Sep,
                  organization = {Sociedad Peruana de Computación},
                  note         = {ISBN 9972-9876-2-0},
                  file         = {http://clei2004.spc.org.pe/es/html/pdfs/199.pdf}
}

PDF de este artículo
PDF de CLEI2004 (incluye todos los artículos)
Página principal CLEI 2004
Generado por Sociedad Peruana de Computación