{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T03:41:07Z","timestamp":1762746067037,"version":"build-2065373602"},"reference-count":48,"publisher":"World Scientific Pub Co Pte Ltd","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Model. Simul. Sci. Comput."],"published-print":{"date-parts":[[2025,10]]},"abstract":"<jats:p>In software development, ensuring requirements consistency is critical, especially for time-dependent behaviors, where scenario-specific inconsistencies may emerge. Traditional manual modeling methods are labor-intensive and often overlook temporal complexities, making them unsuitable for complex and scalable systems. To address this, automated modeling techniques are needed to improve efficiency. However, existing automated methods lack the formal precision required for verifying inconsistencies using theorem provers like Z3 and CVC4. To resolve this, we propose a novel method named Requirement Auto-Modeling Inconsistency Checking with LLMs and GCN (RAMIC-LG), which integrates Large Language Models (LLMs) and Graph Convolutional Network (GCN). This method leverages LLMs to automatically extract use cases from requirement documents and convert them into semi-formal Clock Constraint Specification Language (CCSL) expressions. GCN is then used to analyze these constraints and detect inconsistencies, offering a more efficient and flexible alternative to traditional verification tools. Experimental results demonstrate that RAMIC-LG achieves 0.865 accuracy, 0.884 recall, 0.865 precision, 0.867 F1 score and 0.952 node coverage in detecting temporal inconsistencies, outperforming baseline approaches.<\/jats:p>","DOI":"10.1142\/s179396232550059x","type":"journal-article","created":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T06:38:59Z","timestamp":1756967939000},"source":"Crossref","is-referenced-by-count":0,"title":["Scenario-specific inconsistency checking for requirement auto-modeling via LLMs and GCN"],"prefix":"10.1142","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7641-6369","authenticated-orcid":false,"given":"Liwei","family":"Zheng","sequence":"first","affiliation":[{"name":"School of Computer Science, Beijing Information Science and Technology University, Beijing 100101, P. R. China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-2385-3274","authenticated-orcid":false,"given":"Yuxuan","family":"Nie","sequence":"additional","affiliation":[{"name":"School of Computer Science, Beijing Information Science and Technology University, Beijing 100101, P. R. China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-8771-5597","authenticated-orcid":false,"given":"Jingkai","family":"Shi","sequence":"additional","affiliation":[{"name":"School of Computer Science, Beijing Information Science and Technology University, Beijing 100101, P. R. China"}]}],"member":"219","published-online":{"date-parts":[[2025,9,20]]},"reference":[{"key":"S179396232550059XBIB002","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00043"},{"key":"S179396232550059XBIB004","doi-asserted-by":"publisher","DOI":"10.23919\/DATE48585.2020.9116344"},{"key":"S179396232550059XBIB005","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.6550"},{"key":"S179396232550059XBIB006","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-78089-0_7"},{"key":"S179396232550059XBIB007","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102546"},{"key":"S179396232550059XBIB008","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2023.3285412"},{"key":"S179396232550059XBIB009","doi-asserted-by":"publisher","DOI":"10.1109\/REW57809.2023.00035"},{"key":"S179396232550059XBIB010","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-24950-1_5"},{"key":"S179396232550059XBIB011","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_14"},{"key":"S179396232550059XBIB012","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_26"},{"key":"S179396232550059XBIB013","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"S179396232550059XBIB014","doi-asserted-by":"publisher","DOI":"10.1145\/3019612.3019787"},{"key":"S179396232550059XBIB015","first-page":"1","volume-title":"Proc. Workshop Formal Model-Driven Techniques for Developing Trustworthy Systems at 18th Int. Conf. Formal Engineering Methods","author":"Bienm\u00fcller T.","year":"2016"},{"key":"S179396232550059XBIB016","first-page":"1","volume":"76","author":"Becker J. S.","year":"2018","journal-title":"Proc. Electron. Commun. EASST"},{"key":"S179396232550059XBIB017","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2015.7185035"},{"key":"S179396232550059XBIB018","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19858-8_17"},{"volume-title":"Monographs in Theoretical Computer Science","year":"2004","author":"Chaochen Z.","key":"S179396232550059XBIB019"},{"key":"S179396232550059XBIB020","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27705-4_18"},{"key":"S179396232550059XBIB021","doi-asserted-by":"publisher","DOI":"10.1109\/TASE49443.2020.00037"},{"key":"S179396232550059XBIB022","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.08.015"},{"key":"S179396232550059XBIB023","doi-asserted-by":"publisher","DOI":"10.1109\/REW53955.2021.00076"},{"key":"S179396232550059XBIB024","doi-asserted-by":"publisher","DOI":"10.1109\/ISSSR58837.2023.00032"},{"issue":"6","key":"S179396232550059XBIB025","first-page":"1595","volume":"29","author":"Zhang M.","year":"2018","journal-title":"J. Softw."},{"key":"S179396232550059XBIB026","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2022.102777"},{"key":"S179396232550059XBIB027","doi-asserted-by":"publisher","DOI":"10.1109\/REW57809.2023.00039"},{"key":"S179396232550059XBIB028","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-024-00416-3"},{"key":"S179396232550059XBIB029","first-page":"1","volume":"2024","author":"Jin B.","year":"2024","journal-title":"Asian J. Econ. Bank."},{"key":"S179396232550059XBIB030","doi-asserted-by":"publisher","DOI":"10.18282\/gfr.v6i1.3491"},{"key":"S179396232550059XBIB031","doi-asserted-by":"publisher","DOI":"10.1108\/JM2-09-2023-0207"},{"key":"S179396232550059XBIB032","doi-asserted-by":"publisher","DOI":"10.1177\/03019233241254891"},{"key":"S179396232550059XBIB033","doi-asserted-by":"publisher","DOI":"10.1108\/JM2-12-2023-0315"},{"key":"S179396232550059XBIB034","doi-asserted-by":"publisher","DOI":"10.1007\/s42824-024-00123-y"},{"key":"S179396232550059XBIB035","doi-asserted-by":"publisher","DOI":"10.1177\/03019233241249361"},{"key":"S179396232550059XBIB036","doi-asserted-by":"publisher","DOI":"10.1007\/s00181-016-1094-4"},{"key":"S179396232550059XBIB037","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2007.29"},{"key":"S179396232550059XBIB038","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744775"},{"key":"S179396232550059XBIB039","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2014.24"},{"key":"S179396232550059XBIB041","doi-asserted-by":"publisher","DOI":"10.1145\/3670794"},{"key":"S179396232550059XBIB042","doi-asserted-by":"publisher","DOI":"10.1109\/REW61692.2024.00035"},{"key":"S179396232550059XBIB043","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0109-0"},{"key":"S179396232550059XBIB044","first-page":"24824","volume":"35","author":"Wei J.","year":"2022","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"S179396232550059XBIB045","doi-asserted-by":"publisher","DOI":"10.1109\/REW57809.2023.00052"},{"key":"S179396232550059XBIB046","doi-asserted-by":"publisher","DOI":"10.1145\/3560815"},{"key":"S179396232550059XBIB047","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-W58399.2023.00065"},{"key":"S179396232550059XBIB048","first-page":"729","volume":"2","author":"Gori M.","year":"2005","journal-title":"Proc. IEEE Int. Jt. Conf. Neural Netw."},{"key":"S179396232550059XBIB050","doi-asserted-by":"publisher","DOI":"10.1142\/S1793962324410162"},{"key":"S179396232550059XBIB051","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2019.00040"},{"key":"S179396232550059XBIB054","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2017.29"}],"container-title":["International Journal of Modeling, Simulation, and Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S179396232550059X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T03:39:07Z","timestamp":1762745947000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S179396232550059X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,20]]},"references-count":48,"journal-issue":{"issue":"05","published-print":{"date-parts":[[2025,10]]}},"alternative-id":["10.1142\/S179396232550059X"],"URL":"https:\/\/doi.org\/10.1142\/s179396232550059x","relation":{},"ISSN":["1793-9623","1793-9615"],"issn-type":[{"type":"print","value":"1793-9623"},{"type":"electronic","value":"1793-9615"}],"subject":[],"published":{"date-parts":[[2025,9,20]]},"article-number":"2550059"}}