模型语义分析