{"id":"https://openalex.org/W2422137717","doi":"https://doi.org/10.1109/acsd.2016.19","title":"Weaving True-Concurrent Aspects Using Constraint Solvers","display_name":"Weaving True-Concurrent Aspects Using Constraint Solvers","publication_year":2016,"publication_date":"2016-06-01","ids":{"openalex":"https://openalex.org/W2422137717","doi":"https://doi.org/10.1109/acsd.2016.19","mag":"2422137717"},"language":"en","primary_location":{"id":"doi:10.1109/acsd.2016.19","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acsd.2016.19","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 16th International Conference on Application of Concurrency to System Design (ACSD)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.birmingham.ac.uk/en/publications/1db75d58-7f22-4602-944d-a6a52b7d4ab9","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004629504","display_name":"Juliana Bowles","orcid":"https://orcid.org/0000-0002-5918-9114"},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Juliana K. F. Bowles","raw_affiliation_strings":["School of Computer Science, University of St Andrews, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of St Andrews, UK","institution_ids":["https://openalex.org/I16835326"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062816254","display_name":"Behzad Bordbar","orcid":"https://orcid.org/0000-0002-6811-6216"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Behzad Bordbar","raw_affiliation_strings":["School of Computer Science, University of Birmingham, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026696810","display_name":"Mohammed Alwanain","orcid":null},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mohammed Alwanain","raw_affiliation_strings":["School of Computer Science, University of Birmingham, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.9748,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.94365147,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"4","issue":null,"first_page":"35","last_page":"44"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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.9997000098228455,"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.9993000030517578,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9993000030517578,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/weaving","display_name":"Weaving","score":0.8824394941329956},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8094092607498169},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.615584671497345},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5536721348762512},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.488235741853714},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.48165690898895264},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4702519178390503},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4666222333908081},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.46381303668022156},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.45844244956970215},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.45765578746795654},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.44571542739868164},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4139268398284912},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24303805828094482},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09350696206092834}],"concepts":[{"id":"https://openalex.org/C54525549","wikidata":"https://www.wikidata.org/wiki/Q2553445","display_name":"Weaving","level":2,"score":0.8824394941329956},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8094092607498169},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.615584671497345},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5536721348762512},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.488235741853714},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.48165690898895264},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4702519178390503},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4666222333908081},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.46381303668022156},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45844244956970215},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.45765578746795654},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.44571542739868164},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4139268398284912},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24303805828094482},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09350696206092834},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/acsd.2016.19","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acsd.2016.19","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 16th International Conference on Application of Concurrency to System Design (ACSD)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:Publications/1db75d58-7f22-4602-944d-a6a52b7d4ab9","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/1db75d58-7f22-4602-944d-a6a52b7d4ab9","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/1db75d58-7f22-4602-944d-a6a52b7d4ab9","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"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":"Bowles, J K F, Bordbar, B & Alwanain, M 2017, Weaving true-concurrent aspects using constraint solvers. in 16th International Conference on Application of Concurrency to System Design 2016. International Conference on Application of Concurrency to System Design. Proceedings, IEEE Xplore, 16th International Conference on Application of Concurrency to System Design (ACSD 2016), Torun, Poland, 19/06/16. https://doi.org/10.1109/ACSD.2016.19","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.atira.dk:publications/1db75d58-7f22-4602-944d-a6a52b7d4ab9","is_oa":false,"landing_page_url":"https://birmingham.elsevierpure.com/en/publications/1db75d58-7f22-4602-944d-a6a52b7d4ab9","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:research-repository.st-andrews.ac.uk:10023/9016","is_oa":false,"landing_page_url":"https://hdl.handle.net/10023/9016","pdf_url":null,"source":{"id":"https://openalex.org/S4306400230","display_name":"St Andrews Research Repository (St Andrews Research Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I16835326","host_organization_name":"University of St Andrews","host_organization_lineage":["https://openalex.org/I16835326"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference item"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/1db75d58-7f22-4602-944d-a6a52b7d4ab9","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/1db75d58-7f22-4602-944d-a6a52b7d4ab9","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"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":"Bowles, J K F, Bordbar, B & Alwanain, M 2017, Weaving true-concurrent aspects using constraint solvers. in 16th International Conference on Application of Concurrency to System Design 2016. International Conference on Application of Concurrency to System Design. Proceedings, IEEE Xplore, 16th International Conference on Application of Concurrency to System Design (ACSD 2016), Torun, Poland, 19/06/16. https://doi.org/10.1109/ACSD.2016.19","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1482962177","https://openalex.org/W1503805806","https://openalex.org/W1541737704","https://openalex.org/W1552077729","https://openalex.org/W1572042250","https://openalex.org/W1579898093","https://openalex.org/W1663293672","https://openalex.org/W1793167577","https://openalex.org/W1895387792","https://openalex.org/W1967389447","https://openalex.org/W1974181258","https://openalex.org/W1978905398","https://openalex.org/W1987482057","https://openalex.org/W1994814240","https://openalex.org/W2004100755","https://openalex.org/W2027184677","https://openalex.org/W2028283353","https://openalex.org/W2036458369","https://openalex.org/W2073781861","https://openalex.org/W2084764985","https://openalex.org/W2125830004","https://openalex.org/W2126986587","https://openalex.org/W2139453480","https://openalex.org/W2150543695","https://openalex.org/W2170125932","https://openalex.org/W2173961470","https://openalex.org/W2195361387","https://openalex.org/W2257846350","https://openalex.org/W2292267136","https://openalex.org/W2913280239","https://openalex.org/W4229856766","https://openalex.org/W6676877027"],"related_works":["https://openalex.org/W2952092742","https://openalex.org/W2068981955","https://openalex.org/W67774003","https://openalex.org/W2368396969","https://openalex.org/W2740565117","https://openalex.org/W2365680989","https://openalex.org/W4231951841","https://openalex.org/W2188987414","https://openalex.org/W3200780701","https://openalex.org/W2783796426"],"abstract_inverted_index":{"Large":[0],"system":[1],"models":[2,8,27,55],"usually":[3],"consist":[4],"of":[5,20,106,139],"several":[6,26,42],"simpler":[7],"that":[9,62],"can":[10,48],"be":[11,49],"understood":[12],"more":[13],"easily.":[14],"Making":[15],"changes":[16],"to":[17,70,90,143],"the":[18,52,63,72,76,132,137],"behaviour":[19],"a":[21,58,113,123],"component":[22],"will":[23],"likely":[24],"affect":[25],"and":[28,79,141],"could":[29],"introduce":[30],"accidental":[31],"errors.":[32],"Aspects":[33],"address":[34],"this":[35],"by":[36,56],"modelling":[37],"new":[38,81],"functionality":[39],"required":[40],"in":[41],"places":[43],"as":[44],"an":[45],"advice,":[46],"which":[47],"integrated":[50],"with":[51],"original":[53],"base":[54,77],"specifying":[57],"pointcut.":[59],"Before":[60],"checking":[61],"overall":[64],"outcome":[65],"is":[66,122],"correct,":[67],"we":[68],"need":[69],"weave":[71,91],"cross-cutting":[73],"advice":[74],"into":[75],"models,":[78,92,108],"obtain":[80],"augmented":[82],"models.":[83],"Although":[84],"considerable":[85],"research":[86],"has":[87],"been":[88],"done":[89],"many":[93],"such":[94],"approaches":[95],"are":[96,111],"not":[97],"fully":[98],"automated.":[99],"This":[100],"paper":[101],"looks":[102],"at":[103],"aspect":[104],"weaving":[105,129],"scenario-based":[107],"where":[109],"aspects":[110,130],"given":[112],"true-concurrent":[114],"semantics":[115],"based":[116],"on":[117],"event":[118],"structures.":[119],"Our":[120],"contribution":[121],"novel":[124],"formal":[125],"automated":[126],"technique":[127],"for":[128],"using":[131],"Z3-SMT":[133],"solver.":[134],"We":[135],"compare":[136],"performance":[138],"Alloy":[140],"Z3":[142],"justify":[144],"our":[145],"choice.":[146]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}