A UML extension to specify model refinements
Material type:
ArticleSeries: ^p Datos electrónicos (1 archivo : 294 KB)Subject(s): Online resources: Summary: 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.
| 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 | A0064 (Browse shelf(Opens below)) | Link to resource | No corresponde |
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Disponible también en línea (Cons. 7 nov. 2008)
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.
CLEI 2006.