eprintid: 3946
rev_number: 8
eprint_status: archive
userid: 69
dir: disk0/00/00/39/46
datestamp: 2018-03-05 15:44:57
lastmod: 2018-03-05 15:44:57
status_changed: 2018-03-05 15:44:57
type: monograph
metadata_visibility: show
creators_name: Abd Alrahman, Yehia Moustafa
creators_name: De Nicola, Rocco
creators_name: Loreti, Michele
creators_id: yehia.abdalrahman@imtlucca.it
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication
ispublished: submitted
subjects: QA75
divisions: CSA
full_text_status: public
monograph_type: working_paper
keywords: Computing methodologies - Distributed programming languages; Theory of computation - Distributed computing models; Operational semantics; Process calculi
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.
date: 2017
date_type: published
publisher: arXiv
pages: 36
id_number: arXiv:1711.06092
institution: IMT Institute for Advanced Studies Lucca
official_url: https://arxiv.org/abs/1711.06092
citation:   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)   
document_url: http://eprints.imtlucca.it/3946/1/1711.06092.pdf