We live in a world with an ever-increasing density of computing devices, pervading every aspect of our environment. Programming these devices is challenging, due to their large numbers, potential for frequent and complex network interactions with other nearby devices, and the open and evolving nature of their capabilities and applications. Aggregate programming addresses these challenges by raising the level of abstraction, so that a programmer can operate in terms of collections of interacting devices. In particular, field calculus provides a safe and extensible model for encapsulation, modulation, and composition of services. On this foundation, a set of resilient “building block” operators support development of APIs that can provide resilience and scalability guarantees for any service developed using them. We illustrate the power of this approach by discussion of several recent applications, including crowd safety at mass public events, disaster relief operations, construction of resilient enterprise systems, and network security.

Aggregate programming: From foundations to applications / Beal, Jacob; Viroli, Mirko. - STAMPA. - 9700:(2016), pp. 233-260. (Intervento presentato al convegno 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016 tenutosi a Bertinoro, Italy nel 2016) [10.1007/978-3-319-34096-8_8].

Aggregate programming: From foundations to applications

VIROLI, MIRKO
2016

Abstract

We live in a world with an ever-increasing density of computing devices, pervading every aspect of our environment. Programming these devices is challenging, due to their large numbers, potential for frequent and complex network interactions with other nearby devices, and the open and evolving nature of their capabilities and applications. Aggregate programming addresses these challenges by raising the level of abstraction, so that a programmer can operate in terms of collections of interacting devices. In particular, field calculus provides a safe and extensible model for encapsulation, modulation, and composition of services. On this foundation, a set of resilient “building block” operators support development of APIs that can provide resilience and scalability guarantees for any service developed using them. We illustrate the power of this approach by discussion of several recent applications, including crowd safety at mass public events, disaster relief operations, construction of resilient enterprise systems, and network security.
2016
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
233
260
Aggregate programming: From foundations to applications / Beal, Jacob; Viroli, Mirko. - STAMPA. - 9700:(2016), pp. 233-260. (Intervento presentato al convegno 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016 tenutosi a Bertinoro, Italy nel 2016) [10.1007/978-3-319-34096-8_8].
Beal, Jacob; Viroli, Mirko
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/587673
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 4
social impact