A symmetric protocol to establish service level agreements.

Jan Friso Groote (Corresponding author), Tim A.C. Willemse (Corresponding author)

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Samenvatting

We present a symmetrical protocol to repeatedly negotiate a desired service level between two parties, where the service levels are taken from some totally ordered finite domain. The agreed service level is selected from levels dynamically proposed by both parties and parties can only decrease the desired service level during a negotiation. The correctness of the protocol is stated using modal formulas and its behaviour is explained using behavioural reductions of the external behaviour modulo weak trace equivalence and divergence-preserving branching bisimulation. Our protocol originates from an industrial use case and it turned out to be remarkably tricky to design correctly.
Originele taal-2Engels
Artikelnummer19
Aantal pagina's19
TijdschriftLogical Methods in Computer Science
Volume16
Nummer van het tijdschrift3
StatusGepubliceerd - 2020

Vingerafdruk Duik in de onderzoeksthema's van 'A symmetric protocol to establish service level agreements.'. Samen vormen ze een unieke vingerafdruk.

Citeer dit