We investigate the notion of orchestrated compliance for client/server interactions in the context of  session contracts . The orchestrators we study have unbounded buffering capabilities and, besides never sending messages which have not been received, are such that any message from the client is eventually delivered by the orchestrator to the server. Moreover, no infinite interaction can consist definitely of messages from the server which are kept by the orchestrator. The subcontract relation induced by this new notion of compliance is also investigated.
['Franco Barbanera', 'Steffen van Bakel', "Ugo de'Liguoro"]
Orchestrated session compliance