{"id":"https://openalex.org/W2061143336","doi":"https://doi.org/10.1145/2648511.2648518","title":"Automated verification of feature model configuration processes based on workflow Petri nets","display_name":"Automated verification of feature model configuration processes based on workflow Petri nets","publication_year":2014,"publication_date":"2014-09-15","ids":{"openalex":"https://openalex.org/W2061143336","doi":"https://doi.org/10.1145/2648511.2648518","mag":"2061143336"},"language":"en","primary_location":{"id":"doi:10.1145/2648511.2648518","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2648511.2648518","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","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/A5075529931","display_name":"Stephan Mennicke","orcid":"https://orcid.org/0000-0002-3293-2940"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Stephan Mennicke","raw_affiliation_strings":["Institute for Programming and Reactive Systems, TU Braunschweig, Germany","Institute for Programming and Reactive Systems, TU Braunschweig, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Institute for Programming and Reactive Systems, TU Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]},{"raw_affiliation_string":"Institute for Programming and Reactive Systems, TU Braunschweig, Germany#TAB#","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056787798","display_name":"Malte Lochau","orcid":"https://orcid.org/0000-0002-8404-753X"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Malte Lochau","raw_affiliation_strings":["Real-Time Systems Lab, TU Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Real-Time Systems Lab, TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065564982","display_name":"Julia Schroeter","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"TU Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Julia Schroeter","raw_affiliation_strings":["Institute for Software- and Multimedia-Technology, TU Dresden, Germany","Institute for Software- and Multimedia-Technology, TU Dresden, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Institute for Software- and Multimedia-Technology, TU Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]},{"raw_affiliation_string":"Institute for Software- and Multimedia-Technology, TU Dresden, Germany#TAB#","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052305145","display_name":"Tim Winkelmann","orcid":null},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tim Winkelmann","raw_affiliation_strings":["Institute for Software Engineering and Automative Informatics, TU Braunschweig, Germany","Institute for Software Engineering and Automative Informatics, TU Braunschweig, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Institute for Software Engineering and Automative Informatics, TU Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]},{"raw_affiliation_string":"Institute for Software Engineering and Automative Informatics, TU Braunschweig, Germany#TAB#","institution_ids":["https://openalex.org/I94509681"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5075529931"],"corresponding_institution_ids":["https://openalex.org/I94509681"],"apc_list":null,"apc_paid":null,"fwci":0.7889,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.82057973,"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":"62","last_page":"71"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9980999827384949,"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/computer-science","display_name":"Computer science","score":0.7645743489265442},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7180519700050354},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.7131115198135376},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.7105726003646851},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.6968920230865479},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6489770412445068},{"id":"https://openalex.org/keywords/separation-of-concerns","display_name":"Separation of concerns","score":0.6363565921783447},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5289899110794067},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.4892396926879883},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41776689887046814},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38056355714797974},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33129847049713135},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.24982506036758423},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1843346655368805}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7645743489265442},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7180519700050354},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.7131115198135376},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.7105726003646851},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.6968920230865479},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6489770412445068},{"id":"https://openalex.org/C76214141","wikidata":"https://www.wikidata.org/wiki/Q2465506","display_name":"Separation of concerns","level":3,"score":0.6363565921783447},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5289899110794067},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.4892396926879883},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41776689887046814},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38056355714797974},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33129847049713135},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.24982506036758423},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1843346655368805}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2648511.2648518","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2648511.2648518","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1472589367","display_name":null,"funder_award_id":"80949335","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"}],"funders":[{"id":"https://openalex.org/F4320338080","display_name":"European Social Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W70960920","https://openalex.org/W1487065657","https://openalex.org/W1494019345","https://openalex.org/W1561267729","https://openalex.org/W1608654004","https://openalex.org/W1710690747","https://openalex.org/W1773689831","https://openalex.org/W1817451992","https://openalex.org/W1876425992","https://openalex.org/W1983392476","https://openalex.org/W1995689188","https://openalex.org/W2020675906","https://openalex.org/W2026859971","https://openalex.org/W2063971482","https://openalex.org/W2099213660","https://openalex.org/W2113201637","https://openalex.org/W2113355185","https://openalex.org/W2125853721","https://openalex.org/W2128967738","https://openalex.org/W2129466958","https://openalex.org/W2138447175","https://openalex.org/W2151985197","https://openalex.org/W2153690411","https://openalex.org/W2156843723","https://openalex.org/W2157911410","https://openalex.org/W2163229252","https://openalex.org/W2592184324","https://openalex.org/W4249538237","https://openalex.org/W4285719527","https://openalex.org/W6638599355"],"related_works":["https://openalex.org/W2124283471","https://openalex.org/W2004753716","https://openalex.org/W2330065971","https://openalex.org/W2066603162","https://openalex.org/W2031305780","https://openalex.org/W2107690674","https://openalex.org/W2120541137","https://openalex.org/W2391817608","https://openalex.org/W2380939061","https://openalex.org/W2545355018"],"abstract_inverted_index":{"Modern":[0],"software":[1],"systems":[2],"are":[3],"highly":[4],"configurable":[5],"in":[6],"order":[7],"to":[8,138],"satisfy":[9],"diverse":[10],"customer":[11],"requirements":[12],"and":[13,40,53,72,135,158],"application":[14],"contexts.":[15],"Feature":[16],"models":[17,35],"provide":[18,159],"a":[19,89,147],"well-established":[20],"formalism":[21],"for":[22,36,44,93,141,150],"tailoring":[23],"configuration":[24,31,46,59,77,95,110,143,156],"spaces":[25],"of":[26,38,64,75,117,128,154],"applications.":[27],"Thereupon,":[28],"multi-view":[29],"staged":[30,76,94,142,155],"approaches":[32],"modularize":[33],"feature":[34,65,102],"separation":[37,107],"concerns":[39],"apply":[41,83],"workflow":[42,84,119],"modeling":[43,71],"scheduling":[45],"decisions.":[47],"However,":[48],"the":[49,105,115,125],"complex,":[50],"often":[51],"oblivious":[52],"even":[54],"cyclic":[55],"logical":[56],"dependencies":[57,100],"among":[58,101],"decisions":[60],"obstruct":[61],"compositional":[62],"semantics":[63],"model":[66,92],"views":[67],"thus":[68],"spoiling":[69],"intuitive":[70],"rigorous":[73],"analysis":[74],"processes.":[78,144],"In":[79],"this":[80],"paper,":[81],"we":[82,112],"Petri":[85],"nets":[86],"(WPNs)":[87],"as":[88],"formal":[90],"operational":[91],"that":[96,124],"makes":[97],"explicit":[98],"causal":[99],"selections.":[103],"For":[104],"internal":[106],"into":[108],"composable":[109],"stages":[111],"further":[113],"adopt":[114],"principles":[116],"open":[118],"nets.":[120],"It":[121],"is":[122],"shown":[123],"soundness":[126],"notion":[127],"WPNs":[129],"naturally":[130],"coincides":[131],"with":[132],"fundamental":[133],"correctness":[134],"liveness":[136],"properties":[137],"be":[139],"verified":[140],"We":[145],"present":[146],"prototype":[148],"implementation":[149],"an":[151],"automated":[152],"computation":[153],"processes":[157],"experimental":[160],"results":[161],"concerning":[162],"scalability":[163],"properties.":[164]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"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"}