{"id":"https://openalex.org/W7118163500","doi":"https://doi.org/10.1109/aiccsa66935.2025.11315283","title":"Bridging Language Models and Formal Methods for Intent-Driven Optical Network Design","display_name":"Bridging Language Models and Formal Methods for Intent-Driven Optical Network Design","publication_year":2025,"publication_date":"2025-10-19","ids":{"openalex":"https://openalex.org/W7118163500","doi":"https://doi.org/10.1109/aiccsa66935.2025.11315283"},"language":null,"primary_location":{"id":"doi:10.1109/aiccsa66935.2025.11315283","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aiccsa66935.2025.11315283","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACS 22nd International Conference on Computer Systems and Applications (AICCSA)","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/A5094304684","display_name":"Anis Bekri","orcid":null},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Anis Bekri","raw_affiliation_strings":["Université Grenoble Alpes,Grenoble,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Université Grenoble Alpes,Grenoble,France","institution_ids":["https://openalex.org/I899635006"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002622547","display_name":"Amar Abane","orcid":"https://orcid.org/0000-0002-0094-5907"},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Amar Abane","raw_affiliation_strings":["Université Grenoble Alpes,Grenoble,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Université Grenoble Alpes,Grenoble,France","institution_ids":["https://openalex.org/I899635006"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024100219","display_name":"Abdella Battou","orcid":"https://orcid.org/0000-0003-3071-842X"},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Abdella Battou","raw_affiliation_strings":["Université Grenoble Alpes,Grenoble,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Université Grenoble Alpes,Grenoble,France","institution_ids":["https://openalex.org/I899635006"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054151283","display_name":"S. Bensalem","orcid":null},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Saddek Bensalem","raw_affiliation_strings":["Université Grenoble Alpes,Grenoble,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Université Grenoble Alpes,Grenoble,France","institution_ids":["https://openalex.org/I899635006"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I899635006"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.6086999773979187,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.6086999773979187,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10847","display_name":"Advanced Optical Network Technologies","score":0.3208000063896179,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T11273","display_name":"Advanced Graph Neural Networks","score":0.008799999952316284,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/bridging","display_name":"Bridging (networking)","score":0.8255000114440918},{"id":"https://openalex.org/keywords/ambiguity","display_name":"Ambiguity","score":0.6601999998092651},{"id":"https://openalex.org/keywords/network-planning-and-design","display_name":"Network planning and design","score":0.49549999833106995},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.4885999858379364},{"id":"https://openalex.org/keywords/network-topology","display_name":"Network topology","score":0.47690001130104065},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.45890000462532043},{"id":"https://openalex.org/keywords/trustworthiness","display_name":"Trustworthiness","score":0.448199987411499},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.43380001187324524},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.42340001463890076}],"concepts":[{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.8255000114440918},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7932999730110168},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.6601999998092651},{"id":"https://openalex.org/C114563136","wikidata":"https://www.wikidata.org/wiki/Q19725982","display_name":"Network planning and design","level":2,"score":0.49549999833106995},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.4885999858379364},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.47690001130104065},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.45890000462532043},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.448199987411499},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.43380001187324524},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.42340001463890076},{"id":"https://openalex.org/C129763632","wikidata":"https://www.wikidata.org/wiki/Q1454667","display_name":"Network management","level":2,"score":0.36980000138282776},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36820000410079956},{"id":"https://openalex.org/C81877898","wikidata":"https://www.wikidata.org/wiki/Q1965787","display_name":"Network monitoring","level":2,"score":0.35100001096725464},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.3249000012874603},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.32429999113082886},{"id":"https://openalex.org/C159631557","wikidata":"https://www.wikidata.org/wiki/Q1546066","display_name":"Networking hardware","level":2,"score":0.3052999973297119},{"id":"https://openalex.org/C139940560","wikidata":"https://www.wikidata.org/wiki/Q290036","display_name":"Network simulation","level":2,"score":0.3012000024318695},{"id":"https://openalex.org/C193415008","wikidata":"https://www.wikidata.org/wiki/Q639681","display_name":"Network architecture","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2802000045776367},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27630001306533813},{"id":"https://openalex.org/C16986412","wikidata":"https://www.wikidata.org/wiki/Q918419","display_name":"Network management station","level":3,"score":0.2757999897003174},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.27379998564720154},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.26339998841285706},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.25519999861717224},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.25099998712539673},{"id":"https://openalex.org/C104122410","wikidata":"https://www.wikidata.org/wiki/Q1416406","display_name":"Network model","level":2,"score":0.25099998712539673},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/aiccsa66935.2025.11315283","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aiccsa66935.2025.11315283","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACS 22nd International Conference on Computer Systems and Applications (AICCSA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W3202950802","https://openalex.org/W4312980540","https://openalex.org/W4385730880","https://openalex.org/W4391590983","https://openalex.org/W4394712198","https://openalex.org/W4399629579","https://openalex.org/W4400072049","https://openalex.org/W4400080549","https://openalex.org/W4403172155","https://openalex.org/W4408325149","https://openalex.org/W4416873402"],"related_works":[],"abstract_inverted_index":{"Intent-Based":[0],"Networking":[1],"(IBN)":[2],"aims":[3],"to":[4,11,36],"simplify":[5],"network":[6,18,31,93],"management":[7],"by":[8,100],"enabling":[9],"users":[10],"specify":[12],"high-level":[13],"goals":[14],"that":[15,57],"drive":[16],"automated":[17],"design":[19,71],"and":[20,39,64,77,82,90,103],"configuration.":[21],"However,":[22],"translating":[23],"informal":[24],"natural-language":[25],"intents":[26],"into":[27],"formally":[28],"correct":[29],"optical":[30,75,92],"topologies":[32],"remains":[33],"challenging":[34],"due":[35],"inherent":[37],"ambiguity":[38],"lack":[40],"of":[41],"rigor":[42],"in":[43],"Large":[44],"Language":[45],"Models":[46],"(LLMs).":[47],"To":[48],"address":[49],"this,":[50],"we":[51],"propose":[52],"a":[53],"novel":[54],"hybrid":[55],"pipeline":[56,86],"integrates":[58],"LLM-based":[59],"intent":[60],"parsing,":[61],"formal":[62],"methods,":[63],"Optical":[65],"Retrieval-Augmented":[66],"Generation":[67],"(RAG).":[68],"By":[69],"enriching":[70],"decisions":[72],"with":[73],"domain-specific":[74],"standards":[76],"systematically":[78],"incorporating":[79],"symbolic":[80],"reasoning":[81],"verification":[83],"techniques,":[84],"our":[85],"generates":[87],"explainable,":[88],"verifiable,":[89],"trustworthy":[91],"designs.":[94],"This":[95],"approach":[96],"significantly":[97],"advances":[98],"IBN":[99],"ensuring":[101],"reliability":[102],"correctness,":[104],"essential":[105],"for":[106],"mission-critical":[107],"networking":[108],"tasks.":[109]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-01-05T00:00:00"}