Jan Friso Groote ; Tim A. C. Willemse - A symmetric protocol to establish service level agreements

lmcs:6044 - Logical Methods in Computer Science, September 30, 2020, Volume 16, Issue 3 - https://doi.org/10.23638/LMCS-16(3:19)2020
A symmetric protocol to establish service level agreementsArticle

Authors: Jan Friso Groote ORCID; Tim A. C. Willemse

    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.


    Volume: Volume 16, Issue 3
    Published on: September 30, 2020
    Accepted on: September 2, 2020
    Submitted on: January 22, 2020
    Keywords: Computer Science - Logic in Computer Science

    Consultation statistics

    This page has been seen 1739 times.
    This article's PDF has been downloaded 357 times.