A Calculus for Attribute-Based Memory Updates

In this paper, we present AbU a new ECA-inspired calculus with attribute-based communication, an interaction model recently introduced for coordinating large numbers of nodes. Attribute-based communication is similar to broadcast, but the actual receivers are selected “on the fly” by means of predic...

Full description

Saved in:
Bibliographic Details
Published inTheoretical Aspects of Computing - ICTAC 2021 Vol. 12819; pp. 366 - 385
Main Authors Miculan, Marino, Pasqua, Michele
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2021
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Attribute-based communication
Autonomic computing
Distributed systems
ECA rules
Formal methods
Online AccessGet full text

Cover

More Information
Summary:In this paper, we present AbU a new ECA-inspired calculus with attribute-based communication, an interaction model recently introduced for coordinating large numbers of nodes. Attribute-based communication is similar to broadcast, but the actual receivers are selected “on the fly” by means of predicates over nodes’ attributes. After having defined syntax and formal semantics of AbU, with some examples, we give sufficient conditions on AbU systems to guarantee termination of internal steps. Then we show how to encode into AbU components written in AbC, the archetypal calculus with attribute-based communication, and we prove the correctness of such encoding.
Bibliography:Work supported by the Italian MIUR project PRIN 2017FTXR7S IT MATTERS (Methods and Tools for Trustworthy Smart Systems).
ISBN:3030853144
9783030853143
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-030-85315-0_21