BPEL流程建模中的交叠模式分析与转换