On the decidability of honesty and of its variants
BARTOLETTI, MASSIMO;
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.File | Size | Format | |
---|---|---|---|
main.pdf Solo gestori archivio
Description: Articolo principale
Type: versione pre-print
Size 485.95 kB
Format Adobe PDF
|
485.95 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.