Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän

A calculus for attribute-… - Göteborgs universitet Till startsida
Till innehåll Läs mer om hur kakor används på gu.se

A calculus for attribute-based communication

Paper i proceeding
Författare Yehia Abd Alrahman
Rocco De Nicola
Michele Loreti
Francesco Tiezzi
Roberto Vigo
Publicerad i Proceedings of the ACM Symposium on Applied Computing
Publiceringsår 2015
Publicerad vid
Språk en
Länkar https://doi.org/10.1145/2695664.269...
Ämnesord Attribute-based communication, Communication paradigms, Process calculi, Semantics
Ämneskategorier Teoretisk datalogi


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.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?