We address the problem of designing distributed applications which require the interaction of loosely-coupled and mutually distrusting services. In this setting, services can use contracts to protect themselves from unsafe interactions with the environment: when their partner in an interaction does not respect its contract, it can be blamed (and punished) by the service infrastructure. We extend a core calculus for services, by using a semantic model of contracts which subsumes various kinds of behavioural types. In this formal framework, we study some notions of honesty for services, which measure their ability to respect contracts, under different assumptions about the environment. In particular, we find conditions under which these notions are (un)decidable.

On the Decidability of Honesty and of Its Variants / Bartoletti, Massimo; Zunino, Roberto. - 9421:(2016), pp. 143-166. (Intervento presentato al convegno WS-FM tenutosi a Madrid, Spain nel 4th-5th September, 2015) [10.1007/978-3-319-33612-1_9].

On the Decidability of Honesty and of Its Variants

Zunino, Roberto
2016-01-01

Abstract

We address the problem of designing distributed applications which require the interaction of loosely-coupled and mutually distrusting services. In this setting, services can use contracts to protect themselves from unsafe interactions with the environment: when their partner in an interaction does not respect its contract, it can be blamed (and punished) by the service infrastructure. We extend a core calculus for services, by using a semantic model of contracts which subsumes various kinds of behavioural types. In this formal framework, we study some notions of honesty for services, which measure their ability to respect contracts, under different assumptions about the environment. In particular, we find conditions under which these notions are (un)decidable.
2016
Web Services, Formal Methods, and Behavioral Types
Cham
Springer
978-3-319-33611-4
978-3-319-33612-1
Bartoletti, Massimo; Zunino, Roberto
On the Decidability of Honesty and of Its Variants / Bartoletti, Massimo; Zunino, Roberto. - 9421:(2016), pp. 143-166. (Intervento presentato al convegno WS-FM tenutosi a Madrid, Spain nel 4th-5th September, 2015) [10.1007/978-3-319-33612-1_9].
File in questo prodotto:
File Dimensione Formato  
main.pdf

Solo gestori archivio

Tipologia: Post-print referato (Refereed author’s manuscript)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 486.12 kB
Formato Adobe PDF
486.12 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/11572/233678
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact