A calculus for attribute-based communication

Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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 proto-typical π-calculus process.
Original languageEnglish
Title of host publicationProceedings of the 30th Annual ACM Symposium on Applied Computing (SAC '15)
PublisherAssociation for Computing Machinery
Publication date2015
Pages1840-1845
ISBN (Print)978-1-4503-3196-8
DOIs
Publication statusPublished - 2015
Event30th Annual ACM/SIGAPP Symposium on Applied Computing - Salamanca, Spain
Duration: 13 Apr 201517 Apr 2015
Conference number: 30
https://www.sigapp.org/sac/sac2015/
http://www.acm.org/conferences/sac/sac2015/

Conference

Conference30th Annual ACM/SIGAPP Symposium on Applied Computing
Number30
CountrySpain
CitySalamanca
Period13/04/201517/04/2015
Internet address

Keywords

  • Attribute-based Communication
  • Communication Paradigms
  • Process Calculi
  • Semantics

Fingerprint Dive into the research topics of 'A calculus for attribute-based communication'. Together they form a unique fingerprint.

Cite this