（1）獲取現(xiàn)行系統(tǒng)的物理模型；
（2）獲取現(xiàn)行系統(tǒng)的邏輯模型；
（3）獲取目標系統(tǒng)的邏輯模型；
（4）優(yōu)化目標系統(tǒng)的邏輯模型。