Loosening the notions of compliance and sub-behaviour in client/server systems

Uloženo v:

Podrobná bibliografie
Vydáno v:	arXiv.org (Oct 28, 2014), p. n/a
Hlavní autor:	Barbanera, Franco
Další autoři:	Ugo de' Liguoro
Vydáno:	Cornell University Library, arXiv.org
Témata:	Client server computing Compliance Client server systems Loosening
On-line přístup:	Citation/Abstract Full text outside of ProQuest
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Popis
Abstrakt:	In the context of "session behaviors" for client/server systems, we propose a weakening of the compliance and sub-behaviour relations where the bias toward the client (whose "requests" must be satisfied) is pushed further with respect to the usual definitions, by admitting that "not needed" output actions from the server side can be "skipped" by the client. Both compliance and sub-behaviour relations resulting from this weakening remain decidable, though the proof of the duals-as-minima property for servers, on which the decidability of the sub-behaviour relation relies, requires a tighter analysis of client/server interactions.
ISSN:	2331-8422
DOI:	10.4204/EPTCS.166.10
Zdroj:	Engineering Database