Programming Actor-based Collective Adaptive Systems
In recent years, we are witnessing a growing interest in large-scale situated systems, such as those falling under the umbrella of pervasive computing, cyber-physical systems, and the Internet of Things. The actor model is a natural choice for designing and implementing such systems, thanks to the ability of actors to address distribution, autonomy of control, and asynchronous communication: namely, it is convenient to view the pervasive cyberspace as an environment densely inhabited by mobile embedded actors. But how can an actor-centric development approach be fruitfully used to engineer a complex coordination strategy, where a myriad of devices/actors performs adaptive distributed sensing/processing/acting?
Aggregate computing has been proposed as an emerging paradigm that faces this general problem by adopting a global, system-level stance, allowing to specify and functionally compose collective behaviours by operating on diffused data structures, known as “computational fields”. In this paper, we develop on the idea of integrating the actor model and aggregate computing, presenting a software framework where declarative global-level system specifications are automatically turned into an underlying system of Scala/Akka actors carrying on computation over the pervasive computing system.
slides (Casadei_presentation_agere16.pdf) | 2.5MiB |
(AGERESPLASH_2016_paper_8.pdf) | 312KiB |
Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:40 - 17:20 | |||
15:40 20mTalk | Programming Actor-based Collective Adaptive Systems AGERE File Attached | ||
16:00 20mTalk | Separating Communication Concerns in Concurrent Systems AGERE File Attached | ||
16:20 65mMeeting | DISCUSSION AGERE | ||
17:25 5mDay closing | Closing AGERE |