全局顺序匹配约束相关论文