{"id":"https://openalex.org/W4415400104","doi":"https://doi.org/10.1109/etfa65518.2025.11205753","title":"LLM-Driven Requirements Formalization for Model-Driven Manufacturing Systems","display_name":"LLM-Driven Requirements Formalization for Model-Driven Manufacturing Systems","publication_year":2025,"publication_date":"2025-09-09","ids":{"openalex":"https://openalex.org/W4415400104","doi":"https://doi.org/10.1109/etfa65518.2025.11205753"},"language":null,"primary_location":{"id":"doi:10.1109/etfa65518.2025.11205753","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa65518.2025.11205753","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5114286178","display_name":"Ranjitkumar Gudder","orcid":null},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke-Universit\u00e4t Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ranjitkumar Gudder","raw_affiliation_strings":["Otto-von-Guericke University,Faculty of Mechanical Engineering, IEPS,Magdeburg,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Otto-von-Guericke University,Faculty of Mechanical Engineering, IEPS,Magdeburg,Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101645990","display_name":"David Hoffmann","orcid":"https://orcid.org/0000-0001-5560-6075"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke-Universit\u00e4t Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"David Hoffmann","raw_affiliation_strings":["Otto-von-Guericke University,Faculty of Mechanical Engineering, IEPS,Magdeburg,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Otto-von-Guericke University,Faculty of Mechanical Engineering, IEPS,Magdeburg,Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092675628","display_name":"Paula H\u00fcnecke","orcid":null},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke-Universit\u00e4t Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Paula H\u00fcnecke","raw_affiliation_strings":["Otto-von-Guericke University,Faculty of Mechanical Engineering, IEPS,Magdeburg,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Otto-von-Guericke University,Faculty of Mechanical Engineering, IEPS,Magdeburg,Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066231862","display_name":"Arndt L\u00fcder","orcid":null},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke-Universit\u00e4t Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Arndt L\u00fcder","raw_affiliation_strings":["Otto-von-Guericke University,Faculty of Mechanical Engineering, IEPS,Magdeburg,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Otto-von-Guericke University,Faculty of Mechanical Engineering, IEPS,Magdeburg,Germany","institution_ids":["https://openalex.org/I95793202"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I95793202"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.47613644,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9886999726295471,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9886999726295471,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.984000027179718,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.9352999925613403,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/systems-modeling-language","display_name":"Systems Modeling Language","score":0.6937999725341797},{"id":"https://openalex.org/keywords/ambiguity","display_name":"Ambiguity","score":0.6092000007629395},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.453900009393692},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.4296000003814697},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.41190001368522644},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.4049000144004822},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.3912999927997589},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.3686000108718872},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.3337000012397766}],"concepts":[{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.6937999725341797},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6891000270843506},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.6092000007629395},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5924000144004822},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.5259000062942505},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.453900009393692},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.4296000003814697},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.41190001368522644},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.4049000144004822},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.3912999927997589},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.3686000108718872},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.3337000012397766},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.32739999890327454},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.3061000108718872},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.28299999237060547},{"id":"https://openalex.org/C2776303644","wikidata":"https://www.wikidata.org/wiki/Q1020499","display_name":"Interfacing","level":2,"score":0.2822999954223633},{"id":"https://openalex.org/C19527686","wikidata":"https://www.wikidata.org/wiki/Q1665453","display_name":"System integration","level":2,"score":0.2766999900341034},{"id":"https://openalex.org/C40398212","wikidata":"https://www.wikidata.org/wiki/Q2275513","display_name":"System requirements","level":2,"score":0.2727000117301941},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C45384764","wikidata":"https://www.wikidata.org/wiki/Q838667","display_name":"Requirements elicitation","level":4,"score":0.26829999685287476},{"id":"https://openalex.org/C199747065","wikidata":"https://www.wikidata.org/wiki/Q3254666","display_name":"Non-functional requirement","level":5,"score":0.2671999931335449},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.26499998569488525},{"id":"https://openalex.org/C201305675","wikidata":"https://www.wikidata.org/wiki/Q852998","display_name":"Stakeholder","level":2,"score":0.26489999890327454},{"id":"https://openalex.org/C2780233690","wikidata":"https://www.wikidata.org/wiki/Q535347","display_name":"Transparency (behavior)","level":2,"score":0.2632000148296356},{"id":"https://openalex.org/C173577280","wikidata":"https://www.wikidata.org/wiki/Q530038","display_name":"Requirements management","level":4,"score":0.2621000111103058},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.2597000002861023}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/etfa65518.2025.11205753","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa65518.2025.11205753","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W2111193566","https://openalex.org/W2766384451","https://openalex.org/W3118694174","https://openalex.org/W3153389197","https://openalex.org/W3189133269","https://openalex.org/W4310514120","https://openalex.org/W4381164713","https://openalex.org/W4399203757"],"related_works":[],"abstract_inverted_index":{"Model-Based":[0],"Systems":[1],"Engineering":[2],"(MBSE)":[3],"relies":[4],"on":[5],"precise,":[6],"unambiguous":[7],"requirements;":[8],"however,":[9],"stakeholders":[10],"often":[11],"express":[12],"needs":[13],"in":[14],"free-form":[15],"natural":[16],"language,":[17],"leading":[18],"to":[19,36,95],"ambiguity":[20],"and":[21,53,62,98,115,143],"rework.":[22],"This":[23,123],"paper":[24],"introduces":[25],"an":[26],"AI":[27,121],"assistant":[28,56],"powered":[29],"by":[30,44,135],"a":[31,107],"Large":[32],"Language":[33,81],"Model":[34],"(LLM)":[35],"support":[37],"the":[38,55,78,120,130,137],"formalization":[39],"of":[40,133],"such":[41,50],"requirements.":[42,101],"Guided":[43],"writing":[45],"rules":[46],"from":[47,113],"industry":[48],"standards":[49],"as":[51],"INCOSE":[52],"IREB,":[54],"identifies":[57],"ambiguities,":[58],"classifies":[59],"requirement":[60],"types,":[61],"rewrites":[63],"them":[64],"into":[65,74,86],"consistent,":[66],"standards-compliant":[67],"statements.":[68],"The":[69,102],"structured":[70],"requirements":[71,112],"are":[72,117],"serialized":[73],"SysML":[75],"v2":[76],"using":[77,119],"Kernel":[79],"Modeling":[80],"(KerML),":[82],"enabling":[83],"seamless":[84],"integration":[85],"MBSE":[87,134],"workflows.":[88],"A":[89],"lightweight":[90],"Streamlit":[91],"interface":[92],"allows":[93],"users":[94],"upload,":[96],"review,":[97],"export":[99],"refined":[100],"approach":[103],"is":[104],"demonstrated":[105],"through":[106],"practical":[108],"case":[109],"study,":[110],"where":[111],"educators":[114],"engineers":[116],"processed":[118],"assistant.":[122],"work":[124],"illustrates":[125],"how":[126],"LLM":[127],"can":[128],"enhance":[129],"front":[131],"end":[132],"bridging":[136],"gap":[138],"between":[139],"informal":[140],"stakeholder":[141],"input":[142],"formalized":[144],"system":[145],"specifications.":[146]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-22T00:00:00"}