Automated traceability analysis for UML model refinements

  • Authors:

  • Lionel C. Briand;Yvan Labiche;Tao Yue

  • Affiliations:

  • Simula Research Laboratory, University of Oslo, P.O. Box 134, Lysaker, Norway;Carleton University, Software Quality Engineering Laboratory, 1125 Colonel By Drive, Ottawa, Canada ON K1S 5B6;Carleton University, Software Quality Engineering Laboratory, 1125 Colonel By Drive, Ottawa, Canada ON K1S 5B6

  • Venue:
  • Information and Software Technology
  • Year:
  • 2009

Quantified Score

Hi-index 0.01

Visualization

Abstract

During iterative, UML-based software development, various UML diagrams, modeling the same system at different levels of abstraction are developed. These models must remain consistent when changes are performed. In this context, we refine the notion of impact analysis and distinguish horizontal impact analysis-that focuses on changes and impacts at one level of abstraction-from vertical impact analysis-that focuses on changes at one level of abstraction and their impacts on another level. Vertical impact analysis requires that some traceability links be established between model elements at the two levels of abstraction. We propose a traceability analysis approach for UML 2.0 class diagrams which is based on a careful formalization of changes to those models, refinements which are composed of those changes, and traceability links corresponding to refinements. We show how actual refinements and corresponding traceability links are formalized using the OCL. Tool support and a case study are also described.