{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T06:02:00Z","timestamp":1780120920256,"version":"3.54.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T00:00:00Z","timestamp":1764892800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T00:00:00Z","timestamp":1764892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2022YFF0902701"],"award-info":[{"award-number":["2022YFF0902701"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1007\/s11761-025-00480-9","type":"journal-article","created":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T12:59:14Z","timestamp":1764939554000},"page":"187-198","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automatic conflict detection and resolution in digital service network requirement models using large language models"],"prefix":"10.1007","volume":"20","author":[{"given":"Siyu","family":"Nan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yu","family":"Qiao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yifan","family":"Xie","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zilong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yaling","family":"Luo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bing","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1559-9314","authenticated-orcid":false,"given":"Jian","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,12,5]]},"reference":[{"key":"480_CR1","doi-asserted-by":"crossref","unstructured":"Wang J, Feng Z, Zhang J, Hung PCK, He K et al (2014) A Unified RGPS-Based Approach Supporting Service-Oriented Process Customization, 657\u2013682","DOI":"10.1007\/978-1-4614-7518-7_26"},{"key":"480_CR2","doi-asserted-by":"crossref","unstructured":"Alrajeh D, Kramer J, Van Lamsweerde A, Russo A, Uchitel S (2012) Generating obstacle conditions for requirements completeness. In: 2012 34th International Conference on Software Engineering (ICSE), 705\u2013715","DOI":"10.1109\/ICSE.2012.6227147"},{"key":"480_CR3","doi-asserted-by":"crossref","unstructured":"Murukannaiah PK, Kalia AK, Telangy PR, Singh MP (2015) Resolving goal conflicts via argumentation-based analysis of competing hypotheses. In: 2015 IEEE 23rd International Requirements Engineering Conference (RE), 156\u2013165","DOI":"10.1109\/RE.2015.7320418"},{"key":"480_CR4","first-page":"1877","volume":"33","author":"T Brown","year":"2020","unstructured":"Brown T, Mann B, Ryder N, Subbiah M, Kaplan JD et al (2020) Language models are few-shot learners. Advances in Neural Information Processing Systems 33:1877\u20131901","journal-title":"Advances in Neural Information Processing Systems"},{"key":"480_CR5","unstructured":"OpenAI, J Achiam, S Adler, S Agarwal, L Ahmad, et al.: GPT-4 Technical Report (2024)"},{"key":"480_CR6","unstructured":"DeepSeek-AI, A Liu, B Feng, B Wang, B Wang, et al.: DeepSeek-V2: A Strong, Economical, and Efficient Mixture-of-Experts Language Model (2024)"},{"key":"480_CR7","unstructured":"DeepSeek-AI, A Liu, B Feng, B Xue, B Wang, et al.: DeepSeek-V3 Technical Report (2025)"},{"key":"480_CR8","unstructured":"DeepSeek-AI, D Guo, D Yang, H Zhang, J Song, et al.: DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning (2025)"},{"key":"480_CR9","unstructured":"Touvron H, Lavril T, Izacard G, Martinet X, Lachaux MA et al (2023) LLaMA: Open and Efficient Foundation Language Models"},{"key":"480_CR10","unstructured":"GLM T, Zeng A, Xu B, Wang B et al (2024) ChatGLM: A Family of Large Language Models from GLM-130B to GLM-4 All Tools"},{"key":"480_CR11","doi-asserted-by":"crossref","unstructured":"Wei J, Wang X, Schuurmans D, Bosma M, b ichter et al (2022) Chain-of-thought prompting elicits reasoning in large language models. In: Advances in Neural Information Processing Systems 35:24824\u201324837","DOI":"10.52202\/068431-1800"},{"key":"480_CR12","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.procir.2014.03.192","volume":"21","author":"SJ Herzig","year":"2014","unstructured":"Herzig SJ, Paredis CJ (2014) A conceptual basis for inconsistency management in model-based systems engineering. Procedia Cirp 21:52\u201357","journal-title":"Procedia Cirp"},{"key":"480_CR13","doi-asserted-by":"crossref","unstructured":"Kamalrudin M, Hosking J, Grundy J (2011) Improving requirements quality using essential use case interaction patterns. In: Proceedings of the 33rd International Conference on Software Engineering, 531\u2013540","DOI":"10.1145\/1985793.1985866"},{"issue":"1","key":"480_CR14","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.infsof.2012.06.013","volume":"55","author":"R Ali","year":"2013","unstructured":"Ali R, Dalpiaz F, Giorgini P (2013) Reasoning with contextual requirements: Detecting inconsistency and conflicts. Inf Softw Technol 55(1):35\u201357","journal-title":"Inf Softw Technol"},{"key":"480_CR15","doi-asserted-by":"crossref","unstructured":"Degiovanni R, Ricci N, Alrajeh D, Castro P, Aguirre N (2016) Goal-conflict detection based on temporal satisfiability checking. In: Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, 507\u2013518","DOI":"10.1145\/2970276.2970349"},{"key":"480_CR16","doi-asserted-by":"crossref","unstructured":"Degiovanni R, Castro P, Arroyo M, Ruiz M, Aguirre N et al (2018) Goal-conflict likelihood assessment based on model counting. In: Proceedings of the 40th International Conference on Software Engineering, 1125\u20131135","DOI":"10.1145\/3180155.3180261"},{"key":"480_CR17","doi-asserted-by":"crossref","unstructured":"Degiovanni R, Molina F, Regis G, Aguirre N (2018) A genetic algorithm for goal-conflict identification. In: Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, 520\u2013531","DOI":"10.1145\/3238147.3238220"},{"key":"480_CR18","doi-asserted-by":"crossref","unstructured":"Peng Y, Li B, Wang J, Liu Z (2020) An approach of crossover service goal convergence and conflicts resolution. In: 2020 IEEE World Congress on Services (SERVICES), 225\u2013230","DOI":"10.1109\/SERVICES48979.2020.00053"},{"key":"480_CR19","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/s10270-013-0317-9","volume":"14","author":"J Pinna Puissant","year":"2015","unstructured":"Pinna Puissant J, Van Der Straeten R, Mens T (2015) Resolving model inconsistencies using automated regression planning. Software & Systems Modeling 14:461\u2013481","journal-title":"Software & Systems Modeling"},{"key":"480_CR20","doi-asserted-by":"crossref","unstructured":"Liu Z, Li B, Wang J, Lu X, Qiao Y (2023) Goal model convergence and conflict detection for crossover services. J Syst Softw 199:111625","DOI":"10.1016\/j.jss.2023.111625"},{"key":"480_CR21","doi-asserted-by":"crossref","unstructured":"Liu CL (2010) Ontology-based conflict analysis method in non-functional requirements. In: 2010 IEEE\/ACIS 9th International Conference on Computer and Information Science, 491\u2013496","DOI":"10.1109\/ICIS.2010.26"},{"key":"480_CR22","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.csi.2016.03.002","volume":"47","author":"CL Liu","year":"2016","unstructured":"Liu CL (2016) Cdnfre: Conflict detector in non-functional requirement evolution based on ontologies. Computer Standards & Interfaces 47:62\u201376","journal-title":"Computer Standards & Interfaces"},{"issue":"1","key":"480_CR23","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1002\/sys.21715","volume":"27","author":"S Das","year":"2024","unstructured":"Das S, Deb N, Chaki N, Cortesi A (2024) Minimising conflicts among run-time non-functional requirements within devops. Syst Eng 27(1):177\u2013198","journal-title":"Syst Eng"},{"key":"480_CR24","unstructured":"Wei J, Tay Y, Bommasani R, Raffel C, Zoph B et al (2022) Emergent Abilities of Large Language Models"},{"key":"480_CR25","doi-asserted-by":"crossref","unstructured":"Du Z, Qian Y, Liu X, Ding M, Qiu J et al (2022) GLM: General Language Model Pretraining with Autoregressive Blank Infilling","DOI":"10.18653\/v1\/2022.acl-long.26"},{"key":"480_CR26","unstructured":"Zeng A, Liu X, Du Z, Wang Z, Lai H et al (2023) GLM-130B: An Open Bilingual Pre-trained Model"},{"issue":"6","key":"480_CR27","doi-asserted-by":"publisher","DOI":"10.1016\/j.patter.2025.101260","volume":"6","author":"B Chen","year":"2025","unstructured":"Chen B, Zhang Z, Langren\u00e9 N, Zhu S (2025) Unleashing the potential of prompt engineering for large language models. Patterns 6(6):101260","journal-title":"Patterns"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-025-00480-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11761-025-00480-9","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-025-00480-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T05:26:59Z","timestamp":1780118819000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11761-025-00480-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,5]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["480"],"URL":"https:\/\/doi.org\/10.1007\/s11761-025-00480-9","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,5]]},"assertion":[{"value":"10 June 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 October 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 November 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 December 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that there is no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of Interest"}}]}}