On the Power of Attribute-Based Communication

DOI10.1007/978-3-319-39570-8_1MaRDI QIDQ2827459zbMATH OpenOpenAlexWikidataFDO

Authors Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti

Publication date 19 October 2016

Published in Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1602.05635

Mathematics Subject Classification ID

Distributed systems (68M14)

Abstract: In open systems, i.e. systems operating in an environment that they cannot control and with components that may join or leave, behaviors can arise as side effects of intensive components interaction. Finding ways to understand and design these systems and, most of all, to model the interactions of their components, is a difficult but important endeavor. To tackle these issues, we present AbC, a calculus for attribute-based communication. An AbC system consists of a set of parallel agents each of which is equipped with a set of attributes. Communication takes place in an implicit multicast fashion, and interactions among agents are dynamically established by taking into account "connections" as determined by predicates over the attributes of agents. First, the syntax and the semantics of the calculus are presented, then expressiveness and effectiveness of AbC are demonstrated both in terms of modeling scenarios featuring collaboration, reconfiguration, and adaptation and of the possibility of encoding channel-based interactions and other interaction patterns. Behavioral equivalences for AbC are introduced for establishing formal relationships between different descriptions of the same system.

Recommendations

• scientific article; zbMATH DE number 7204939
• Verifying properties of systems relying on attribute-based communication
• Efficient extensions of communication values
• Global protocol implementations via attribute-based communication
• An Approach to Communication Equilibria
• Communication complexity of conditional disclosure of secrets and attribute-based encryption
• scientific article; zbMATH DE number 4060723
• On the preservation of properties when changing communication models

Cites work

• A calculus of communicating systems
• A calculus of mobile processes. II
• Agents and Peer-to-Peer Computing
• Communicating sequential processes
• Concurrent Pattern Calculus
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• On reduction-based process semantics
• On the Power of Attribute-Based Communication
• The -calculus: A theory of mobile processes
• The attributed pi-calculus with priorities

Cited in

(8)

• A calculus for attribute-based memory updates
• A calculus for collective-adaptive systems and its behavioural theory
• A formal approach to the engineering of domain-specific distributed systems
• On the Power of Attribute-Based Communication
• A coordination language for databases
• Verifying properties of systems relying on attribute-based communication
• AbU: a calculus for distributed event-driven programming with attribute-based interaction
• On the security and safety of AbU systems

Describes a project that uses

Uses Software

• SCEL

This page was built for publication: On the Power of Attribute-Based Communication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2827459)