Analyzing Behavioral Refactoring of Class Models.
Wuliang Sun, Indrakshi Ray · 2013
Abstract. Software modelers refactor their design models to improve design quality while preserving essential functional properties. Tools that allow modelers to check whether their refactorings preserve specified essential behaviors are needed to support rigorous model evolution. In this paper we describe a rigorous approach to analyzing design model refactorings that involve changes to operation specifications expressed in the Object Constraint Language (OCL). The analysis checks whether the refactored model preserves the essential behavior of changed operations Factory design pattern is used in the paper to illustrate the approach. Keywords:Behavioral refactoring, UML/OCL, Alloy 1