2.5 声明式模型与期望状态