A UML Extension to Specify Model Refinements
 
Natalia Correa
Universidad Nacional de La Plata, Facultad de Informática,
LIFIA - Laboratorio de Investigación y Formación en Informática Avanzada
La Plata, Argentina, 1900
nataliac@sol.info.unlp.edu.ar

and

Roxana Giandini
Universidad Nacional de La Plata, Facultad de Informática,
LIFIA - Laboratorio de Investigación y Formación en Informática Avanzada
La Plata, Argentina, 1900
giandini@sol.info.unlp.edu.ar
 
Abstract
 
The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relationship makes it possible to trace the requirements through the refinement steps. Unfortunately, the standard modeling language UML suffers from a lack of notation to specify refinements in a precise way; in particular, compound refinements can be only partially specified, weakening the traceability potential. In this article , we present an extension of UML to express complex model refinements by means of a well defined composition of elementary refinements. Such extension includes an optional notation to specify complex refinements in an accurate and complete way, thus improving the traceability process.
 
Keywords: Software Engineering, Modelling Languages, Model Refinements, UML Extension.
 
Resumen
 
Por medio de los refinamientos podemos capturar la relación que existe entre la especificación y la implementación en un desarrollo de software. Documentar con precisión esta relación facilita el “rastreo” de los requerimientos a través de los pasos de refinamientos. Desafortunadamente, el lenguaje estándar de modelado UML carece de notación para expresar refinamientos en forma precisa; en particular, refinamientos complejos pueden documentarse solo parcialmente, lo cual disminuye la posibilidad de rastreo. En este artículo presentamos una extensión de UML para expresar refinamientos complejos mediante una combinación bien definida de otros refinamientos más elementales. La extensión propuesta incluye una notación para especificar refinamientos complejos de forma precisa y completa, lo cual favorece al proceso de rastreo.
 

Palabras claves: Ingeniería de Software, Lenguajes de Modelado, Refinamientos de Modelos, Extensión de UML.