Multiparty sessions are a foundational model for distributed entities interacting through message passing. Communication is disciplined by global types, which ensures lock-freedom for participants following the described protocols. A key issue is the composition of well-typed sessions, that we face via the participants-as-interfaces approach. We study session composition when a client system is connected with compliant server systems, where compliance is naturally biased towards the client. We prove that, if the sessions are well-typed and the compliance relation can be proved, then a unique session can be constructed by transforming the interface participants of the client and the servers into gateways (forwarders). Such a session has a global type that can be derived from the global types of the composing sessions and the proof of compliance among the client and the servers. We consider the present study as a further step toward a theory of Open MultiParty Session Types.

Open Compliance in Multiparty Sessions

Barbanera, F;
2022-01-01

Abstract

Multiparty sessions are a foundational model for distributed entities interacting through message passing. Communication is disciplined by global types, which ensures lock-freedom for participants following the described protocols. A key issue is the composition of well-typed sessions, that we face via the participants-as-interfaces approach. We study session composition when a client system is connected with compliant server systems, where compliance is naturally biased towards the client. We prove that, if the sessions are well-typed and the compliance relation can be proved, then a unique session can be constructed by transforming the interface participants of the client and the servers into gateways (forwarders). Such a session has a global type that can be derived from the global types of the composing sessions and the proof of compliance among the client and the servers. We consider the present study as a further step toward a theory of Open MultiParty Session Types.
2022
978-3-031-20871-3
978-3-031-20872-0
Communication-centric systems
System composition
Process calculi
Multiparty session types
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/20.500.11769/550755
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact