Orchestrated session compliance
File(s)
Accepted version
Author(s)
Barbanera, Franco
van Bakel, Steffen
de'Liguoro, Ugo
Type
Journal Article
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.
Date Issued
2017-01-01
Date Acceptance
2016-08-05
Citation
Journal of Logical and Algebraic Methods in Programming, 2017, 86 (1), pp.30-76
ISSN
2352-2208
Start Page
30
End Page
76
Journal / Book Title
Journal of Logical and Algebraic Methods in Programming
Volume
86
Issue
1
Copyright Statement
© 2016 Elsevier Inc. All rights reserved. This manuscript is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International Licence http://creativecommons.org/licenses/by-nc-nd/4.0/
Notes
publisher: Elsevier articletitle: Orchestrated session compliance journaltitle: Journal of Logical and Algebraic Methods in Programming articlelink: http://dx.doi.org/10.1016/j.jlamp.2016.08.002 content_type: article copyright: © 2016 Elsevier Inc. All rights reserved.
Publication Status
Published
Date Publish Online
2016-09-02