6.3.3 基于服务行为约束模型的收敛路径集生成