BdL14 (In proceedings)

Author(s)  Franco Barbanera and Ugo de' Liguoro 
Title  « Loosening the notions of compliance and subbehaviour 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)  94110 
Year  2014 
Abstract 
In the context of ''session behaviors'' for client/server systems, we propose an extension of the compliance and subbehaviour 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 subbehaviours, a property that enables us to infer decidability of subbehaviour 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 subbehaviour in
client/server systems}},
abstract = {In the context of ''session behaviors'' for client/server systems,
we propose an extension of the compliance and subbehaviour
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 subbehaviours, a property that enables us to
infer decidability of subbehaviour from decidability of
compliance.},
tag = {ICE'14},
localfile = {http://arxiv.org/abs/1311.5802},
pages = {94110},
year = {2014},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)