eprintid: 2729
rev_number: 9
eprint_status: archive
userid: 69
dir: disk0/00/00/27/29
datestamp: 2015-07-22 10:28:33
lastmod: 2015-09-22 08:14:50
status_changed: 2015-07-22 10:28:33
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: On Expressiveness and Behavioural Theory of Attribute-based
Communication
ispublished: submitted
subjects: QA75
divisions: CSA
full_text_status: public
monograph_type: imt_cs_techninal_report
keywords: Attribute-based Communication, Process Calculi, Encoding, Distributed Systems
abstract: Attribute-based communication is an interesting alternative to broadcast and binary communication when providing abstract models for the so called Collective Adaptive Systems which consist of a large number of interacting components that dynamically adjust and combine their behavior to achieve specifc goals. A basic process calculus, named AbC, is introduced whose primary
primitive for interaction is attribute-based communication. An AbC system consists of a set of parallel components each of which is equipped with a set of attributes. Communication takes place in an implicit multicast fashion, and interactions among components are dynamically established by taking into account\connections" as determined by predicates over the attributes
exposed by components. First, the syntax and the semantics of AbC are presented, then expressiveness and effectiveness of the calculus are demonstrated both in terms of the ability to model scenarios featuring collaboration, reconfiguration, and adaptation
and of the possibility of encoding a process calculus for broadcasting channel-based communication and other communication
paradigms. Behavioral equivalences for AbC are introduced for establishing formal relationships between different descriptions
of the same system.
date: 2015-07
date_type: published
number: 10
publisher: IMT Institute for Advanced Studies Lucca
pages: 30
institution: IMT Institute for Advanced Studies Lucca
citation:   Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele  On Expressiveness and Behavioural Theory of Attribute-based Communication.  CSA Technical Report  #10/2015    IMT Institute for Advanced Studies Lucca       (Submitted)   
document_url: http://eprints.imtlucca.it/2729/1/TR_2015_10.pdf