Seminar: On the decidability of honesty and of its variants

Post date: 02-Sep-2015 15:32:34

Upcoming Seminar

On the decidability of honesty and of its variants

September 3, 11.30 (Aula F)

Palazzo delle Scienze - Cagliari

Massimo Bartoletti

Dipartimento di Matematica e Informatica, UniversitĂ  degli Studi di Cagliari

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.