Programming interactions in collective adaptive systems by relying on attribute-based communication

• Published in: Science of computer programming Vol. 192; no. June; p. 102428
• Main Authors: Abd Alrahman, Yehia, De Nicola, Rocco, Loreti, Michele
• Format: Journal Article
• Language: English
• Published: Elsevier B.V 15.06.2020
• Subjects: Attribute-based communication; Collective-adaptive systems; Computer Sciences; Computing methodologies; Datavetenskap (datalogi); Operational semantics; Process calculus; Computing methodologies; Collective-adaptive systems; Operational semantics; Attribute-based communication; Process calculus
• ISSN: 0167-6423; 1872-7964
• DOI: 10.1016/j.scico.2020.102428

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 sophisticated variant of the well-known problem of Stable Allocation in Content Delivery Networks. In our variant, content providers are assigned to clients based on collaboration and by taking into account the preferences of both parties in a fully anonymous and distributed settings. We also illustrate the expressive power of attribute-based communication by showing the natural encoding of group-based, publish/subscribe-based and channel-based communication paradigms into AbC.