Abstract: In this paper, a refaetoring＇s formalization based on procedure blueprint is proposed, which changes refactoring form from based on source program code to based on visual software model. By using this formalization, refaetoring transformation operations b

Key words: Model refactoring, Procedure blueprint, Pre-condition, Post-condition, Behaviour preservation