{"id":"https://openalex.org/W2015315253","doi":"https://doi.org/10.1145/1147249.1147254","title":"A foundation for behavioural conformance in software product line architectures","display_name":"A foundation for behavioural conformance in software product line architectures","publication_year":2006,"publication_date":"2006-07-17","ids":{"openalex":"https://openalex.org/W2015315253","doi":"https://doi.org/10.1145/1147249.1147254","mag":"2015315253"},"language":"en","primary_location":{"id":"doi:10.1145/1147249.1147254","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1147249.1147254","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis","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/A5077313132","display_name":"Dario Fischbein","orcid":null},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Dario Fischbein","raw_affiliation_strings":["Imperial College, London, UK","Imperial College , London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College, London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College , London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045087569","display_name":"Sebasti\u00e1n Uchitel","orcid":"https://orcid.org/0000-0001-9352-1478"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sebastian Uchitel","raw_affiliation_strings":["Imperial College, London, UK","Imperial College , London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College, London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College , London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005812046","display_name":"V\u0131\u0301ctor Braberman","orcid":"https://orcid.org/0000-0001-5946-3550"},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"University of Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Victor Braberman","raw_affiliation_strings":["Universidad de Buenos, Aires, and Ciudad Universitaria, Buenos Aires, Argentina","Universidad de Buenos, Aires, and Ciudad Universitaria, Buenos Aires, Argentina#TAB#"],"affiliations":[{"raw_affiliation_string":"Universidad de Buenos, Aires, and Ciudad Universitaria, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313"]},{"raw_affiliation_string":"Universidad de Buenos, Aires, and Ciudad Universitaria, Buenos Aires, Argentina#TAB#","institution_ids":["https://openalex.org/I24354313"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5077313132"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":10.2346,"has_fulltext":false,"cited_by_count":140,"citation_normalized_percentile":{"value":0.98071746,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"39","last_page":"48"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9939000010490417,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/foundation","display_name":"Foundation (evidence)","score":0.6189252734184265},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.6024691462516785},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5876359939575195},{"id":"https://openalex.org/keywords/software-product-line","display_name":"Software product line","score":0.5710030794143677},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5073966383934021},{"id":"https://openalex.org/keywords/line","display_name":"Line (geometry)","score":0.48575928807258606},{"id":"https://openalex.org/keywords/product-line","display_name":"Product line","score":0.46179628372192383},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43219655752182007},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.43028831481933594},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.23749980330467224},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.20483043789863586},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1830776035785675},{"id":"https://openalex.org/keywords/manufacturing-engineering","display_name":"Manufacturing engineering","score":0.13297763466835022},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11413237452507019},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.07025885581970215},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06172412633895874}],"concepts":[{"id":"https://openalex.org/C2780966255","wikidata":"https://www.wikidata.org/wiki/Q5474306","display_name":"Foundation (evidence)","level":2,"score":0.6189252734184265},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.6024691462516785},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5876359939575195},{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.5710030794143677},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5073966383934021},{"id":"https://openalex.org/C198352243","wikidata":"https://www.wikidata.org/wiki/Q37105","display_name":"Line (geometry)","level":2,"score":0.48575928807258606},{"id":"https://openalex.org/C2988046880","wikidata":"https://www.wikidata.org/wiki/Q3084961","display_name":"Product line","level":2,"score":0.46179628372192383},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43219655752182007},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43028831481933594},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.23749980330467224},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.20483043789863586},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1830776035785675},{"id":"https://openalex.org/C117671659","wikidata":"https://www.wikidata.org/wiki/Q11049265","display_name":"Manufacturing engineering","level":1,"score":0.13297763466835022},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11413237452507019},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.07025885581970215},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06172412633895874},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1147249.1147254","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1147249.1147254","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.550000011920929,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320335478","display_name":"Secretar\u00eda de Ciencia y T\u00e9cnica, Universidad de Buenos Aires","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W78733105","https://openalex.org/W1481843134","https://openalex.org/W1495937566","https://openalex.org/W1501652040","https://openalex.org/W1554977156","https://openalex.org/W1555593767","https://openalex.org/W1571487936","https://openalex.org/W1581654673","https://openalex.org/W1587129889","https://openalex.org/W1592347886","https://openalex.org/W1592656068","https://openalex.org/W1611760289","https://openalex.org/W1786578488","https://openalex.org/W1978469611","https://openalex.org/W1985161650","https://openalex.org/W1994350081","https://openalex.org/W2008781243","https://openalex.org/W2034717157","https://openalex.org/W2035675534","https://openalex.org/W2060910670","https://openalex.org/W2070127479","https://openalex.org/W2107537653","https://openalex.org/W2108128207","https://openalex.org/W2108796478","https://openalex.org/W2116388899","https://openalex.org/W2118023438","https://openalex.org/W2125579889","https://openalex.org/W2126798937","https://openalex.org/W2148106163","https://openalex.org/W2168682577","https://openalex.org/W2187160962","https://openalex.org/W2338928721","https://openalex.org/W2517160519","https://openalex.org/W2575702446","https://openalex.org/W2987106766","https://openalex.org/W4285719527","https://openalex.org/W4289292505","https://openalex.org/W4296471858"],"related_works":["https://openalex.org/W2163809353","https://openalex.org/W3141846160","https://openalex.org/W4233789246","https://openalex.org/W4246810033","https://openalex.org/W4251582706","https://openalex.org/W2399127991","https://openalex.org/W1972612110","https://openalex.org/W2095882246","https://openalex.org/W2051414193","https://openalex.org/W2399803796"],"abstract_inverted_index":{"Software":[0],"product":[1,39,69,72,143],"lines":[2],"or":[3],"families":[4],"represent":[5],"an":[6,105],"emerging":[7],"paradigm":[8],"that":[9,129],"is":[10],"enabling":[11],"companies":[12],"to":[13,56,70],"engineer":[14],"applications":[15],"with":[16],"similar":[17],"functionality":[18],"and":[19,46,99,117],"user":[20],"requirements":[21],"more":[22],"effectively.":[23],"Behaviour":[24],"modelling":[25,89],"at":[26],"the":[27,31,84,132],"architecture":[28],"level":[29],"has":[30],"potential":[32],"for":[33,49,96,111,123,135,141],"supporting":[34],"behaviour":[35,48,88,139],"analysis":[36],"of":[37,52,64,67,86,138],"entire":[38],"lines,":[40],"as":[41,43,92,104],"well":[42,61],"defining":[44],"optional":[45],"variable":[47],"different":[50],"products":[51],"a":[53,60,68,81,120,136],"family.":[54],"However,":[55],"do":[57],"so":[58],"rigorously,":[59],"defined":[62],"notion":[63,137],"behavioural":[65],"conformance":[66,98,140],"its":[71],"line":[73,144],"must":[74],"exist.":[75],"In":[76],"this":[77],"paper":[78],"we":[79],"provide":[80,131],"discussion":[82],"on":[83],"shortcomings":[85],"traditional":[87],"formalisms":[90],"such":[91,112],"Labelled":[93],"Transition":[94,102,125],"Systems":[95,103],"characterising":[97],"propose":[100,119],"Modal":[101,124],"alternative.":[106],"We":[107],"discuss":[108],"existing":[109],"semantics":[110,122],"models,":[113],"exposing":[114],"their":[115],"limitations":[116],"finally":[118],"novel":[121],"Systems,":[126],"branching":[127],"semantics,":[128],"can":[130],"formal":[133],"underpinning":[134],"software":[142],"architectures.":[145]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":18},{"year":2014,"cited_by_count":16},{"year":2013,"cited_by_count":17},{"year":2012,"cited_by_count":21}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}