{"id":"https://openalex.org/W4413997337","doi":"https://doi.org/10.1142/s179396232550059x","title":"Scenario-specific inconsistency checking for requirement auto-modeling via LLMs and GCN","display_name":"Scenario-specific inconsistency checking for requirement auto-modeling via LLMs and GCN","publication_year":2025,"publication_date":"2025-09-04","ids":{"openalex":"https://openalex.org/W4413997337","doi":"https://doi.org/10.1142/s179396232550059x"},"language":"en","primary_location":{"id":"doi:10.1142/s179396232550059x","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s179396232550059x","pdf_url":null,"source":{"id":"https://openalex.org/S107361000","display_name":"Advances in Complex Systems","issn_l":"0219-5259","issn":["0219-5259","1793-6802","1793-9615","1793-9623"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Modeling, Simulation, and Scientific Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100655623","display_name":"Liwei Zheng","orcid":"https://orcid.org/0000-0001-7641-6369"},"institutions":[{"id":"https://openalex.org/I78675632","display_name":"Beijing Information Science & Technology University","ror":"https://ror.org/04xnqep60","country_code":"CN","type":"education","lineage":["https://openalex.org/I78675632"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Liwei Zheng","raw_affiliation_strings":["School of Computer Science, Beijing Information Science and Technology University, Beijing 100101, P. R. China"],"raw_orcid":"https://orcid.org/0000-0001-7641-6369","affiliations":[{"raw_affiliation_string":"School of Computer Science, Beijing Information Science and Technology University, Beijing 100101, P. R. China","institution_ids":["https://openalex.org/I78675632"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102553690","display_name":"Yuxuan Nie","orcid":null},"institutions":[{"id":"https://openalex.org/I78675632","display_name":"Beijing Information Science & Technology University","ror":"https://ror.org/04xnqep60","country_code":"CN","type":"education","lineage":["https://openalex.org/I78675632"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuxuan Nie","raw_affiliation_strings":["School of Computer Science, Beijing Information Science and Technology University, Beijing 100101, P. R. China"],"raw_orcid":"https://orcid.org/0009-0000-2385-3274","affiliations":[{"raw_affiliation_string":"School of Computer Science, Beijing Information Science and Technology University, Beijing 100101, P. R. China","institution_ids":["https://openalex.org/I78675632"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013481823","display_name":"Jingkai Shi","orcid":"https://orcid.org/0009-0009-8771-5597"},"institutions":[{"id":"https://openalex.org/I78675632","display_name":"Beijing Information Science & Technology University","ror":"https://ror.org/04xnqep60","country_code":"CN","type":"education","lineage":["https://openalex.org/I78675632"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jingkai Shi","raw_affiliation_strings":["School of Computer Science, Beijing Information Science and Technology University, Beijing 100101, P. R. China"],"raw_orcid":"https://orcid.org/0009-0009-8771-5597","affiliations":[{"raw_affiliation_string":"School of Computer Science, Beijing Information Science and Technology University, Beijing 100101, P. R. China","institution_ids":["https://openalex.org/I78675632"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100655623"],"corresponding_institution_ids":["https://openalex.org/I78675632"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.37954575,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":"05","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45410120487213135},{"id":"https://openalex.org/keywords/econometrics","display_name":"Econometrics","score":0.3742581009864807},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.3070107698440552}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45410120487213135},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.3742581009864807},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.3070107698440552}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s179396232550059x","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s179396232550059x","pdf_url":null,"source":{"id":"https://openalex.org/S107361000","display_name":"Advances in Complex Systems","issn_l":"0219-5259","issn":["0219-5259","1793-6802","1793-9615","1793-9623"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Modeling, Simulation, and Scientific Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1439315257","https://openalex.org/W1491420805","https://openalex.org/W1523562824","https://openalex.org/W1920010751","https://openalex.org/W2001289891","https://openalex.org/W2064258818","https://openalex.org/W2081260576","https://openalex.org/W2139403237","https://openalex.org/W2460483353","https://openalex.org/W2617085517","https://openalex.org/W2752540812","https://openalex.org/W2760476066","https://openalex.org/W2773373365","https://openalex.org/W2952467127","https://openalex.org/W2993587011","https://openalex.org/W2999918332","https://openalex.org/W3093415798","https://openalex.org/W3124334311","https://openalex.org/W3166365392","https://openalex.org/W3185341429","https://openalex.org/W3187817311","https://openalex.org/W3210338105","https://openalex.org/W4206949150","https://openalex.org/W4246691913","https://openalex.org/W4316662633","https://openalex.org/W4380303848","https://openalex.org/W4385730916","https://openalex.org/W4385934088","https://openalex.org/W4387143078","https://openalex.org/W4387143088","https://openalex.org/W4387143094","https://openalex.org/W4389289421","https://openalex.org/W4393142189","https://openalex.org/W4397014661","https://openalex.org/W4399050227","https://openalex.org/W4399337197","https://openalex.org/W4399462319","https://openalex.org/W4399548560","https://openalex.org/W4400895424","https://openalex.org/W4401723795","https://openalex.org/W4402804228"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"In":[0],"software":[1],"development,":[2],"ensuring":[3],"requirements":[4],"consistency":[5],"is":[6,119],"critical,":[7],"especially":[8],"for":[9,31,56],"time-dependent":[10],"behaviors,":[11],"where":[12],"scenario-specific":[13],"inconsistencies":[14,58],"may":[15],"emerge.":[16],"Traditional":[17],"manual":[18],"modeling":[19,40],"methods":[20,50],"are":[21,42],"labor-intensive":[22],"and":[23,33,64,81,90,107,126,133,155],"often":[24],"overlook":[25],"temporal":[26,161],"complexities,":[27],"making":[28],"them":[29,109],"unsuitable":[30],"complex":[32],"scalable":[34],"systems.":[35],"To":[36,66],"address":[37],"this,":[38,68],"automated":[39,49],"techniques":[41],"needed":[43],"to":[44,99,122,136],"improve":[45],"efficiency.":[46],"However,":[47],"existing":[48],"lack":[51],"the":[52],"formal":[53],"precision":[54],"required":[55],"verifying":[57],"using":[59],"theorem":[60],"provers":[61],"like":[62],"Z3":[63],"CVC4.":[65],"resolve":[67],"we":[69],"propose":[70],"a":[71,130],"novel":[72],"method":[73,96],"named":[74],"Requirement":[75],"Auto-Modeling":[76],"Inconsistency":[77],"Checking":[78],"with":[79],"LLMs":[80,98],"GCN":[82,118],"(RAMIC-LG),":[83],"which":[84],"integrates":[85],"Large":[86],"Language":[87,115],"Models":[88],"(LLMs)":[89],"Graph":[91],"Convolutional":[92],"Network":[93],"(GCN).":[94],"This":[95],"leverages":[97],"automatically":[100],"extract":[101],"use":[102],"cases":[103],"from":[104],"requirement":[105],"documents":[106],"convert":[108],"into":[110],"semi-formal":[111],"Clock":[112],"Constraint":[113],"Specification":[114],"(CCSL)":[116],"expressions.":[117],"then":[120],"used":[121],"analyze":[123],"these":[124],"constraints":[125],"detect":[127],"inconsistencies,":[128,162],"offering":[129],"more":[131],"efficient":[132],"flexible":[134],"alternative":[135],"traditional":[137],"verification":[138],"tools.":[139],"Experimental":[140],"results":[141],"demonstrate":[142],"that":[143],"RAMIC-LG":[144],"achieves":[145],"0.865":[146,150],"accuracy,":[147],"0.884":[148],"recall,":[149],"precision,":[151],"0.867":[152],"F1":[153],"score":[154],"0.952":[156],"node":[157],"coverage":[158],"in":[159],"detecting":[160],"outperforming":[163],"baseline":[164],"approaches.":[165]},"counts_by_year":[],"updated_date":"2025-11-11T23:18:09.558992","created_date":"2025-10-10T00:00:00"}