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.
|Titolo:||Compliance in behavioural contracts: a brief survey|
|Data di pubblicazione:||2015|
|Tipologia:||4.1 Contributo in Atti di convegno|