Dynamic Decentralization Domains for the Internet of Things

被引:8
作者
Aguzzi, Gianluca [1 ]
Casadei, Roberto [1 ]
Pianini, Danilo [1 ]
Viroli, Mirko [2 ]
机构
[1] Alma Mater Studiorum Univ Bologna, I-47521 Cesena, FC, Italy
[2] Alma Mater Studiorum Univ Bologna, Comp Engn, I-47521 Cesena, FC, Italy
关键词
Sensors; Programming; Ecosystems; Monitoring; Computational modeling; Internet of Things;
D O I
10.1109/MIC.2022.3216753
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The Internet of Things (IoT) and edge computing are fostering a future of ecosystems hosting complex decentralized computations that are deeply integrated with our very dynamic environments. Digitalized buildings, communities of people, and cities will be the next-generation "hardware and platform, " counting myriads of interconnected devices, on top of which intrinsically distributed computational processes will run and self-organize. They will spontaneously spawn, diffuse to pertinent logical/physical regions, cooperate and compete, opportunistically summon required resources, collect and analyze data, compute results, trigger distributed actions, and eventually decay. What would a programming model for such ecosystems look like? Based on research findings on self-adaptive/self-organizing systems, this article proposes design abstractions based on "dynamic decentralization domains ": regions of space opportunistically formed to support situated recognition and action. We embody the approach into a Scala application program interface (API) enacting distributed execution and show its applicability in a case study of environmental monitoring.
引用
收藏
页码:16 / 23
页数:8
相关论文
共 16 条
[1]  
Aguzzi G., 2022, CRIC96 EXPT 2022 IEE
[2]   Aggregate Programming for the Internet of Things [J].
Beal, Jacob ;
Pianini, Danilo ;
Viroli, Mirko .
COMPUTER, 2015, 48 (09) :22-30
[3]   Software Abstractions for Component Interaction in the Internet of Things [J].
Bures, Tomas ;
Plasil, Frantisek ;
Kit, Michal ;
Tuma, Petr ;
Hoch, Nicklas .
COMPUTER, 2016, 49 (12) :50-59
[4]  
Casadei R, 2022, Arxiv, DOI arXiv:2201.03473
[5]   Engineering collective intelligence at the edge with aggregate processes [J].
Casadei, Roberto ;
Viroli, Mirko ;
Audrito, Giorgio ;
Pianini, Danilo ;
Damiani, Ferruccio .
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2021, 97
[6]   FSCAFI: A Core Calculus for Collective Adaptive Systems Programming [J].
Casadei, Roberto ;
Viroli, Mirko ;
Audrito, Giorgio ;
Damiani, Ferruccio .
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: ENGINEERING PRINCIPLES, ISOLA 2020, PT II, 2020, 12477 :344-360
[7]   Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment [J].
Casadei, Roberto ;
Pianini, Danilo ;
Placuzzi, Andrea ;
Viroli, Mirko ;
Weyns, Danny .
FUTURE INTERNET, 2020, 12 (11) :1-28
[8]  
Duckham M, 2013, DECENTRALIZED SPATIA, DOI [10.1007/978-3-642-30853-6, DOI 10.1007/978-3-642-30853-6]
[9]   Language-based software engineering [J].
Gupta, Gopal .
SCIENCE OF COMPUTER PROGRAMMING, 2015, 97 :37-40
[10]   A survey of multi-agent organizational paradigms [J].
Horling, B ;
Lesser, V .
KNOWLEDGE ENGINEERING REVIEW, 2004, 19 (04) :281-316