4.5 模型的变化:操作契约