{"id":"https://openalex.org/W2147875178","doi":"https://doi.org/10.1145/2666581.2666589","title":"Model checking partial software product line designs","display_name":"Model checking partial software product line designs","publication_year":2014,"publication_date":"2014-11-07","ids":{"openalex":"https://openalex.org/W2147875178","doi":"https://doi.org/10.1145/2666581.2666589","mag":"2147875178"},"language":"en","primary_location":{"id":"doi:10.1145/2666581.2666589","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2666581.2666589","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices","raw_type":"proceedings-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/A5102355480","display_name":"Yufeng Shi","orcid":null},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yufeng Shi","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101977872","display_name":"Wei Ou","orcid":"https://orcid.org/0000-0001-9990-5747"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ou Wei","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038150414","display_name":"Yu Zhou","orcid":"https://orcid.org/0000-0002-3723-7584"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Zhou","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics, China","institution_ids":["https://openalex.org/I9842412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5102355480"],"corresponding_institution_ids":["https://openalex.org/I9842412"],"apc_list":null,"apc_paid":null,"fwci":0.409,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.75470398,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"21","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9919000267982483,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.747069239616394},{"id":"https://openalex.org/keywords/software-product-line","display_name":"Software product line","score":0.6726288795471191},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6153725385665894},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5915096402168274},{"id":"https://openalex.org/keywords/feature-model","display_name":"Feature model","score":0.5289576053619385},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5048633217811584},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4409981667995453},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42257654666900635},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.41874799132347107},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4047764837741852},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3173343539237976},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22541463375091553}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.747069239616394},{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.6726288795471191},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6153725385665894},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5915096402168274},{"id":"https://openalex.org/C101814296","wikidata":"https://www.wikidata.org/wiki/Q5439685","display_name":"Feature model","level":3,"score":0.5289576053619385},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5048633217811584},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4409981667995453},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42257654666900635},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.41874799132347107},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4047764837741852},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3173343539237976},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22541463375091553}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2666581.2666589","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2666581.2666589","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.41999998688697815,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1503316778","https://openalex.org/W1536631555","https://openalex.org/W1590150976","https://openalex.org/W1592359484","https://openalex.org/W1608532664","https://openalex.org/W1959890433","https://openalex.org/W2015315253","https://openalex.org/W2022615696","https://openalex.org/W2034102118","https://openalex.org/W2093713825","https://openalex.org/W2094810043","https://openalex.org/W2099213660","https://openalex.org/W2107144615","https://openalex.org/W2113875135","https://openalex.org/W2117411814","https://openalex.org/W2117890177","https://openalex.org/W2125853721","https://openalex.org/W2130195901","https://openalex.org/W2163809353","https://openalex.org/W2168086947","https://openalex.org/W2170286440","https://openalex.org/W2183677651","https://openalex.org/W2261238734","https://openalex.org/W2492912431","https://openalex.org/W2497180905","https://openalex.org/W2913459036","https://openalex.org/W3136649089"],"related_works":["https://openalex.org/W4390481443","https://openalex.org/W3097218026","https://openalex.org/W2903450681","https://openalex.org/W4391528888","https://openalex.org/W2005449645","https://openalex.org/W2612841534","https://openalex.org/W2260634139","https://openalex.org/W2158471572","https://openalex.org/W2414525409","https://openalex.org/W4255726044"],"abstract_inverted_index":{"Software":[0],"product":[1,17,65,119],"line":[2,66,120],"(SPL)":[3],"maximizes":[4],"commonality":[5],"between":[6],"software":[7,64,77,118],"products":[8],"to":[9,27,151,172],"reduce":[10],"cost":[11,97],"and":[12,43,45,127,144,169,185],"improve":[13],"productivity,":[14],"where":[15,79],"each":[16],"is":[18,51],"represented":[19],"by":[20],"a":[21,84,131,190],"selection":[22],"of":[23,48,53,76,98,101,125,155,175],"features":[24,129],"that":[25,166],"corresponds":[26],"particular":[28],"customer":[29],"requirements.":[30],"SPL":[31],"has":[32],"been":[33],"widely":[34],"applied":[35],"in":[36,72],"critical":[37],"systems":[38,113],"such":[39],"as":[40,130],"communications,":[41],"automobile,":[42],"aerospace,":[44],"ensuring":[46],"correctness":[47],"the":[49,69,73,80,96,153,164,173,176],"system":[50,138],"thus":[52],"great":[54],"importance.":[55],"In":[56],"this":[57,105],"paper,":[58],"we":[59,107,162],"consider":[60],"model":[61,157,178],"checking":[62,158],"partial":[63,117],"designs,":[67,121],"i.e.,":[68],"incomplete":[70],"designs":[71],"early":[74],"stage":[75],"development,":[78],"design":[81,92],"decisions":[82],"for":[83,115,160],"feature":[85,111],"may":[86],"be":[87],"unknown.":[88],"This":[89],"enables":[90],"detecting":[91],"errors":[93],"earlier,":[94],"reducing":[95],"later":[99],"development":[100],"final":[102],"products.":[103],"To":[104],"end,":[106],"first":[108,132],"propose":[109],"bilattice-based":[110],"transitions":[112],"(BFTSs)":[114],"modeling":[116],"which":[122],"support":[123],"description":[124],"uncertainty":[126],"preserve":[128],"class":[133],"notion.":[134],"We":[135,181],"then":[136],"express":[137],"behavioral":[139],"properties":[140],"using":[141],"ACTL":[142,170],"formulas":[143,171],"define":[145],"its":[146,187],"semantics":[147],"over":[148],"BFTSs.":[149],"Finally,":[150],"leverage":[152],"power":[154],"existing":[156],"engine":[159],"verification,":[161],"provide":[163],"procedures":[165],"translate":[167],"BFTSs":[168],"inputs":[174],"symbolic":[177],"checker":[179],"$Chi$Chek.":[180],"implement":[182],"our":[183],"approach":[184],"illustrate":[186],"effectiveness":[188],"on":[189],"benchmark":[191],"from":[192],"literature.":[193]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}