| Abstract Revealing Undercover Refinement in UML Modeling (2008) | |||||||||||||||||
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. | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||