{"id":"https://openalex.org/W3136824130","doi":"https://doi.org/10.3233/faia190093","title":"Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules","display_name":"Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W3136824130","doi":"https://doi.org/10.3233/faia190093","mag":"3136824130"},"language":"en","primary_location":{"id":"doi:10.3233/faia190093","is_oa":false,"landing_page_url":"https://doi.org/10.3233/faia190093","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","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/A5046796163","display_name":"Zainab Liaghat","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Liaghat Zainab","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Besharati Mohammad Reza","orcid":null},"institutions":[{"id":"https://openalex.org/I133529467","display_name":"Sharif University of Technology","ror":"https://ror.org/024c2fq17","country_code":"IR","type":"education","lineage":["https://openalex.org/I133529467"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Besharati Mohammad Reza","raw_affiliation_strings":["Sharif University of Technology, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Sharif University of Technology, Tehran, Iran","institution_ids":["https://openalex.org/I133529467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033902274","display_name":"Mohammad Izadi","orcid":"https://orcid.org/0000-0003-3561-3942"},"institutions":[{"id":"https://openalex.org/I133529467","display_name":"Sharif University of Technology","ror":"https://ror.org/024c2fq17","country_code":"IR","type":"education","lineage":["https://openalex.org/I133529467"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Izadi Mohammad","raw_affiliation_strings":["Sharif University of Technology, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Sharif University of Technology, Tehran, Iran","institution_ids":["https://openalex.org/I133529467"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038059275","display_name":"Ehsan Khamespanah","orcid":"https://orcid.org/0000-0001-5278-5442"},"institutions":[{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Khamespanah Ehsan","raw_affiliation_strings":["University of Tehran, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"University of Tehran, Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5046796163"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.28672546,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9818999767303467,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9818999767303467,"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.9563000202178955,"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"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9332000017166138,"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/formalism","display_name":"Formalism (music)","score":0.8020185232162476},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5948229432106018},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4903895854949951},{"id":"https://openalex.org/keywords/compliance","display_name":"Compliance (psychology)","score":0.46784529089927673},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.2311951220035553},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.10991096496582031},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.07748612761497498},{"id":"https://openalex.org/keywords/social-psychology","display_name":"Social psychology","score":0.07378208637237549}],"concepts":[{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.8020185232162476},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5948229432106018},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4903895854949951},{"id":"https://openalex.org/C2781460075","wikidata":"https://www.wikidata.org/wiki/Q1399332","display_name":"Compliance (psychology)","level":2,"score":0.46784529089927673},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.2311951220035553},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.10991096496582031},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.07748612761497498},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.07378208637237549},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/faia190093","is_oa":false,"landing_page_url":"https://doi.org/10.3233/faia190093","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2410395228","https://openalex.org/W2390279801","https://openalex.org/W3125941065","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2484615095"],"abstract_inverted_index":{"Assessment":[0],"of":[1,20,57,88,113,121],"architectural":[2,76],"evolution":[3,14,18,59,89,94,135],"is":[4,33,66,83,107],"a":[5,9,47,67,132],"challenge":[6],"and":[7,55,96,104],"plays":[8],"significant":[10],"role":[11],"in":[12,75],"system":[13],"management.":[15],"Although":[16],"the":[17,21,42,52,58,114,119],"rules":[19,65],"software":[22],"architecture":[23,134],"are":[24,98],"defined":[25],"by":[26,100,110],"some":[27],"expert":[28],"engineers":[29],"or":[30],"architects,":[31],"there":[32],"no":[34],"guarantee":[35],"that":[36,71],"applying":[37],"them":[38],"will":[39],"end":[40],"to":[41,131],"desired":[43],"change.":[44],"So,":[45],"having":[46],"reliable":[48],"assessment":[49,69],"technique":[50],"promotes":[51],"overall":[53],"accuracy":[54],"quality":[56],"process.":[60],"Compliance":[61],"checking":[62,87,106,112],"with":[63],"expert-defined":[64],"well-known":[68],"approach":[70,82],"can":[72,128],"be":[73,129],"applied":[74,130],"evolution.":[77],"In":[78],"this":[79,92],"paper,":[80],"an":[81],"proposed":[84],"for":[85],"compliance":[86,105],"processes.":[90],"To":[91,117],"end,":[93],"paths":[95],"processes":[97],"modeled":[99],"Reo":[101,115],"coordination":[102],"language":[103],"automatically":[108],"performed":[109],"model":[111],"circuits.":[116],"demonstrate":[118],"applicability":[120],"our":[122],"approach,":[123],"we":[124],"show":[125],"how":[126],"it":[127],"real-world":[133],"problem.":[136]},"counts_by_year":[],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2021-03-29T00:00:00"}