Evaluation of the CEC (Correct Eventual Consistency) Tool - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2017

Evaluation of the CEC (Correct Eventual Consistency) Tool

Évaluation de l'outil CEC (Correct Eventual Consistency) pour la vérification des applications à cohérence à terme

Abstract

Preserving invariants while designing distributed applications under weak consistency models is difficult. The CEC (Correct Eventual Consistency Tool) is meant to aid the application designer in this task. This report presents some specifications tried out using the tool and some recommendations for its improvement based on the usage experience.
Le maintien des invariants, dans les applications réparties s'exécutant dans un modèle de cohérence faible, est un problème difficile. L'outil CEC (Correct Eventual Consistency) est destiné à aider le développeur d'application dans cette tâche. Notre rapport présente plusieurs exemples de spécifications vérifiées en utilisant cet outil, ainsi que quelques recommandations sur son usage, basées sur notre expérience d'utilisation.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-9111.pdf (741.28 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01628719 , version 1 (06-11-2017)
hal-01628719 , version 2 (07-12-2017)

Licence

Attribution

Identifiers

  • HAL Id : hal-01628719 , version 2

Cite

Sreeja S Nair. Evaluation of the CEC (Correct Eventual Consistency) Tool. [Research Report] RR-9111, Inria Paris; LIP6 UMR 7606, UPMC Sorbonne Universités, France. 2017, pp.1-27. ⟨hal-01628719v2⟩
1180 View
374 Download

Share

Gmail Facebook X LinkedIn More