{"id":"https://openalex.org/W2154050677","doi":"https://doi.org/10.1145/2499777.2500722","title":"Combining declarative and procedural views in the specification and analysis of product families","display_name":"Combining declarative and procedural views in the specification and analysis of product families","publication_year":2013,"publication_date":"2013-08-13","ids":{"openalex":"https://openalex.org/W2154050677","doi":"https://doi.org/10.1145/2499777.2500722","mag":"2154050677"},"language":"en","primary_location":{"id":"doi:10.1145/2499777.2500722","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2499777.2500722","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th International Software Product Line Conference co-located workshops","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/A5064415269","display_name":"Maurice H. ter Beek","orcid":"https://orcid.org/0000-0002-2930-6367"},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Maurice H. ter Beek","raw_affiliation_strings":["Leiden University, NL"],"affiliations":[{"raw_affiliation_string":"Leiden University, NL","institution_ids":["https://openalex.org/I121797337"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054527006","display_name":"Alberto Lluch Lafuente","orcid":"https://orcid.org/0000-0001-7405-0818"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alberto Lluch Lafuente","raw_affiliation_strings":["IMT, Lucca, IT"],"affiliations":[{"raw_affiliation_string":"IMT, Lucca, IT","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056689083","display_name":"Marinella Petrocchi","orcid":"https://orcid.org/0000-0003-0591-877X"},"institutions":[{"id":"https://openalex.org/I4210130157","display_name":"Institute of Informatics and Telematics","ror":"https://ror.org/02gdcn153","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210130157","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marinella Petrocchi","raw_affiliation_strings":["IIT--CNR, Pisa, IT"],"affiliations":[{"raw_affiliation_string":"IIT--CNR, Pisa, IT","institution_ids":["https://openalex.org/I4210130157"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5064415269"],"corresponding_institution_ids":["https://openalex.org/I121797337"],"apc_list":null,"apc_paid":null,"fwci":10.8734,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.98208063,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"10","last_page":"17"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9944999814033508,"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.9944999814033508,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9915000200271606,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9847000241279602,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8013439178466797},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7405182719230652},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.5626346468925476},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5175765752792358},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5066419243812561},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5039054751396179},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.49592360854148865},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.49033308029174805},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.47377705574035645},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4736565053462982},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46031615138053894},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.42206910252571106},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.4123152494430542},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.2610350549221039},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15608730912208557},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.12745901942253113},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12216541171073914}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8013439178466797},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7405182719230652},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.5626346468925476},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5175765752792358},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5066419243812561},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5039054751396179},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.49592360854148865},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49033308029174805},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.47377705574035645},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4736565053462982},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46031615138053894},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.42206910252571106},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.4123152494430542},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.2610350549221039},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15608730912208557},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.12745901942253113},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12216541171073914},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/2499777.2500722","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2499777.2500722","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th International Software Product Line Conference co-located workshops","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.imtlucca.it:1589","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401340","display_name":"IMT Institutional Repository (IMT School for Advanced Studies Lucca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I127077003","host_organization_name":"IMT School for Advanced Studies Lucca","host_organization_lineage":["https://openalex.org/I127077003"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Working Paper"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.735.5584","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.735.5584","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://eprints.imtlucca.it/2058/1/paper.pdf","raw_type":"text"},{"id":"pmh:oai:dnet:people______::7d96efbde330202b4cdfb5c6f942320e","is_oa":false,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::7d96efbde330202b4cdfb5c6f942320e","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"FMASPLE-SPLC'13 - 17th International Software Product Line Conference co-located Workshop on Formal Methods and Analysis in Software Product Line Engineering, pp. 10\u201317, Tokyo, Japan, 26-30 August 2013","raw_type":"Conference article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4699999988079071}],"awards":[{"id":"https://openalex.org/G3453925126","display_name":null,"funder_award_id":"PRIN 2010LHT4KM","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G6114611065","display_name":null,"funder_award_id":"FP7 257414","funder_id":"https://openalex.org/F4320334960","funder_display_name":"Seventh Framework Programme"},{"id":"https://openalex.org/G8178514880","display_name":null,"funder_award_id":"FP7 600708","funder_id":"https://openalex.org/F4320334960","funder_display_name":"Seventh Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320320929","display_name":"Universiteit Leiden","ror":"https://ror.org/027bh9e22"},{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"},{"id":"https://openalex.org/F4320331528","display_name":"Ministero dell'Universit\u00e0 e della Ricerca","ror":null},{"id":"https://openalex.org/F4320334960","display_name":"Seventh Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W70162607","https://openalex.org/W133349359","https://openalex.org/W1503973138","https://openalex.org/W1573313194","https://openalex.org/W1587853850","https://openalex.org/W1751363156","https://openalex.org/W1847450725","https://openalex.org/W1959890433","https://openalex.org/W1967402469","https://openalex.org/W1968718409","https://openalex.org/W2015315253","https://openalex.org/W2022615696","https://openalex.org/W2031455705","https://openalex.org/W2048352523","https://openalex.org/W2049497188","https://openalex.org/W2107531455","https://openalex.org/W2111760412","https://openalex.org/W2117730221","https://openalex.org/W2118229393","https://openalex.org/W2120119918","https://openalex.org/W2121319037","https://openalex.org/W2125767667","https://openalex.org/W2125853721","https://openalex.org/W2130195901","https://openalex.org/W2141399917","https://openalex.org/W2142423074","https://openalex.org/W2142960988","https://openalex.org/W2148106163","https://openalex.org/W2164414043","https://openalex.org/W2168086947","https://openalex.org/W2183677651","https://openalex.org/W2408353531","https://openalex.org/W4285719527","https://openalex.org/W4301885396"],"related_works":["https://openalex.org/W1510768092","https://openalex.org/W2611003898","https://openalex.org/W2230808081","https://openalex.org/W4291309325","https://openalex.org/W2950474130","https://openalex.org/W2737452945","https://openalex.org/W4313469555","https://openalex.org/W1547011777","https://openalex.org/W2263461846","https://openalex.org/W1514706798"],"abstract_inverted_index":{"We":[0],"introduce":[1],"the":[2,37,78,93,125,134],"feature-oriented":[3],"language":[4],"FLan":[5,33],"as":[6],"a":[7,51,75,86,96,108,112,121,139],"proof":[8],"of":[9,16,44,67,82,95,141,145],"concept":[10],"for":[11,138],"specifying":[12],"both":[13,90],"declarative":[14,52],"aspects":[15],"product":[17,146],"families,":[18],"namely":[19,27],"constraints":[20,45,56],"on":[21,57],"their":[22],"features,":[23,58],"and":[24,30,80,117],"procedural":[25,76],"aspects,":[26],"feature":[28],"configuration":[29,79],"run-time":[31],"behaviour.":[32],"is":[34,85,98],"inspired":[35],"by":[36,100,127],"concurrent":[38],"constraint":[39],"programming":[40],"paradigm.":[41],"A":[42,62],"store":[43,102,113,126],"allows":[46,70,137],"one":[47,71],"to":[48,72,103,114,155],"specify":[49,73],"in":[50,74,133,149],"way":[53,77],"all":[54],"common":[55],"including":[59],"inter-feature":[60],"constraints.":[61],"standard":[63],"yet":[64],"rich":[65],"set":[66],"process-algebraic":[68],"operators":[69],"behaviour":[81],"products.":[83],"There":[84],"close":[87],"interaction":[88],"between":[89],"views:":[91],"(i)":[92],"execution":[94],"process":[97,109,122],"constrained":[99],"its":[101],"forbid":[104],"undesired":[105],"configurations;":[106],"(ii)":[107],"can":[110,123],"query":[111],"resolve":[115],"design":[116],"behavioural":[118],"choices;":[119],"(iii)":[120],"update":[124],"adding":[128],"new":[129],"features.":[130],"An":[131],"implementation":[132],"Maude":[135],"framework":[136],"variety":[140],"formal":[142],"automated":[143],"analyses":[144],"families":[147],"specified":[148],"FLan,":[150],"ranging":[151],"from":[152],"consistency":[153],"checking":[154],"model":[156],"checking.":[157]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":11},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}