{"id":"https://openalex.org/W7155403238","doi":"https://doi.org/10.48550/arxiv.2604.20523","title":"Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis","display_name":"Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis","publication_year":2026,"publication_date":"2026-04-22","ids":{"openalex":"https://openalex.org/W7155403238","doi":"https://doi.org/10.48550/arxiv.2604.20523"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.20523","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.20523","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.20523","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010230805","display_name":"Viet-Man Le","orcid":"https://orcid.org/0000-0001-5778-975X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Le, Viet-Man","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051851807","display_name":"Thi Ngoc Trang Tran","orcid":"https://orcid.org/0000-0002-3550-8352"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tran, Thi Ngoc Trang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040617592","display_name":"Sebastian Lubos","orcid":"https://orcid.org/0000-0002-5024-3786"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lubos, Sebastian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033783997","display_name":"Alexander Felfernig","orcid":"https://orcid.org/0000-0003-0108-3146"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Felfernig, Alexander","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5092697129","display_name":"Damian Garber","orcid":"https://orcid.org/0009-0005-0993-0911"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Garber, Damian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9287999868392944,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9287999868392944,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.01899999938905239,"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/T10260","display_name":"Software Engineering Research","score":0.017100000753998756,"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/blueprint","display_name":"Blueprint","score":0.7396000027656555},{"id":"https://openalex.org/keywords/feature-model","display_name":"Feature model","score":0.6330999732017517},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.6205999851226807},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.5830000042915344},{"id":"https://openalex.org/keywords/software-product-line","display_name":"Software product line","score":0.5049999952316284},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.48100000619888306},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4449000060558319},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.43650001287460327},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41819998621940613}],"concepts":[{"id":"https://openalex.org/C155911762","wikidata":"https://www.wikidata.org/wiki/Q422321","display_name":"Blueprint","level":2,"score":0.7396000027656555},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6789000034332275},{"id":"https://openalex.org/C101814296","wikidata":"https://www.wikidata.org/wiki/Q5439685","display_name":"Feature model","level":3,"score":0.6330999732017517},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.6205999851226807},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.5830000042915344},{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.5049999952316284},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5029000043869019},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.48100000619888306},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4449000060558319},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.43650001287460327},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41819998621940613},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.4174000024795532},{"id":"https://openalex.org/C2988046880","wikidata":"https://www.wikidata.org/wiki/Q3084961","display_name":"Product line","level":2,"score":0.3894999921321869},{"id":"https://openalex.org/C3019813237","wikidata":"https://www.wikidata.org/wiki/Q65089264","display_name":"Model validation","level":2,"score":0.3580000102519989},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3508000075817108},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.33899998664855957},{"id":"https://openalex.org/C19351080","wikidata":"https://www.wikidata.org/wiki/Q1395034","display_name":"New product development","level":2,"score":0.3375000059604645},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3287999927997589},{"id":"https://openalex.org/C2778827112","wikidata":"https://www.wikidata.org/wiki/Q22245680","display_name":"Feature engineering","level":3,"score":0.32510000467300415},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.31709998846054077},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.3073999881744385},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.304500013589859},{"id":"https://openalex.org/C198352243","wikidata":"https://www.wikidata.org/wiki/Q37105","display_name":"Line (geometry)","level":2,"score":0.30239999294281006},{"id":"https://openalex.org/C198082294","wikidata":"https://www.wikidata.org/wiki/Q3399648","display_name":"Position (finance)","level":2,"score":0.30070000886917114},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.2802000045776367},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2761000096797943},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.2757999897003174},{"id":"https://openalex.org/C78780964","wikidata":"https://www.wikidata.org/wiki/Q7233193","display_name":"Position paper","level":2,"score":0.26649999618530273},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.2596000134944916},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.25679999589920044}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.20523","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.20523","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.20523","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.20523","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,79],"study":[1],"whether":[2],"Large":[3],"Language":[4],"Models":[5],"(LLMs)":[6],"can":[7],"perform":[8],"feature":[9,24],"model":[10,95],"analysis":[11],"operations":[12],"(AOs)":[13],"directly":[14],"on":[15],"semi-formal":[16],"textual":[17],"blueprints,":[18],"i.e.,":[19],"concise":[20],"constrained-language":[21],"descriptions":[22],"of":[23],"hierarchies":[25],"and":[26,40,74,86,89],"constraints,":[27],"enabling":[28],"early":[29,105],"validation":[30],"in":[31,83],"Software":[32],"Product":[33],"Line":[34],"scoping.":[35],"Using":[36],"12":[37],"state-of-the-art":[38],"LLMs":[39,100],"16":[41],"standard":[42],"AOs,":[43],"we":[44],"compare":[45],"their":[46],"outputs":[47],"against":[48],"the":[49],"solver-based":[50],"oracle":[51],"FLAMA.":[52],"Results":[53],"show":[54],"that":[55,93],"reasoning-optimized":[56],"models":[57],"(e.g.,":[58],"Grok":[59],"4":[60],"Fast":[61],"Reasoning,":[62],"Gemini":[63],"2.5":[64],"Pro)":[65],"achieve":[66],"88-89%":[67],"average":[68],"accuracy":[69],"across":[70],"all":[71],"evaluated":[72],"blueprints":[73],"operations,":[75],"approaching":[76],"solver":[77],"correctness.":[78],"identify":[80],"systematic":[81],"errors":[82],"structural":[84],"parsing":[85],"constraint":[87],"reasoning,":[88],"highlight":[90],"accuracy-cost":[91],"trade-offs":[92],"inform":[94],"selection.":[96],"These":[97],"findings":[98],"position":[99],"as":[101],"lightweight":[102],"assistants":[103],"for":[104],"variability":[106],"validation.":[107]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-04-24T00:00:00"}