{"id":"https://openalex.org/W2579672373","doi":"https://doi.org/10.5075/epfl-thesis-7325","title":"A Semantic Framework for Architecture Modelling","display_name":"A Semantic Framework for Architecture Modelling","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2579672373","doi":"https://doi.org/10.5075/epfl-thesis-7325","mag":"2579672373"},"language":"en","primary_location":{"id":"pmh:oai:infoscience.tind.io:224049","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/132431","pdf_url":"http://infoscience.epfl.ch/record/224049","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":"doctoral thesis"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/224049","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002632564","display_name":"Eduard Baranov","orcid":"https://orcid.org/0000-0002-7357-705X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Baranov, Eduard","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5002632564"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9965000152587891,"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.9962000250816345,"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.7337368130683899},{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.6236922740936279},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5822516679763794},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5690520405769348},{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.5482264161109924},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.521033525466919},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.49786853790283203},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.49065911769866943},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.48097503185272217},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4305286705493927},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4298638105392456},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.41927894949913025},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2717113494873047}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7337368130683899},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.6236922740936279},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5822516679763794},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5690520405769348},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.5482264161109924},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.521033525466919},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.49786853790283203},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.49065911769866943},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.48097503185272217},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4305286705493927},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4298638105392456},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.41927894949913025},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2717113494873047},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:infoscience.tind.io:224049","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/132431","pdf_url":"http://infoscience.epfl.ch/record/224049","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":"doctoral thesis"},{"id":"pmh:oai:infoscience.epfl.ch:224049","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/224049","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":"doi:10.5075/epfl-thesis-7325","is_oa":true,"landing_page_url":"https://doi.org/10.5075/epfl-thesis-7325","pdf_url":null,"source":{"id":"https://openalex.org/S4306400488","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"},{"id":"mag:2579672373","is_oa":false,"landing_page_url":"https://infoscience.epfl.ch/record/224049/files/EPFL_TH7325.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:infoscience.tind.io:224049","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/132431","pdf_url":"http://infoscience.epfl.ch/record/224049","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":"doctoral thesis"},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","score":0.4000000059604645,"id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2579672373.pdf","grobid_xml":"https://content.openalex.org/works/W2579672373.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2178359410","https://openalex.org/W1593651707","https://openalex.org/W1483246506","https://openalex.org/W1550485272","https://openalex.org/W1929586917","https://openalex.org/W158045570","https://openalex.org/W1761589367","https://openalex.org/W3150991042","https://openalex.org/W3195237345","https://openalex.org/W127681246","https://openalex.org/W2953958672","https://openalex.org/W2601370232","https://openalex.org/W2404490643","https://openalex.org/W3146585101","https://openalex.org/W2895811925","https://openalex.org/W2561581089","https://openalex.org/W3145045271","https://openalex.org/W2021430251","https://openalex.org/W2887394555","https://openalex.org/W2487535662"],"abstract_inverted_index":{"Architectures":[0,31],"are":[1,74],"common":[2],"means":[3,33],"for":[4,34,158,163,215,303,352],"organising":[5],"coordination":[6,43,227],"between":[7,44,360],"components":[8,124],"in":[9,137,151,263],"order":[10],"to":[11,16,59,64,78,107,225,271,347],"build":[12],"complex":[13],"systems":[14],"and":[15,27,88,125,162,201,212,236,246,290,365],"make":[17],"them":[18,66],"manageable.":[19],"They":[20],"allow":[21,314],"thinking":[22],"on":[23,172,185],"a":[24,108,113,117,288,309],"higher":[25],"plane":[26],"avoiding":[28],"low-level":[29],"mistakes.":[30],"provide":[32,156,204,287,338],"ensuring":[35],"correctness-by-construction":[36],"by":[37,71,167],"enforcing":[38],"global":[39],"properties":[40,69,192,245,254],"characterising":[41],"the":[42,51,84,94,130,141,146,152,169,186,205,208,213,216,221,230,249,264,268,277,294,323,331,343,349,358,361,366],"components.":[45],"In":[46,140,229],"this":[47],"work,":[48],"we":[49,144,233,282,318,356],"consider":[50],"following":[52],"questions":[53],"of":[54,86,91,110,123,148,181,218,255,267,279,293,316,322,333,368],"architecture":[55,98,239,280,307,335,362],"modelling:":[56],"1)":[57],"how":[58,63,77],"model":[60],"architectures;":[61],"2)":[62],"compose":[65],"if":[67],"several":[68,164],"enforced":[70],"different":[72],"architectures":[73,80,87,92,235,273],"required;":[75],"3)":[76],"specify":[79],"styles":[81],"that":[82,248,305],"generalise":[83],"notion":[85],"represent":[89],"families":[90],"satisfying":[93],"same":[95],"property.":[96,119],"An":[97],"can":[99],"be":[100],"considered":[101],"as":[102,298,300],"an":[103,178,238,306,339],"operator":[104,251,364],"that,":[105],"applied":[106],"set":[109],"components,":[111],"builds":[112],"composite":[114],"component":[115],"meeting":[116],"characteristic":[118],"The":[120,258],"underlying":[121],"concepts":[122],"their":[126,244],"interaction":[127,222],"originate":[128],"from":[129,194,220],"BIP":[131,153,160,182,210],"framework.":[132,154],"This":[133],"thesis":[134,269],"is":[135],"structured":[136],"two":[138],"parts.":[139],"first":[142,265],"part,":[143,232],"study":[145,177,243,319,357],"expressiveness":[147],"glue":[149,161,183,260],"operators":[150],"We":[155,175,203,242,286,327,337],"results":[157],"classical":[159,209],"modifications":[165],"obtained":[166],"relaxing":[168],"constraints":[170],"imposed":[171],"priority":[173],"models.":[174],"also":[176],"alternative":[179,259],"semantics":[180,211,261],"based":[184],"offer":[187],"predicate.":[188],"It":[189],"meets":[190],"fundamental":[191],"required":[193],"component-based":[195],"frameworks,":[196],"namely":[197],"compositionality,":[198],"incrementality,":[199],"flattening":[200],"modularity.":[202],"comparison":[206],"with":[207,274,329],"algorithm":[214],"synthesis":[217],"connectors":[219],"logic":[223,297,370],"used":[224],"describe":[226],"constraints.":[228],"second":[231],"define":[234],"propose":[237,283],"composition":[240,250,363,367],"operator.":[241],"prove":[247],"preserves":[252],"safety":[253],"its":[256],"operands.":[257],"presented":[262],"part":[266],"allows":[270],"extend":[272],"priorities.":[275],"For":[276],"specification":[278,332],"styles,":[281],"configuration":[284,296,325,353,369],"logics.":[285,354],"sound":[289],"complete":[291],"axiomatisation":[292],"propositional":[295,324],"well":[299],"decision":[301,350],"procedures":[302],"checking":[304],"satisfies":[308],"given":[310],"logical":[311],"specification.":[312],"To":[313],"genericity":[315],"specifications,":[317],"higher-order":[320],"extensions":[321],"logic.":[326],"illustrate":[328],"examples":[330],"various":[334],"styles.":[336],"experimental":[340],"evaluation":[341],"using":[342],"Maude":[344],"rewriting":[345],"system":[346],"implement":[348],"procedure":[351],"Additionally,":[355],"relation":[359],"formulas.":[371]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}