eprintid: 3566
rev_number: 5
eprint_status: archive
userid: 69
dir: disk0/00/00/35/66
datestamp: 2016-10-06 09:53:53
lastmod: 2016-10-06 09:53:53
status_changed: 2016-10-06 09:53:53
type: conference_item
metadata_visibility: show
creators_name: Alrahman, Yehia Abd
creators_name: De Nicola, Rocco
creators_name: Loreti, Michele
creators_name: Tiezzi, Francesco
creators_name: Vigo, Roberto
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
title: A Calculus for Attribute-based Communication
ispublished: pub
subjects: QA76
divisions: CSA
full_text_status: none
pres_type: paper
keywords: attribute-based communication, communication paradigms, process calculi, semantics
note: SCOPUS ID: 2-s2.0-84943609297; WOS Accession Number: WOS:000382304600290
abstract: The notion of attribute-based communication seems promising to model and analyse systems with huge numbers of interacting components that dynamically adjust and combine their behaviour to achieve specific goals. A basic process calculus, named AbC, is introduced that has as primitive construct exactly attribute-based communication and its impact on the above mentioned kind of systems is considered. An AbC system consists of a set of parallel components each of which is equipped with a set of attributes. Communication takes place in a broadcast fashion and communication links among components are dynamically established by taking into account interdependences determined by predicates over attributes. First, the syntax and the reduction semantics of AbC are presented, then its expressiveness and effectiveness is demonstrated by modelling two scenarios from the realm of TV streaming channels. An example of how well-established process calculi could be encoded into AbC is given by considering the translation into AbC of a prototypical π-calculus process.
date: 2015
date_type: published
series: SAC '15
publisher: ACM
place_of_pub: New York, NY, USA
pagerange: 1840-1845
event_title: Proceedings of the 30th Annual ACM Symposium on Applied Computing
event_location: New York, USA
event_dates: 2015
event_type: conference
id_number: 10.1145/2695664.2695668
refereed: TRUE
isbn: 978-1-4503-3196-8
book_title: Proceedings of the 30th Annual ACM Symposium on Applied Computing
official_url: http://doi.acm.org/10.1145/2695664.2695668
citation:   Alrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco and Vigo, Roberto  A Calculus for Attribute-based Communication.  In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, New York, USA pp. 1840-1845.  ISBN 978-1-4503-3196-8.      (2015)