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.

Barbanera F., Lanese I., Tuosto E. (2020). Composing Communicating Systems, Synchronously. Cham : Springer [10.1007/978-3-030-61362-4_3].

Composing Communicating Systems, Synchronously

Lanese I.
;
2020

Abstract

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.
2020
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. ISoLA 2020.
39
59
Barbanera F., Lanese I., Tuosto E. (2020). Composing Communicating Systems, Synchronously. Cham : Springer [10.1007/978-3-030-61362-4_3].
Barbanera F.; Lanese I.; Tuosto E.
File in questo prodotto:
File Dimensione Formato  
LNCS12476.pdf

accesso aperto

Tipo: Postprint
Licenza: Licenza per accesso libero gratuito
Dimensione 585.35 kB
Formato Adobe PDF
585.35 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/809155
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? ND
social impact