{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T17:33:23Z","timestamp":1781976803976,"version":"3.54.5"},"reference-count":55,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2018,3,9]],"date-time":"2018-03-09T00:00:00Z","timestamp":1520553600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"HyVar"},{"name":"Ateneo\/CSP project RunVar"},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"crossref","award":["FA8750- 10-C-0242 (Beal) and HR001117C0049 (Beal)"],"award-info":[{"award-number":["FA8750- 10-C-0242 (Beal) and HR001117C0049 (Beal)"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"crossref"}]},{"name":"ICT COST Action"},{"name":"IC1402 ARVI"},{"name":"European Union's Horizon 2020 research","award":["644298"],"award-info":[{"award-number":["644298"]}]},{"DOI":"10.13039\/100006831","name":"United States Air Force","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100006831","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Model. Comput. Simul."],"published-print":{"date-parts":[[2018,4,30]]},"abstract":"<jats:p>Collective adaptive systems are an emerging class of networked computational systems particularly suited for application domains such as smart cities, complex sensor networks, and the Internet of Things. These systems tend to feature large-scale, heterogeneity of communication model (including opportunistic peer-to-peer wireless interaction) and require inherent self-adaptiveness properties to address unforeseen changes in operating conditions. In this context, it is extremely difficult (if not seemingly intractable) to engineer reusable pieces of distributed behaviour to make them provably correct and smoothly composable.<\/jats:p>\n          <jats:p>Building on the field calculus, a computational model (and associated toolchain) capturing the notion of aggregate network-level computation, we address this problem with an engineering methodology coupling formal theory and computer simulation. On the one hand, functional properties are addressed by identifying the largest-to-date field calculus fragment generating self-stabilising behaviour, guaranteed to eventually attain a correct and stable final state despite any transient perturbation in state or topology and including highly reusable building blocks for information spreading, aggregation, and time evolution. On the other hand, dynamical properties are addressed by simulation, empirically evaluating the different performances that can be obtained by switching between implementations of building blocks with provably equivalent functional properties. Overall, our methodology sheds light on how to identify core building blocks of collective behaviour and how to select implementations that improve system performance while leaving overall system function and resiliency properties unchanged.<\/jats:p>","DOI":"10.1145\/3177774","type":"journal-article","created":{"date-parts":[[2018,3,9]],"date-time":"2018-03-09T13:27:48Z","timestamp":1520602068000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":100,"title":["Engineering Resilient Collective Adaptive Systems by Self-Stabilisation"],"prefix":"10.1145","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2702-5702","authenticated-orcid":false,"given":"Mirko","family":"Viroli","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Bologna"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2319-0375","authenticated-orcid":false,"given":"Giorgio","family":"Audrito","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino, Torino, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1663-5102","authenticated-orcid":false,"given":"Jacob","family":"Beal","sequence":"additional","affiliation":[{"name":"Raytheon BBN Technologies"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8109-1706","authenticated-orcid":false,"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino, Torino, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8392-5409","authenticated-orcid":false,"given":"Danilo","family":"Pianini","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Bologna"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,3,9]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.256850"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399480"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2017.18"},{"key":"e_1_2_2_4_1","series-title":"Lecture Notes in Computer Science","volume-title":"Coordination Models and Languages","author":"Audrito Giorgio","unstructured":"Giorgio Audrito , Ferruccio Damiani , and Mirko Viroli . 2017. Optimally-self-healing distributed gradient structures through bounded information speed . In Coordination Models and Languages . Lecture Notes in Computer Science , Vol. 10319 . Springer , 59--77. Giorgio Audrito, Ferruccio Damiani, and Mirko Viroli. 2017. Optimally-self-healing distributed gradient structures through bounded information speed. In Coordination Models and Languages. Lecture Notes in Computer Science, Vol. 10319. Springer, 59--77."},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1991.185377"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529550"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1364163"},{"key":"e_1_2_2_8_1","first-page":"436","article-title":"Organizing the aggregate: Languages for spatial computing. In Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, Marjan Mernik (Ed.). IGI Global","volume":"16","author":"Beal Jacob","year":"2013","unstructured":"Jacob Beal , Stefan Dulman , Kyle Usbeck , Mirko Viroli , and Nikolaus Correll . 2013 . Organizing the aggregate: Languages for spatial computing. In Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, Marjan Mernik (Ed.). IGI Global , Chapter 16 , 436 -- 501 . Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, and Nikolaus Correll. 2013. Organizing the aggregate: Languages for spatial computing. In Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, Marjan Mernik (Ed.). IGI Global, Chapter 16, 436--501.","journal-title":"Chapter"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.261"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASOW.2014.6"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2016.12"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3105758"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2957319.2957372"},{"key":"e_1_2_2_15_1","volume-title":"Proceedings of the Workshop on Adaptability in Multi-Agent Systems, RoboCup Australian Open.","author":"Clement Lauren","year":"2003","unstructured":"Lauren Clement and Radhika Nagpal . 2003 . Self-assembly and self-repairing topologies . In Proceedings of the Workshop on Adaptability in Multi-Agent Systems, RoboCup Australian Open. Lauren Clement and Radhika Nagpal. 2003. Self-assembly and self-repairing topologies. In Proceedings of the Workshop on Adaptability in Multi-Agent Systems, RoboCup Australian Open."},{"key":"e_1_2_2_16_1","unstructured":"Daniel Coore. 1999. Botanical Computing: A Developmental Approach to Generating Inter Connect Topologies On an Amorphous Computer. Ph.D. Dissertation. MIT Cambridge MA.   Daniel Coore. 1999. Botanical Computing: A Developmental Approach to Generating Inter Connect Topologies On an Amorphous Computer. Ph.D. Dissertation. MIT Cambridge MA."},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2005.08.003"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-11(4:21)2015"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.11.005"},{"key":"e_1_2_2_21_1","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"Damiani Ferruccio","unstructured":"Ferruccio Damiani , Mirko Viroli , Danilo Pianini , and Jacob Beal . 2015. Code mobility meets self-organisation: A higher-order calculus of computational fields . In Formal Techniques for Distributed Objects, Components, and Systems . Lecture Notes in Computer Science , Vol. 9039 . Springer , 113--128. Ferruccio Damiani, Mirko Viroli, Danilo Pianini, and Jacob Beal. 2015. Code mobility meets self-organisation: A higher-order calculus of computational fields. In Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science, Vol. 9039. Springer, 113--128."},{"key":"e_1_2_2_22_1","first-page":"1","article-title":"Synthesis of fixed-point programs. In Proceedings of the International Conference on Embedded Software (EMSOFT\u201913)","volume":"22","author":"Darulova Eva","year":"2013","unstructured":"Eva Darulova , Viktor Kuncak , Rupak Majumdar , and Indranil Saha . 2013 . Synthesis of fixed-point programs. In Proceedings of the International Conference on Embedded Software (EMSOFT\u201913) . IEEE , 22 : 1 -- 22 :10. Eva Darulova, Viktor Kuncak, Rupak Majumdar, and Indranil Saha. 2013. Synthesis of fixed-point programs. In Proceedings of the International Conference on Embedded Software (EMSOFT\u201913). IEEE, 22:1--22:10.","journal-title":"IEEE"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799393"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_2_2_25_1","volume-title":"Selected Writings on Computing: A Personal Perspective","author":"Dijkstra E. W.","unstructured":"E. W. Dijkstra . 1982. EWD391 self-stabilization in spite of distributed control . In Selected Writings on Computing: A Personal Perspective . Springer-Verlag , 41--46. E. W. Dijkstra. 1982. EWD391 self-stabilization in spite of distributed control. In Selected Writings on Computing: A Personal Perspective. Springer-Verlag, 41--46."},{"key":"e_1_2_2_26_1","doi-asserted-by":"crossref","unstructured":"Shlomi Dolev. 2000. Self-Stabilization. MIT Press Cambridge MA.   Shlomi Dolev. 2000. Self-Stabilization. MIT Press Cambridge MA.","DOI":"10.7551\/mitpress\/6156.001.0001"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.4086\/cjtcs.1997.004"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(89)90018-X"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/11527800_11"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92911"},{"key":"e_1_2_2_32_1","series-title":"Lecture Notes in Computer Science","volume-title":"International Workshop on Self-Stabilizing Systems","author":"Herman Ted","unstructured":"Ted Herman and Imran Pirwani . 2001. A composite stabilizing data structure . In International Workshop on Self-Stabilizing Systems . Lecture Notes in Computer Science , Vol. 2194 . Springer , 167--182. Ted Herman and Imran Pirwani. 2001. A composite stabilizing data structure. In International Workshop on Self-Stabilizing Systems. Lecture Notes in Computer Science, Vol. 2194. Springer, 167--182."},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02684333"},{"key":"e_1_2_2_35_1","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201903)","author":"Kondacs Attila","year":"2003","unstructured":"Attila Kondacs . 2003 . Biologically-inspired self-assembly of 2D shapes, using global-to-local compilation . In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201903) . Attila Kondacs. 2003. Biologically-inspired self-assembly of 2D shapes, using global-to-local compilation. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201903)."},{"key":"e_1_2_2_36_1","unstructured":"C. Lasser J. P. Massar J. Miney and L. Dayton. 1988. Starlisp Reference Manual. Thinking Machines Corporation.  C. Lasser J. P. Massar J. Miney and L. Dayton. 1988. Starlisp Reference Manual. Thinking Machines Corporation."},{"key":"e_1_2_2_37_1","first-page":"1","article-title":"Asynchronous distributed execution of fixpoint-based computational fields","volume":"13","author":"Lluch-Lafuente Alberto","year":"2017","unstructured":"Alberto Lluch-Lafuente , Michele Loreti , and Ugo Montanari . 2017 . Asynchronous distributed execution of fixpoint-based computational fields . Logical Methods Comput. Sci. 13 , 1 (2017), 1 -- 46 . Alberto Lluch-Lafuente, Michele Loreti, and Ugo Montanari. 2017. Asynchronous distributed execution of fixpoint-based computational fields. Logical Methods Comput. Sci. 13, 1 (2017), 1--46.","journal-title":"Logical Methods Comput. Sci."},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/844128.844142"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538942.1538945"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1137\/0150098"},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/FAS-W.2017.112"},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052199.1052213"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887293"},{"key":"e_1_2_2_45_1","series-title":"Lecture Notes in Computer Science","volume-title":"Coordination Models and Languages","author":"Pianini Danilo","unstructured":"Danilo Pianini , Jacob Beal , and Mirko Viroli . 2016. Improving gossip dynamics through overlapping replicates . In Coordination Models and Languages . Lecture Notes in Computer Science , Vol. 9686 . Springer , 192--207. Danilo Pianini, Jacob Beal, and Mirko Viroli. 2016. Improving gossip dynamics through overlapping replicates. In Coordination Models and Languages. Lecture Notes in Computer Science, Vol. 9686. Springer, 192--207."},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1057\/jos.2012.27"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695913"},{"key":"e_1_2_2_48_1","volume-title":"Proceedings of the International Conference on Application-Specific Array Processors. 132--135","author":"Raimbault F.","unstructured":"F. Raimbault and D. Lavenier . 1993. ReLaCS for systolic programming . In Proceedings of the International Conference on Application-Specific Array Processors. 132--135 . F. Raimbault and D. Lavenier. 1993. ReLaCS for systolic programming. In Proceedings of the International Conference on Application-Specific Array Processors. 132--135."},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/151254.151256"},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/79173.79181"},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2015.16"},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.12.003"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43376-8_11"},{"key":"e_1_2_2_54_1","volume-title":"Advances in Service-Oriented and Cloud Computing. Communications in Computer and Information Science","author":"Viroli Mirko","unstructured":"Mirko Viroli , Ferruccio Damiani , and Jacob Beal . 2013. A calculus of computational fields . In Advances in Service-Oriented and Cloud Computing. Communications in Computer and Information Science , Vol. 393 . Springer , Berlin , 114--128. Mirko Viroli, Ferruccio Damiani, and Jacob Beal. 2013. A calculus of computational fields. In Advances in Service-Oriented and Cloud Computing. Communications in Computer and Information Science, Vol. 393. Springer, Berlin, 114--128."},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.06.003"},{"key":"e_1_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/990064.990079"},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/601858.601861"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1108\/17427371111172997"}],"container-title":["ACM Transactions on Modeling and Computer Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3177774","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3177774","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3177774","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:05:51Z","timestamp":1750273551000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3177774"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,9]]},"references-count":55,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,4,30]]}},"alternative-id":["10.1145\/3177774"],"URL":"https:\/\/doi.org\/10.1145\/3177774","relation":{},"ISSN":["1049-3301","1558-1195"],"issn-type":[{"value":"1049-3301","type":"print"},{"value":"1558-1195","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,9]]},"assertion":[{"value":"2017-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-03-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}