Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4951482 | Journal of Logical and Algebraic Methods in Programming | 2017 | 47 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro,