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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1016/j.jlamp.2016.08.002 | Journal of Logical and Algebraic Methods in Programming |
Keywords | Field | DocType |
Compliance,Session contracts,Orchestration,Subcontract | Computer science,Computer network,Decidability,Orchestration,Operating system | Journal |
Volume | Issue | ISSN |
86 | 1 | 2352-2208 |
Citations | PageRank | References |
2 | 0.36 | 20 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franco Barbanera | 1 | 357 | 35.14 |
Steffen van Bakel | 2 | 335 | 28.24 |
Ugo de'Liguoro | 3 | 251 | 23.50 |