{"id":"https://openalex.org/W2343825734","doi":"https://doi.org/10.1007/s00165-016-0360-8","title":"Model-driven synthesis of formally precise, stylized software architectures","display_name":"Model-driven synthesis of formally precise, stylized software architectures","publication_year":2016,"publication_date":"2016-03-11","ids":{"openalex":"https://openalex.org/W2343825734","doi":"https://doi.org/10.1007/s00165-016-0360-8","mag":"2343825734"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-016-0360-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-016-0360-8","pdf_url":null,"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":null,"license_id":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030064922","display_name":"Hamid Bagheri","orcid":"https://orcid.org/0000-0001-6686-466X"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hamid Bagheri","raw_affiliation_strings":["School of Information and Computer Sciences, University of California, 92612, Irvine, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information and Computer Sciences, University of California, 92612, Irvine, CA, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000090216","display_name":"Kevin Sullivan","orcid":"https://orcid.org/0000-0001-9147-0988"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin Sullivan","raw_affiliation_strings":["Department of Computer Science, University of Virginia, 22904, Charlottesville, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Virginia, 22904, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.8581,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.95374994,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"28","issue":"3","first_page":"441","last_page":"467"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994000196456909,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9984999895095825,"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.8003449440002441},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5713884830474854},{"id":"https://openalex.org/keywords/architectural-style","display_name":"Architectural style","score":0.498762845993042},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4822457730770111},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4378195106983185},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.423267126083374},{"id":"https://openalex.org/keywords/separation-of-concerns","display_name":"Separation of concerns","score":0.4196886122226715},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4169083833694458},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.41186952590942383},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24822190403938293}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8003449440002441},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5713884830474854},{"id":"https://openalex.org/C2777364373","wikidata":"https://www.wikidata.org/wiki/Q32880","display_name":"Architectural style","level":3,"score":0.498762845993042},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4822457730770111},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4378195106983185},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.423267126083374},{"id":"https://openalex.org/C76214141","wikidata":"https://www.wikidata.org/wiki/Q2465506","display_name":"Separation of concerns","level":3,"score":0.4196886122226715},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4169083833694458},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.41186952590942383},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24822190403938293},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"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/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-016-0360-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-016-0360-8","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W346767090","https://openalex.org/W1505683021","https://openalex.org/W1517855761","https://openalex.org/W1542934053","https://openalex.org/W1549521321","https://openalex.org/W1587129889","https://openalex.org/W1605597033","https://openalex.org/W1800478330","https://openalex.org/W1895387792","https://openalex.org/W1971328644","https://openalex.org/W1981346223","https://openalex.org/W2005459388","https://openalex.org/W2019952623","https://openalex.org/W2025041550","https://openalex.org/W2045270096","https://openalex.org/W2046638690","https://openalex.org/W2060440626","https://openalex.org/W2064678220","https://openalex.org/W2077318760","https://openalex.org/W2099933459","https://openalex.org/W2103317421","https://openalex.org/W2106084097","https://openalex.org/W2108177013","https://openalex.org/W2111492825","https://openalex.org/W2116859813","https://openalex.org/W2118023438","https://openalex.org/W2124292065","https://openalex.org/W2127046754","https://openalex.org/W2132695268","https://openalex.org/W2134119432","https://openalex.org/W2137339691","https://openalex.org/W2138464849","https://openalex.org/W2139872812","https://openalex.org/W2141297162","https://openalex.org/W2143897980","https://openalex.org/W2145168181","https://openalex.org/W2151306184","https://openalex.org/W2154449195","https://openalex.org/W2156865091","https://openalex.org/W2162366870","https://openalex.org/W2164765430","https://openalex.org/W2165014417","https://openalex.org/W2168028588","https://openalex.org/W2172028106","https://openalex.org/W2295639741","https://openalex.org/W2404379683","https://openalex.org/W3006256296","https://openalex.org/W4244831284","https://openalex.org/W4249095665","https://openalex.org/W4250780101"],"related_works":["https://openalex.org/W2361925538","https://openalex.org/W2001720216","https://openalex.org/W2257494116","https://openalex.org/W2064678220","https://openalex.org/W644355285","https://openalex.org/W609295918","https://openalex.org/W2767231481","https://openalex.org/W2752383911","https://openalex.org/W2095354343","https://openalex.org/W1989436359"],"abstract_inverted_index":{"Abstract":[0],"Reliably":[1],"producing":[2],"software":[3,107,119,191,214],"architectures":[4,38,211],"in":[5,74,106],"selected":[6],"architectural":[7,54,192],"styles":[8],"requires":[9],"significant":[10],"expertise":[11],"yet":[12],"remains":[13],"difficult":[14],"and":[15,29,61,115,122,135,144,166,173,206,216],"error-prone.":[16],"Our":[17,155],"research":[18],"goals":[19],"are":[20],"to":[21,35,52,69,82,98,110,117,147],"better":[22],"understand":[23],"the":[24,33],"nature":[25],"of":[26,32,102,132,164,175,190,204,210],"style-specific":[27,113],"architectures,":[28],"relieve":[30],"architects":[31],"need":[34],"produce":[36],"such":[37],"by":[39],"hand.":[40],"To":[41,124],"achieve":[42],"our":[43,162,183,188],"goals,":[44],"this":[45,100],"paper":[46],"introduces":[47],"a":[48,77,88,130,158,195],"formally":[49],"precise":[50],"approach":[51,81],"separate":[53,65,89],"style":[55,86,193],"design":[56,90,120],"decisions":[57,66],"from":[58],"application-specific":[59],"decisions,":[60],"then":[62],"uses":[63],"these":[64,126],"as":[67,87,181,194],"inputs":[68],"an":[70,141,169,201],"automated":[71],"synthesizer.":[72],"This":[73,185],"effect":[75],"supports":[76],"model-driven":[78],"development":[79],"(MDD)":[80],"architecture":[83],"synthesis":[84,167,209],"with":[85],"variable.":[91],"We":[92],"claim":[93],"that":[94,178,208],"it":[95,146],"is":[96],"possible":[97],"formalize":[99],"separation":[101,163],"concerns,":[103],"long":[104],"implicit":[105],"engineering":[108],"research;":[109],"automatically":[111],"synthesize":[112],"architectures;":[114],"thereby":[116],"improve":[118,213],"productivity":[121,215],"quality.":[123,217],"test":[125],"claims,":[127],"we":[128,139,179],"employed":[129],"combination":[131],"experimental":[133],"systems":[134],"case":[136,150,176],"study":[137],"methods:":[138],"developed":[140],"MDD":[142,170],"tool":[143],"used":[145],"carry":[148],"out":[149],"studies":[151,177],"using":[152],"Kitchenham\u2019s":[153],"methods.":[154],"contributions":[156],"include:":[157],"theoretical":[159],"framework":[160],"formalizing":[161],"concerns":[165],"approach;":[168],"framework,":[171],"Monarch;":[172],"results":[174],"interpret":[180],"supporting":[182],"claims.":[184],"work":[186],"advances":[187],"understanding":[189],"formal":[196],"refinement;":[197],"makes":[198],"application":[199],"descriptions":[200],"explicit":[202],"subject":[203],"study;":[205],"suggests":[207],"can":[212]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}