|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| BvBdL17-JLAMP (Article) | |
| Author(s) | Franco Barbanera, Steffen van Bakel and Ugo de' Liguoro |
| Title | « Orchestrated Session Compliance » |
| Journal | Journal of Logical and Algebraic Methods in Programming |
| Volume | 86 |
| Page(s) | 30-76 |
| Year | 2017 |
| 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. | |
Download the complete article:
| BibTeX code |
@article{BvBdL17-JLAMP,
volume = {86},
author = {Barbanera, Franco and van Bakel, Steffen and de' Liguoro, Ugo},
tag = {Journal of Logical and Algebraic Methods in Programming},
localfile = {http://www.di.unito.it/~deligu/papers/JLAMP-OrchSessCompl.pdf},
title = {Orchestrated Session Compliance},
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.},
publisher = {Springer},
year = {2017},
doi = {http://dx.doi.org/10.1016/j.jlamp.2016.08.002},
pages = {30-76},
journal = {{Journal of Logical and Algebraic Methods in Programming}},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
