BdL14 (In proceedings)
|
Author(s) | Franco Barbanera and Ugo de' Liguoro |
Title | « Loosening the notions of compliance and sub-behaviour in client/server systems » |
In | Proceedings of ICE 2014 |
Series | EPTCS |
Editor(s) | Ivan Lanese, Alberto Lluch Lafuente, Ana Sokolova and Hugo Torres Vieira |
Volume | 166 |
Page(s) | 94-110 |
Year | 2014 |
Abstract |
In the context of ''session behaviors'' for client/server systems, we propose an extension of the compliance and sub-behaviour relations where the bias toward the client (which is the one whose "requests" must be satisfied) is pushed further w.r.t. the usual definitions: an output action from the server side can be ''skipped'' by the client in case it be not needed. Many relevant properties of the usual notions can be proved to still hold for the proposed extensions. However, whereas the possibility of skipping does not effect in a relevant way some proofs like decidability, it forces a tighter analysis of the interactions in case one wishes to prove that the dual of a behaviour is the minimum among its sub-behaviours, a property that enables us to infer decidability of sub-behaviour from decidability of compliance. |
Download the complete article:
@inproceedings{BdL14,
volume = {166},
author = {Franco Barbanera and Ugo de' Liguoro},
series = {{EPTCS}},
booktitle = {{Proceedings of ICE 2014}},
editor = {Ivan Lanese and Alberto Lluch Lafuente and Ana Sokolova and Hugo
Torres Vieira },
title = {{Loosening the notions of compliance and sub-behaviour in
client/server systems}},
abstract = {In the context of ''session behaviors'' for client/server systems,
we propose an extension of the compliance and sub-behaviour
relations where the bias toward the client (which is the one whose
"requests" must be satisfied) is pushed further w.r.t. the usual
definitions: an output action from the server side can be
''skipped'' by the client in case it be not needed. Many relevant
properties of the usual notions can be proved to still hold for
the proposed extensions. However, whereas the possibility of
skipping does not effect in a relevant way some proofs like
decidability, it forces a tighter analysis of the interactions in
case one wishes to prove that the dual of a behaviour is the
minimum among its sub-behaviours, a property that enables us to
infer decidability of sub-behaviour from decidability of
compliance.},
tag = {ICE'14},
localfile = {http://arxiv.org/abs/1311.5802},
pages = {94-110},
year = {2014},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)