eprintid: 3953
rev_number: 6
eprint_status: archive
userid: 69
dir: disk0/00/00/39/53
datestamp: 2018-03-05 16:36:01
lastmod: 2018-03-05 16:36:01
status_changed: 2018-03-05 16:36:01
type: book_section
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 of CAS Systems by Relying on Attribute-Based Communication
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: In most distributed systems, named connections (i.e., channels) are used as means for programming interaction between communicating partners. These kinds of connections are low level and usually totally independent of the knowledge, the status, the capabilities, ..., in one word, of the attributes of the interacting partners. We have recently introduced a calculus, called AbC, in which interactions among agents are dynamically established by taking into account “connection” as determined by predicates over agent attributes. In this paper, we present  Open image in new window, a Java run-time environment that has been developed to support modeling and programming of collective adaptive systems by relying on the communication primitives of the AbC calculus. Systems are described as sets of parallel components, each component is equipped with a set of attributes and communications among components take place in an implicit multicast fashion. By means of a number of examples, we also show how opportunistic behaviors, achieved by run-time attribute updates, can be exploited to express different communication and interaction patterns and to program challenging case studies.
date: 2016
date_type: published
volume: 9952
publisher: Springer
pagerange: 539-553
id_number: doi:10.1007/978-3-319-47166-2_38
refereed: TRUE
isbn: 978-3-319-47166-2
issn: 0302-9743
book_title: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
official_url: http://doi.org/10.1007/978-3-319-47166-2_38
citation:   Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele  Programming of CAS Systems by Relying on Attribute-Based Communication.   In:  Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques.   Springer, pp. 539-553.  ISBN 978-3-319-47166-2      (2016)