Composing Communicating Systems, Synchronously - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2020

Composing Communicating Systems, Synchronously

Résumé

Communicating systems are nowadays part of everyday life, yet programming and analysing them is difficult. One of the many reasons for this difficulty is their size, hence compositional approaches are a need. We discuss how to ensure relevant communication properties such as deadlock freedom in a compositional way. The idea is that communicating systems can be composed by taking two of their participants and transforming them into coupled forwarders connecting the two systems. It has been shown that, for asynchronous communications, if the participants are "compatible" then composition satisfies relevant communication properties provided that the single systems satisfy them. We show that such a result changes considerably for synchronous communications. We also discuss a different form of composition, where a unique forwarder is used.
Fichier principal
Vignette du fichier
main.pdf (374.41 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-03005380 , version 1 (14-11-2020)

Identifiants

  • HAL Id : hal-03005380 , version 1

Citer

Franco Barbanera, Ivan Lanese, Emilio Tuosto. Composing Communicating Systems, Synchronously. ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2020, Rhodes, Greece. ⟨hal-03005380⟩
53 Consultations
120 Téléchargements

Partager

More