ScaFi: A Scala DSL and Toolkit for Aggregate Programming

Abowd, 2016, Beyond weiser: From ubiquitous to collective computing, Computer, 49, 17, 10.1109/MC.2016.22 Satyanarayanan, 2001, Pervasive computing: Vision and challenges, IEEE Wirel Commun, 8, 10 Ferber, 1999 Kephart, 2003, The vision of autonomic computing, Computer, 36, 41, 10.1109/MC.2003.1160055 He, 2019, Collective intelligence: A taxonomy and survey, IEEE Access, 7, 170213, 10.1109/ACCESS.2019.2955677 Nicola, 2020, Rigorous engineering of collective adaptive systems: Special section, Int J Softw Tools Technol Transf, 22, 389, 10.1007/s10009-020-00565-0 Beal, 2015, Aggregate programming for the Internet of Things, Computer, 48, 22, 10.1109/MC.2015.261 Viroli, 2019, From distributed coordination to field calculus and aggregate computing, J Log Algebraic Methods Program, 109 Casadei, 2020, Pulverization in cyber-physical systems: Engineering the self-organizing logic separated from deployment, Future Internet, 12, 203, 10.3390/fi12110203 Audrito, 2019, A higher-order calculus of computational fields, ACM Trans Comput Log, 20, 5:1, 10.1145/3285956 Viroli, 2018, Engineering resilient collective adaptive systems by self-stabilisation, ACM Trans Model Comput Simul, 28, 16:1, 10.1145/3177774 Casadei, 2021, Engineering collective intelligence at the edge with aggregate processes, Eng Appl Artif Intell, 97, 10.1016/j.engappai.2020.104081 Pinciroli, 2016, Buzz: A programming language for robot swarms, IEEE Softw, 33, 97, 10.1109/MS.2016.95 Alrahman, 2020, Programming interactions in collective adaptive systems by relying on attribute-based communication, Sci Comput Program, 192 Boissier, 2020 2018, Programming with actors - state-of-the-art and research perspectives, vol. 10789 Newton, 2007, The regiment macroprogramming system, 489 Audrito, 2022, Functional programming for distributed systems with XC, vol. 222, 20:1 Beal, 2006, Infrastructure for engineered emergence on sensor/actuator networks, IEEE Intell Syst, 21, 10, 10.1109/MIS.2006.29 Pianini, 2015, Protelis: practical aggregate programming, 1846 Audrito, 2020, FCPP: An efficient and extensible field calculus framework, 153 Casadei, 2020, FScaFi : A core calculus for collective adaptive systems programming, vol. 12477, 344 Beal, 2012 Roestenburg, 2015 Odersky, 2005, Scalable component abstractions, 41 Hunt, 2013, Cake pattern, 115, 10.1007/978-3-319-02192-8_13 Audrito, 2020 Beal, 2008, Fast self-healing gradients, 1969 Wolf, 2007, Designing self-organising emergent systems based on information flows and feedback-loops, 295 Testa, 2022, Aggregate processes as distributed adaptive services for the Industrial Internet of Things, Pervasive Mob Comput, 85, 10.1016/j.pmcj.2022.101658 Gurnell, 2017 Pianini, 2021, Time-fluid field-based coordination through programmable distributed schedulers, Log Methods Comput Sci, 17 Pianini, 2013, Chemical-oriented simulation of computational systems with ALCHEMIST, J Simulation, 7, 202, 10.1057/jos.2012.27 Viroli, 2016, Simulating large-scale aggregate MASs with Alchemist and Scala, vol. 8, 1495 Casadei, 2018, Programming actor-based collective adaptive systems, vol. 10789, 94 Pianini, 2021, Partitioned integration and coordination via the self-organising coordination regions pattern, Future Gener Comput Syst, 114, 44, 10.1016/j.future.2020.07.032 Aguzzi, 2022, Towards reinforcement learning-based aggregate computing, vol. 13271, 72 Casadei, 2019, Coordinating computation at the edge: A decentralized, self-organizing, spatial approach, 60 Casadei, 2019, Engineering resilient collaborative edge-enabled IoT, 36 Casadei, 2018, Towards attack-resistant aggregate computing using trust mechanisms, Sci Comput Program, 167, 114, 10.1016/j.scico.2018.07.006 Casadei, 2021, A programming approach to collective autonomy, J Sens Actuator Netw, 10, 27, 10.3390/jsan10020027 Casadei, 2021, Tuple-based coordination in large-scale situated systems, vol. 12717, 149 Casadei, 2022, Digital twins, virtual devices, and augmentations for self-organising cyber-physical collectives, Appl Sci, 12, 10.3390/app12010349 Casadei, 2022 Casadei, 2022 Aguzzi, 2022 Paulos, 2019, A framework for self-adaptive dispersal of computing services, 98 Beal, 2018, Adaptive opportunistic airborne sensor sharing, ACM Trans Auton Adapt Syst, 13, 6:1, 10.1145/3179994 Casadei, 2019, Aggregate processes in field calculus, vol. 11533, 200 Odersky M, Micheloud S, Mihaylov N, Schinz M, Stenman E, Zenger M, et al. An Overview of the Scala Programming Language. Tech. Rep., 2004. Humm, 2010, Language-oriented programming via DSL stacking, 279 Gelernter, 1985, Generative communication in Linda, ACM Trans Program Lang Syst, 7, 80, 10.1145/2363.2433 Audrito, 2021, Adaptive distributed monitors of spatial properties for cyber-physical systems, J Syst Softw, 175, 10.1016/j.jss.2021.110908 Doeraene, 2018, Cross-platform language design in Scala.js (keynote), 1 Aguzzi, 2021, ScaFi-Web: A web-based application for field-based coordination programming, vol. 12717, 285 Bettini, 2016 Mobus, 2014 Yates, 2012 Miorandi, 2014 Kalantari, 2020, Emergence phenomena in self-organizing systems: A systematic literature review of concepts, researches, and future prospects, J Organ Comput Electron Commer, 30, 224, 10.1080/10919392.2020.1748977