{"id":"https://openalex.org/W2175855740","doi":"https://doi.org/10.1007/s00165-015-0349-8","title":"A general framework for architecture composability","display_name":"A general framework for architecture composability","publication_year":2015,"publication_date":"2015-12-18","ids":{"openalex":"https://openalex.org/W2175855740","doi":"https://doi.org/10.1007/s00165-015-0349-8","mag":"2175855740"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-015-0349-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-015-0349-8","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-015-0349-8","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-015-0349-8","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084248913","display_name":"Paul C. Attie","orcid":"https://orcid.org/0000-0003-1989-0974"},"institutions":[{"id":"https://openalex.org/I98635879","display_name":"American University of Beirut","ror":"https://ror.org/04pznsd21","country_code":"LB","type":"education","lineage":["https://openalex.org/I98635879"]}],"countries":["LB"],"is_corresponding":true,"raw_author_name":"Paul Attie","raw_affiliation_strings":["American University of Beirut, Beirut, Lebanon"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"American University of Beirut, Beirut, Lebanon","institution_ids":["https://openalex.org/I98635879"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002632564","display_name":"Eduard Baranov","orcid":"https://orcid.org/0000-0002-7357-705X"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Eduard Baranov","raw_affiliation_strings":["\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Station 14, 1015, Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Station 14, 1015, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030465732","display_name":"Simon Bliudze","orcid":"https://orcid.org/0000-0002-7900-5271"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Simon Bliudze","raw_affiliation_strings":["\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Station 14, 1015, Lausanne, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-7900-5271","affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Station 14, 1015, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088676304","display_name":"Mohamad Jaber","orcid":"https://orcid.org/0000-0003-2457-9742"},"institutions":[{"id":"https://openalex.org/I98635879","display_name":"American University of Beirut","ror":"https://ror.org/04pznsd21","country_code":"LB","type":"education","lineage":["https://openalex.org/I98635879"]}],"countries":["LB"],"is_corresponding":false,"raw_author_name":"Mohamad Jaber","raw_affiliation_strings":["American University of Beirut, Beirut, Lebanon"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"American University of Beirut, Beirut, Lebanon","institution_ids":["https://openalex.org/I98635879"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075454664","display_name":"Joseph Sifakis","orcid":"https://orcid.org/0000-0003-2447-7981"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Joseph Sifakis","raw_affiliation_strings":["\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Station 14, 1015, Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Station 14, 1015, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5084248913"],"corresponding_institution_ids":["https://openalex.org/I98635879"],"apc_list":null,"apc_paid":null,"fwci":4.7239,"has_fulltext":true,"cited_by_count":34,"citation_normalized_percentile":{"value":0.95361035,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"28","issue":"2","first_page":"207","last_page":"231"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9948999881744385,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9948999881744385,"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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.988099992275238,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.975600004196167,"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/algorithm","display_name":"Algorithm","score":0.7157433032989502},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.604678213596344},{"id":"https://openalex.org/keywords/composability","display_name":"Composability","score":0.5455982685089111},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4213648736476898},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.34308934211730957},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15283915400505066}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.7157433032989502},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.604678213596344},{"id":"https://openalex.org/C2778814252","wikidata":"https://www.wikidata.org/wiki/Q5156715","display_name":"Composability","level":2,"score":0.5455982685089111},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4213648736476898},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.34308934211730957},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15283915400505066}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s00165-015-0349-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-015-0349-8","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-015-0349-8","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:infoscience.epfl.ch:213126","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/213126","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"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":"","raw_type":"Text"},{"id":"pmh:oai:infoscience.tind.io:213126","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/120021","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"research article"}],"best_oa_location":{"id":"doi:10.1007/s00165-015-0349-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-015-0349-8","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-015-0349-8","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.47999998927116394}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2175855740.pdf","grobid_xml":"https://content.openalex.org/works/W2175855740.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W150787565","https://openalex.org/W1482043751","https://openalex.org/W1503973138","https://openalex.org/W1540530196","https://openalex.org/W1541938761","https://openalex.org/W1544921803","https://openalex.org/W1560139716","https://openalex.org/W1812814601","https://openalex.org/W1975146975","https://openalex.org/W1975657455","https://openalex.org/W1975864406","https://openalex.org/W1976591314","https://openalex.org/W1992514195","https://openalex.org/W2048903680","https://openalex.org/W2068847249","https://openalex.org/W2095879400","https://openalex.org/W2101417106","https://openalex.org/W2108999965","https://openalex.org/W2114216764","https://openalex.org/W2118382442","https://openalex.org/W2135173989","https://openalex.org/W2139842876","https://openalex.org/W2141083996","https://openalex.org/W2146598041","https://openalex.org/W2150408604","https://openalex.org/W2162366870","https://openalex.org/W2166222448","https://openalex.org/W2169180789","https://openalex.org/W2197195447","https://openalex.org/W2293400264","https://openalex.org/W2540025645","https://openalex.org/W2997061329","https://openalex.org/W3144368627","https://openalex.org/W4245395154","https://openalex.org/W4250200655","https://openalex.org/W4251540819","https://openalex.org/W4252575046"],"related_works":["https://openalex.org/W2961085424","https://openalex.org/W4306674287","https://openalex.org/W3046775127","https://openalex.org/W3107602296","https://openalex.org/W3170094116","https://openalex.org/W4386462264","https://openalex.org/W4313488044","https://openalex.org/W3209574120","https://openalex.org/W4312192474","https://openalex.org/W4210805261"],"abstract_inverted_index":{"Abstract":[0],"Architectures":[1],"depict":[2],"design":[3],"principles:":[4],"paradigms":[5],"that":[6,131,198],"can":[7,41],"be":[8,42],"understood":[9],"by":[10,28,30,96,204,214,222],"all,":[11],"allow":[12],"thinking":[13],"on":[14,113],"a":[15,51,62,78,90,104,223,227],"higher":[16],"plane":[17],"and":[18,92,106,117,137,152,226],"avoiding":[19],"low-level":[20],"mistakes.":[21],"They":[22],"provide":[23],"means":[24],"for":[25,109],"ensuring":[26],"correctness":[27],"construction":[29],"enforcing":[31],"global":[32],"properties":[33,143,201,213],"characterizing":[34],"the":[35,162,179],"coordination":[36],"between":[37],"components.":[38],"An":[39],"architecture":[40,110,119,163,205,215],"considered":[43],"as":[44],"an":[45,114],"operator":[46,121],"A":[47,135,138],"that,":[48],"applied":[49],"to":[50],"set":[52],"of":[53,211],"components":[54],"<mml:math":[55,65,81,122,144,153,164,181],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[56,66,82,123,145,154,165,182],"<mml:mi":[57,71,83,147,156,185,191],"mathvariant=\"script\">B</mml:mi>":[58,72],"</mml:math>":[59,76,85,125,151,160,177,196],",":[60,161,197],"builds":[61],"composite":[63],"component":[64],"<mml:mrow>":[67,166,183],"<mml:mi>A</mml:mi>":[68,168,173],"<mml:mo":[69,73],"stretchy=\"false\">(</mml:mo>":[70],"stretchy=\"false\">)</mml:mo>":[74],"</mml:mrow>":[75,176,195],"meeting":[77],"characteristic":[79],"property":[80,180],"mathvariant=\"normal\">\u03a6</mml:mi>":[84,148,157,186,192],".":[86,126],"Architecture":[87],"composability":[88,111],"is":[89,130,199],"basic":[91],"common":[93],"problem":[94],"faced":[95],"system":[97],"designers.":[98],"In":[99],"this":[100],"paper,":[101],"we":[102],"propose":[103],"formal":[105],"general":[107],"framework":[108],"based":[112],"associative,":[115],"commutative":[116],"idempotent":[118],"composition":[120],"<mml:mo>\u2295</mml:mo>":[124,171],"The":[127,217],"main":[128],"result":[129],"if":[132],"two":[133],"architectures":[134],"1":[136],"2":[139],"enforce":[140],"respectively":[141],"safety":[142],"<mml:msub>":[146,155,167,172,184,190],"<mml:mn>1</mml:mn>":[149,169,187],"</mml:msub>":[150,159,170,175,188,194],"<mml:mn>2</mml:mn>":[158,174,193],"enforces":[178],"<mml:mo>\u2227</mml:mo>":[189],"both":[200],"are":[202,220],"preserved":[203],"composition.":[206,216],"We":[207],"also":[208],"establish":[209],"preservation":[210],"liveness":[212],"presented":[218],"results":[219],"illustrated":[221],"running":[224],"example":[225],"case":[228],"study.":[229]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}