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; Zunino, Roberto. - 9465(2015), pp. 103-121.
Titolo: | Compliance in behavioural contracts: A brief survey |
Autori: | Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto |
Autori Unitn: | |
Titolo del volume contenente il saggio: | Programming Languages with Applications to Biology and Security |
Luogo di edizione: | Switzerland |
Casa editrice: | Springer Verlag |
Anno di pubblicazione: | 2015 |
ISBN: | 978-3-319-25526-2 978-3-319-25527-9 |
Handle: | http://hdl.handle.net/11572/143011 |
Citazione: | Compliance in behavioural contracts: A brief survey / Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto. - 9465(2015), pp. 103-121. |
Appare nelle tipologie: | 02.1 Saggio su volume miscellaneo o Capitolo di libro (Essay or Book Chapter) |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
main.pdf | Post-print referato (Refereed author’s manuscript) | Tutti i diritti riservati (All rights reserved) | Administrator |