As a new form of service model, crossover services aim to aggregate service resources across multiple domains to meet the complex needs of users and provide value-added services. It has received extensive attention from industry and academia due to its advantages in promoting enterprise services innovation. Crossover services span various business domains intending to meet diverse and continuously changing user requirements across multiple domains. Requirements engineering for crossover services must model user goals in various domains and converge them deeply to drive the subsequent service realization. Due to the domain heterogeneity, however, conflicts may frequently arise after the convergence of goals. Towards this issue, we propose a goal decomposition path-based method to support goal convergence of multiple domains and a computation tree logic-based method to detect conflicts between goals in the converged goal model. We evaluate the proposed method using several real cases from the literature and industry and design a controlled experiment to further assess the method’s performance. Experimental results show the effectiveness of our proposed method.