Aggregate Programming: From Foundations to Applications
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
Jacob Beal, Mirko Viroli
Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.)
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, pages 233–260
Lecture Notes in Computer Science 9700
Springer
2016
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. |
(keywords) Aggregate programming; Pervasive computing; Field calculus; Distributed systems; Domain-specific languages |
Publications / Personal
Publications / Views
Home
— clouds
tags | authors | editors | journals
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1927
— per sort
in journal | in proc | chapters | books | edited | spec issues | editorials | entries | manuals | tech reps | phd th | others
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
Publication
— authors
Jacob Beal, Mirko Viroli
— editors
Marco Bernardo, Rocco De Nicola, Jane Hillston
— status
published
— sort
paper in proceedings
— publication date
2016
— volume
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
— series
Lecture Notes in Computer Science
— volume
9700
— pages
233–260
— number of pages
28
URLs
identifiers
— Scopus
— print ISBN
978-3-319-34095-1