To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

A calculus for attribute-… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

A calculus for attribute-based communication

Conference paper
Authors Yehia Abd Alrahman
Rocco De Nicola
Michele Loreti
Francesco Tiezzi
Roberto Vigo
Published in Proceedings of the ACM Symposium on Applied Computing
Publication year 2015
Published at
Language en
Keywords Attribute-based communication, Communication paradigms, Process calculi, Semantics
Subject categories Theoretical computer science


Copyright 2015 ACM. 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.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?

Denna text är utskriven från följande webbsida:
Utskriftsdatum: 2019-11-18