Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. Working Paper arXiv (Submitted)
|
PDF
- Submitted Version
Available under License Creative Commons Attribution Non-commercial. Download (1MB) | Preview |
Abstract
Collective adaptive systems are new emerging computational systems consisting of a large number of interacting components and featuring complex behaviour. These systems are usually distributed, heterogeneous, decentralised and interdependent, and are operating in dynamic and possibly unpredictable environments. Finding ways to understand and design these systems and, most of all, to model the interactions of their components, is a difficult but important endeavour. In this article we propose a language-based approach for programming the interactions of collective-adaptive systems by relying on attribute-based communication; a paradigm that permits a group of partners to communicate by considering their run-time properties and capabilities. We introduce AbC, a foundational calculus for attribute-based communication and show how its linguistic primitives can be used to program a complex and sophisticated variant of the well-known problem of Stable Allocation in Content Delivery Networks. Also other interesting case studies, from the realm of collective-adaptive systems, are considered. We also illustrate the expressive power of attribute-based communication by showing the natural encoding of other existing communication paradigms into AbC.
| Item Type: | Working Paper (Working Paper) |
|---|---|
| Identification Number: | arXiv:1711.06092 |
| Uncontrolled Keywords: | Computing methodologies - Distributed programming languages; Theory of computation - Distributed computing models; Operational semantics; Process calculi |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Caterina Tangheroni |
| Date Deposited: | 05 Mar 2018 15:44 |
| Last Modified: | 05 Mar 2018 15:44 |
| URI: | http://eprints.imtlucca.it/id/eprint/3946 |
Actions (login required)
 |
Edit Item |
