{"id":"https://openalex.org/W2569664737","doi":"https://doi.org/10.1145/3019598","title":"Formal Design and Verification of Self-Adaptive Systems with Decentralized Control","display_name":"Formal Design and Verification of Self-Adaptive Systems with Decentralized Control","publication_year":2017,"publication_date":"2017-01-10","ids":{"openalex":"https://openalex.org/W2569664737","doi":"https://doi.org/10.1145/3019598","mag":"2569664737"},"language":"en","primary_location":{"id":"doi:10.1145/3019598","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3019598","pdf_url":null,"source":{"id":"https://openalex.org/S16632050","display_name":"ACM Transactions on Autonomous and Adaptive Systems","issn_l":"1556-4665","issn":["1556-4665","1556-4703"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Autonomous and Adaptive Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10446/80697","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021486887","display_name":"Paolo Arcaini","orcid":"https://orcid.org/0000-0002-6253-4062"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Paolo Arcaini","raw_affiliation_strings":["Charles University, Faculty of Mathematics and Physics, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Charles University, Faculty of Mathematics and Physics, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008671444","display_name":"Elvinia Riccobene","orcid":"https://orcid.org/0000-0002-1400-1026"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Elvinia Riccobene","raw_affiliation_strings":["Universit\u00e0 degli Studi di Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Milano, Italy","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064186815","display_name":"Patrizia Scandurra","orcid":"https://orcid.org/0000-0002-9209-3624"},"institutions":[{"id":"https://openalex.org/I11039511","display_name":"University of Bergamo","ror":"https://ror.org/02mbd5571","country_code":"IT","type":"education","lineage":["https://openalex.org/I11039511"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Patrizia Scandurra","raw_affiliation_strings":["Universit\u00e0 degli Studi di Bergamo, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Bergamo, Italy","institution_ids":["https://openalex.org/I11039511"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5021486887"],"corresponding_institution_ids":["https://openalex.org/I21250087"],"apc_list":null,"apc_paid":null,"fwci":7.2157,"has_fulltext":false,"cited_by_count":65,"citation_normalized_percentile":{"value":0.9756278,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"11","issue":"4","first_page":"1","last_page":"35"},"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.9975000023841858,"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/T10142","display_name":"Formal Methods in Verification","score":0.996399998664856,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8391711711883545},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8138329982757568},{"id":"https://openalex.org/keywords/abstract-state-machines","display_name":"Abstract state machines","score":0.6418870091438293},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6309894323348999},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.6297223567962646},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4600209593772888},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.41732412576675415},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.2576884627342224},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.1908777356147766},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.092251718044281}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8391711711883545},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8138329982757568},{"id":"https://openalex.org/C145243422","wikidata":"https://www.wikidata.org/wiki/Q333385","display_name":"Abstract state machines","level":3,"score":0.6418870091438293},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6309894323348999},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.6297223567962646},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4600209593772888},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.41732412576675415},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.2576884627342224},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.1908777356147766},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.092251718044281},{"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/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3019598","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3019598","pdf_url":null,"source":{"id":"https://openalex.org/S16632050","display_name":"ACM Transactions on Autonomous and Adaptive Systems","issn_l":"1556-4665","issn":["1556-4665","1556-4703"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Autonomous and Adaptive Systems","raw_type":"journal-article"},{"id":"pmh:oai:aisberg.unibg.it:10446/80697","is_oa":true,"landing_page_url":"http://hdl.handle.net/10446/80697","pdf_url":null,"source":{"id":"https://openalex.org/S4377196347","display_name":"Aisberg (University of Bergamo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I11039511","host_organization_name":"University of Bergamo","host_organization_lineage":["https://openalex.org/I11039511"],"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":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:zenodo.org:3456569","is_oa":true,"landing_page_url":"https://zenodo.org/record/3456569","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:aisberg.unibg.it:10446/80697","is_oa":true,"landing_page_url":"http://hdl.handle.net/10446/80697","pdf_url":null,"source":{"id":"https://openalex.org/S4377196347","display_name":"Aisberg (University of Bergamo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I11039511","host_organization_name":"University of Bergamo","host_organization_lineage":["https://openalex.org/I11039511"],"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":null,"raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G406165409","display_name":null,"funder_award_id":"17-12465S","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"}],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":65,"referenced_works":["https://openalex.org/W71359207","https://openalex.org/W171902969","https://openalex.org/W801180006","https://openalex.org/W836931826","https://openalex.org/W1455759230","https://openalex.org/W1500859230","https://openalex.org/W1527069946","https://openalex.org/W1531296731","https://openalex.org/W1537902984","https://openalex.org/W1539705164","https://openalex.org/W1550309125","https://openalex.org/W1554295947","https://openalex.org/W1581430985","https://openalex.org/W1846083349","https://openalex.org/W1853368733","https://openalex.org/W1886563687","https://openalex.org/W1952561451","https://openalex.org/W1963500989","https://openalex.org/W1966993374","https://openalex.org/W1970482142","https://openalex.org/W1975210595","https://openalex.org/W1990911977","https://openalex.org/W1991277483","https://openalex.org/W1994862056","https://openalex.org/W1999392360","https://openalex.org/W2002826941","https://openalex.org/W2003258198","https://openalex.org/W2013498034","https://openalex.org/W2025735304","https://openalex.org/W2033406822","https://openalex.org/W2036315391","https://openalex.org/W2045270096","https://openalex.org/W2045480369","https://openalex.org/W2054104130","https://openalex.org/W2057143752","https://openalex.org/W2070121782","https://openalex.org/W2071187449","https://openalex.org/W2071616717","https://openalex.org/W2078133643","https://openalex.org/W2085155402","https://openalex.org/W2095929625","https://openalex.org/W2096166097","https://openalex.org/W2100653580","https://openalex.org/W2106417311","https://openalex.org/W2122282640","https://openalex.org/W2126548295","https://openalex.org/W2133079113","https://openalex.org/W2136648928","https://openalex.org/W2139863023","https://openalex.org/W2142486130","https://openalex.org/W2148128686","https://openalex.org/W2158849671","https://openalex.org/W2159272484","https://openalex.org/W2163195480","https://openalex.org/W2168738535","https://openalex.org/W2249896101","https://openalex.org/W2291134631","https://openalex.org/W2339127543","https://openalex.org/W2339731235","https://openalex.org/W2506749915","https://openalex.org/W3099698644","https://openalex.org/W3145155890","https://openalex.org/W3149292559","https://openalex.org/W4253853238","https://openalex.org/W6631405361"],"related_works":["https://openalex.org/W19238773","https://openalex.org/W1753021227","https://openalex.org/W3049513310","https://openalex.org/W1536552036","https://openalex.org/W2103326719","https://openalex.org/W2752133100","https://openalex.org/W3015940416","https://openalex.org/W2044067585","https://openalex.org/W4287816922","https://openalex.org/W4289792861"],"abstract_inverted_index":{"Feedback":[0],"control":[1,30,37,52,120,125],"loops":[2],"that":[3,105],"monitor":[4],"and":[5,69,90,117,136,145],"adapt":[6],"managed":[7],"parts":[8],"of":[9,44,74,109,123,130,149],"a":[10,26,85,97],"software":[11,20],"system":[12],"are":[13,79],"considered":[14],"crucial":[15],"for":[16,39,67,87,139,146],"realizing":[17],"self-adaptation":[18],"in":[19,121],"systems.":[21,41,93],"The":[22,42],"MAPE-K":[23,124,143],"(Monitor-Analyze-Plan-Execute":[24],"over":[25],"shared":[27],"Knowledge)":[28],"autonomic":[29],"loop":[31],"is":[32,58],"the":[33,60,71,75,107],"most":[34],"influential":[35],"reference":[36],"model":[38],"self-adaptive":[40,47,92,100],"design":[43],"complex":[45],"distributed":[46,116],"systems":[48],"having":[49],"decentralized":[50,76,118],"adaptation":[51,77,119],"by":[53],"multiple":[54],"interacting":[55],"MAPE":[56,131,150],"components":[57,151],"among":[59],"major":[61],"challenges.":[62],"In":[63],"particular,":[64],"formal":[65,88],"methods":[66],"designing":[68],"assuring":[70,147],"functional":[72],"correctness":[73,148],"logic":[78],"highly":[80],"demanded.":[81],"This":[82],"article":[83],"presents":[84],"framework":[86],"modeling":[89],"analyzing":[91],"We":[94,133],"contribute":[95],"with":[96],"formalism,":[98],"called":[99],"Abstract":[101,111],"State":[102,112],"Machines":[103,113],",":[104],"exploits":[106],"concept":[108],"multiagent":[110],"to":[114],"specify":[115],"terms":[122],"loops,":[126,144],"also":[127],"possible":[128],"instances":[129],"patterns.":[132],"support":[134],"validation":[135],"verification":[137],"techniques":[138],"discovering":[140],"unexpected":[141],"interfering":[142],"interaction":[152],"when":[153],"performing":[154],"adaptation.":[155]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":14},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":12},{"year":2017,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}