关键词: 模型重构 过程蓝图 前置条件 后置条件 行为保持

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