4.5 基于Process的模型验证