Skip to Main content Skip to Navigation
Conference papers

Derivation of Heard-Of Predicates From Elementary Behavioral Patterns

Abstract : There are many models of distributed computing, and no unifying mathematical framework for considering them all. One way to sidestep this issue is to start with simple communication and fault models, and use them as building blocks to derive the complex models studied in the field. We thus define operations like union, succession or repetition, which makes it easier to build complex models from simple ones while retaining expressivity. To formalize this approach, we abstract away the complex models and operations in the Heard-Of model. This model relies on (possibly asynchronous) rounds; sequence of digraphs, one for each round, capture which messages sent at a given round are received before the receiver goes to the next round. A set of sequences, called a heard-of predicate, defines the legal communication behaviors – that is to say, a model of communication. Because the proposed operations behave well with this transformation of operational models into heard-of predicates, we can derive bounds, characterizations, and implementations of the heard-of predicates for the constructions.
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02947787
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Thursday, September 24, 2020 - 10:14:47 AM
Last modification on : Wednesday, October 14, 2020 - 4:04:47 AM

File

Shimi_26385.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02947787, version 1
  • OATAO : 26385

Citation

Adam Shimi, Aurélie Hurault, Philippe Quéinnec. Derivation of Heard-Of Predicates From Elementary Behavioral Patterns. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), Jun 2020, Online, France. pp.133-149. ⟨hal-02947787⟩

Share

Metrics

Record views

13

Files downloads

28