{"id":"https://openalex.org/W2100148633","doi":"https://doi.org/10.1145/1321631.1321687","title":"Towards automated consistency checks of product line requirements specifications","display_name":"Towards automated consistency checks of product line requirements specifications","publication_year":2007,"publication_date":"2007-11-05","ids":{"openalex":"https://openalex.org/W2100148633","doi":"https://doi.org/10.1145/1321631.1321687","mag":"2100148633"},"language":"en","primary_location":{"id":"doi:10.1145/1321631.1321687","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1321631.1321687","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering","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/A5013117788","display_name":"Kim Lauenroth","orcid":"https://orcid.org/0009-0008-9197-0809"},"institutions":[{"id":"https://openalex.org/I62318514","display_name":"University of Duisburg-Essen","ror":"https://ror.org/04mz5ra38","country_code":"DE","type":"education","lineage":["https://openalex.org/I62318514"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Kim Lauenroth","raw_affiliation_strings":["University of Duisburg-Essen, Essen, Germany","University of Duisburg-Essen , Essen , Germany"],"affiliations":[{"raw_affiliation_string":"University of Duisburg-Essen, Essen, Germany","institution_ids":["https://openalex.org/I62318514"]},{"raw_affiliation_string":"University of Duisburg-Essen , Essen , Germany","institution_ids":["https://openalex.org/I62318514"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074036780","display_name":"Klaus Pohl","orcid":"https://orcid.org/0000-0003-2199-5257"},"institutions":[{"id":"https://openalex.org/I62318514","display_name":"University of Duisburg-Essen","ror":"https://ror.org/04mz5ra38","country_code":"DE","type":"education","lineage":["https://openalex.org/I62318514"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Klaus Pohl","raw_affiliation_strings":["University of Duisburg-Essen, Essen, Germany","University of Duisburg-Essen , Essen , Germany"],"affiliations":[{"raw_affiliation_string":"University of Duisburg-Essen, Essen, Germany","institution_ids":["https://openalex.org/I62318514"]},{"raw_affiliation_string":"University of Duisburg-Essen , Essen , Germany","institution_ids":["https://openalex.org/I62318514"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5013117788"],"corresponding_institution_ids":["https://openalex.org/I62318514"],"apc_list":null,"apc_paid":null,"fwci":4.6934,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.94798519,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"373","last_page":"376"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9896000027656555,"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.9878000020980835,"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/product-design-specification","display_name":"Product design specification","score":0.6788656711578369},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6752058267593384},{"id":"https://openalex.org/keywords/requirement","display_name":"Requirement","score":0.6651903390884399},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6547431945800781},{"id":"https://openalex.org/keywords/requirement-prioritization","display_name":"Requirement prioritization","score":0.5804648995399475},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.5695931315422058},{"id":"https://openalex.org/keywords/domain-engineering","display_name":"Domain engineering","score":0.5490765571594238},{"id":"https://openalex.org/keywords/software-product-line","display_name":"Software product line","score":0.5098646879196167},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5078557133674622},{"id":"https://openalex.org/keywords/non-functional-requirement","display_name":"Non-functional requirement","score":0.43993672728538513},{"id":"https://openalex.org/keywords/requirements-engineering","display_name":"Requirements engineering","score":0.4359242618083954},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4356548488140106},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.43517446517944336},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.4211260974407196},{"id":"https://openalex.org/keywords/new-product-development","display_name":"New product development","score":0.4189501702785492},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3237510323524475},{"id":"https://openalex.org/keywords/product-design","display_name":"Product design","score":0.30380988121032715},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.28076618909835815},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23833218216896057},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.2196163833141327},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.17337089776992798},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1666325032711029},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15686053037643433},{"id":"https://openalex.org/keywords/component-based-software-engineering","display_name":"Component-based software engineering","score":0.11440271139144897},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.08626657724380493}],"concepts":[{"id":"https://openalex.org/C45135082","wikidata":"https://www.wikidata.org/wiki/Q16960030","display_name":"Product design specification","level":4,"score":0.6788656711578369},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6752058267593384},{"id":"https://openalex.org/C135475081","wikidata":"https://www.wikidata.org/wiki/Q774228","display_name":"Requirement","level":4,"score":0.6651903390884399},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6547431945800781},{"id":"https://openalex.org/C130505052","wikidata":"https://www.wikidata.org/wiki/Q7314872","display_name":"Requirement prioritization","level":5,"score":0.5804648995399475},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.5695931315422058},{"id":"https://openalex.org/C5977032","wikidata":"https://www.wikidata.org/wiki/Q5289815","display_name":"Domain engineering","level":5,"score":0.5490765571594238},{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.5098646879196167},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5078557133674622},{"id":"https://openalex.org/C199747065","wikidata":"https://www.wikidata.org/wiki/Q3254666","display_name":"Non-functional requirement","level":5,"score":0.43993672728538513},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.4359242618083954},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4356548488140106},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.43517446517944336},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.4211260974407196},{"id":"https://openalex.org/C19351080","wikidata":"https://www.wikidata.org/wiki/Q1395034","display_name":"New product development","level":2,"score":0.4189501702785492},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3237510323524475},{"id":"https://openalex.org/C120823896","wikidata":"https://www.wikidata.org/wiki/Q1043226","display_name":"Product design","level":3,"score":0.30380988121032715},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.28076618909835815},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23833218216896057},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2196163833141327},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.17337089776992798},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1666325032711029},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15686053037643433},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.11440271139144897},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.08626657724380493},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1321631.1321687","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1321631.1321687","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1494019345","https://openalex.org/W1501652040","https://openalex.org/W1572906699","https://openalex.org/W1921371332","https://openalex.org/W1968128450","https://openalex.org/W2009612348","https://openalex.org/W2071210182","https://openalex.org/W2094810043","https://openalex.org/W2096732432","https://openalex.org/W2111416111","https://openalex.org/W2112000202","https://openalex.org/W2113201637","https://openalex.org/W2125708466","https://openalex.org/W2137050752","https://openalex.org/W2156315212","https://openalex.org/W2174207570"],"related_works":["https://openalex.org/W2100742239","https://openalex.org/W2973948119","https://openalex.org/W4206496580","https://openalex.org/W4254568495","https://openalex.org/W2626046496","https://openalex.org/W142054160","https://openalex.org/W2073041332","https://openalex.org/W2758128462","https://openalex.org/W4235167339","https://openalex.org/W329175350"],"abstract_inverted_index":{"A":[0],"requirements":[1,22,27,41,54,70,84,100,124,140,156,173],"specification":[2,23,141],"for":[3,153,167],"an":[4],"individual":[5,45,104],"software":[6],"system":[7,115,192],"should":[8],"be":[9,108,134],"consistent,":[10],"i.e.":[11],"free":[12],"of":[13,32,53,61,99,121,151,170,198,204],"contradictions.":[14],"In":[15,142,185],"product":[16,20,34,49,63,90,94,105,122,138,154,171],"line":[17,21,35,64,123,139,155,172,206],"engineering,":[18],"the":[19,26,33,39,48,58,93,97,119,137,181,202],"comprises":[24],"all":[25,30,57],"common":[28],"to":[29,43,107,117,187],"products":[31,46],"as":[36,38,80,82],"well":[37],"variable":[40,59,69],"used":[42,112],"derive":[44],"from":[47,92],"line.":[50,95],"The":[51],"set":[52,98],"(common":[55],"and":[56],"ones)":[60],"a":[62,78,89,148,164],"is":[65,76],"typically":[66],"inconsistent":[67],"since":[68,131],"can":[71,133],"contradict":[72],"each":[73,103],"other.":[74],"This":[75],"not":[77,86],"problem":[79],"long":[81],"contradicting":[83],"are":[85],"included":[87],"in":[88,102,113,136,180,190],"derived":[91],"Thus,":[96],"realized":[101],"has":[106],"consistent.":[109],"Employing":[110],"techniques":[111],"single":[114,191],"development":[116],"check":[118],"consistency":[120,152,169,178,188],"will":[125],"thus":[126],"produce":[127],"false":[128],"positive":[129],"results,":[130],"there":[132],"contradiction":[135],"this":[143,160],"paper":[144],"we":[145,162],"first":[146],"provide":[147],"concise":[149],"definition":[150],"specifications.":[157,174],"Based":[158],"on":[159],"definition,":[161],"define":[163],"formal":[165],"framework":[166,176],"checking":[168],"Our":[175],"supports":[177],"checks":[179,189],"domain":[182],"engineering":[183],"process.":[184],"contrast":[186],"development,":[193],"it":[194],"tolerates":[195],"certain":[196],"types":[197],"inconsistencies":[199],"caused":[200],"by":[201],"variability":[203],"prod-uct":[205],"requirements.":[207]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}