{"id":"https://openalex.org/W2751715930","doi":"https://doi.org/10.1145/3106195.3106209","title":"Early Consistency Checking between Specification and Implementation Variabilities","display_name":"Early Consistency Checking between Specification and Implementation Variabilities","publication_year":2017,"publication_date":"2017-09-01","ids":{"openalex":"https://openalex.org/W2751715930","doi":"https://doi.org/10.1145/3106195.3106209","mag":"2751715930"},"language":"en","primary_location":{"id":"doi:10.1145/3106195.3106209","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3106195.3106209","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st International Systems and Software Product Line Conference - Volume A","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-01699878","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000052773","display_name":"Xhevahire T\u00ebrnava","orcid":"https://orcid.org/0000-0002-4317-2764"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Xhevahire T\u00ebrnava","raw_affiliation_strings":["Universit\u00e9 C\u00f4te d'Azur, CNRS, Sophia Antipolis, France","Scalable and Pervasive softwARe and Knowledge Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 C\u00f4te d'Azur, CNRS, Sophia Antipolis, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Scalable and Pervasive softwARe and Knowledge Systems","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027263475","display_name":"Philippe Collet","orcid":"https://orcid.org/0000-0002-7770-4482"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Philippe Collet","raw_affiliation_strings":["Universit\u00e9 C\u00f4te d'Azur, CNRS, Sophia Antipolis, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 C\u00f4te d'Azur, CNRS, Sophia Antipolis, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"29","last_page":"38"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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.9998999834060669,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9976000189781189,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7805721759796143},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7312914133071899},{"id":"https://openalex.org/keywords/software-product-line","display_name":"Software product line","score":0.5184025764465332},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4572879672050476},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4539092481136322},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.44715261459350586},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.43819817900657654},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.376004695892334},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3326067328453064},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.2683495283126831},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1051129698753357}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7805721759796143},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7312914133071899},{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.5184025764465332},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4572879672050476},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4539092481136322},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44715261459350586},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.43819817900657654},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.376004695892334},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3326067328453064},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2683495283126831},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1051129698753357},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3106195.3106209","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3106195.3106209","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st International Systems and Software Product Line Conference - Volume A","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01699878v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01699878","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"the 21st International Systems and Software Product Line Conference - Volume A, Sep 2017, Sevilla, France. ⟨10.1145/3106195.3106209⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01699878v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01699878","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"the 21st International Systems and Software Product Line Conference - Volume A, Sep 2017, Sevilla, France. ⟨10.1145/3106195.3106209⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W5815757","https://openalex.org/W8913454","https://openalex.org/W75942765","https://openalex.org/W1485617965","https://openalex.org/W1494019345","https://openalex.org/W1547743088","https://openalex.org/W1551569369","https://openalex.org/W1552795373","https://openalex.org/W1560222722","https://openalex.org/W1591726984","https://openalex.org/W1825558883","https://openalex.org/W1972906196","https://openalex.org/W2005140737","https://openalex.org/W2021626639","https://openalex.org/W2057547805","https://openalex.org/W2062483738","https://openalex.org/W2099213660","https://openalex.org/W2113201637","https://openalex.org/W2125398918","https://openalex.org/W2128967738","https://openalex.org/W2129415823","https://openalex.org/W2138643187","https://openalex.org/W2144179818","https://openalex.org/W2156315212","https://openalex.org/W2208797039","https://openalex.org/W2477378326","https://openalex.org/W2496223582","https://openalex.org/W2527243989","https://openalex.org/W2604637590","https://openalex.org/W2949436104"],"related_works":["https://openalex.org/W2393746923","https://openalex.org/W2972496411","https://openalex.org/W4239223006","https://openalex.org/W3033662781","https://openalex.org/W2137530048","https://openalex.org/W2360869927","https://openalex.org/W2050876785","https://openalex.org/W2074642116","https://openalex.org/W3164401656","https://openalex.org/W2392031372"],"abstract_inverted_index":{"In":[0,54,86],"a":[1,25,29,43,61,91,129,146,169,197],"software":[2],"product":[3],"line":[4],"(SPL)":[5],"engineering":[6],"approach,":[7],"the":[8,18,33,81,96,101,118,138,158,184,209],"addressed":[9],"variability":[10,26,45,57,84,99,108,120,161],"in":[11,24,52,121,128,186,196,208],"core-code":[12],"assets":[13],"must":[14],"be":[15],"consistent":[16],"with":[17,168],"specified":[19],"domain":[20],"variability,":[21],"usually":[22],"captured":[23],"model,":[27],"e.g.,":[28,50,67],"feature":[30],"model.":[31],"Currently,":[32],"support":[34],"for":[35],"checking":[36],"such":[37,78],"consistency":[38,97,206],"is":[39,48,58,165],"limited,":[40],"mostly":[41],"when":[42,106,157],"single":[44],"implementation":[46,104,109],"technique":[47],"used,":[49],"preprocessors":[51],"C.":[53],"realistic":[55],"SPLs,":[56],"implemented":[59,119,180],"using":[60],"combined":[62],"set":[63],"of":[64,77,83,98,123,155,160],"traditional":[65],"techniques,":[66],"inheritance,":[68],"overloading,":[69],"design":[70],"patterns.":[71],"An":[72],"inappropriate":[73],"choice":[74],"and":[75,103,126,132,152,167,181],"combination":[76],"techniques":[79,110],"become":[80],"source":[82],"inconsistencies.":[85],"this":[87],"paper,":[88],"we":[89],"present":[90],"tooled":[92],"approach":[93,185],"to":[94,135,172,175,204],"check":[95,137],"between":[100,162],"specification":[102],"levels,":[105],"several":[107],"are":[111],"used":[112],"together.":[113],"The":[114],"proposed":[115],"method":[116],"models":[117],"terms":[122],"variation":[124],"points":[125],"variants,":[127],"forest-like":[130],"structure,":[131],"uses":[133],"slicing":[134],"partially":[136],"resulting":[139],"propositional":[140],"formulas":[141],"at":[142],"both":[143,163],"levels.":[144],"As":[145],"result,":[147],"it":[148],"offers":[149],"an":[150],"early":[151],"automatic":[153],"detection":[154],"inconsistencies":[156,195],"mapping":[159],"levels":[164],"ideal,":[166],"possible":[170,203],"extension":[171],"1":[173],"--":[174,176],"m":[177],"mapping.":[178],"We":[179],"successfully":[182],"applied":[183],"four":[187],"case":[188],"studies.":[189],"Our":[190],"implementation,":[191],"publicly":[192],"available,":[193],"detects":[194],"very":[198],"short":[199],"time,":[200],"which":[201],"makes":[202],"ensure":[205],"earlier":[207],"development":[210],"process.":[211]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}