Behavioural contracts are formal specifications of interaction protocols between two or more distributed services. Despite the heterogeneous nature of the formalisms for behavioural contracts that have appeared in the literature, most of them feature a notion of compliance, which characterises when two or more contracts lead to correct interactions between services respecting them. We discuss and compare a selection of these notions in four different models of contracts: τ-less CCS, session types, interface automata, and contract automata.

Compliance in behavioural contracts: a brief survey

BARTOLETTI, MASSIMO;CIMOLI, TIZIANA;
2015

Abstract

Behavioural contracts are formal specifications of interaction protocols between two or more distributed services. Despite the heterogeneous nature of the formalisms for behavioural contracts that have appeared in the literature, most of them feature a notion of compliance, which characterises when two or more contracts lead to correct interactions between services respecting them. We discuss and compare a selection of these notions in four different models of contracts: τ-less CCS, session types, interface automata, and contract automata.
978-3-319-25526-2
Computer science (all); Theoretical computer science
File in questo prodotto:
File Dimensione Formato  
main.pdf

non disponibili

Descrizione: Articolo principale
Tipologia: versione pre-print
Dimensione 374.63 kB
Formato Adobe PDF
374.63 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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: http://hdl.handle.net/11584/196761
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 21
  • ???jsp.display-item.citation.isi??? 16
social impact