On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Software Engineering and Methodology Année : 2019

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation

Résumé

We introduce two complementary approaches to monitor decentralized systems. The first approach relies on systems with a centralized specification, i.e., when the specification is written for the behavior of the entire system. To do so, our approach introduces a data structure that (i) keeps track of the execution of an automaton (ii) has predictable parameters and size and (iii) guarantees strong eventual consistency. The second approach defines decentralized specifications wherein multiple specifications are provided for separate parts of the system. We study two properties of decentralized specifications pertaining to monitorability and compatibility between specification and architecture. We also present a general algorithm for monitoring decentralized specifications. We map three existing algorithms to our approaches and provide a framework for analyzing their behavior. Furthermore, we present THEMIS, a framework for designing such decentralized algorithms and simulating their behavior. We demonstrate the usage of THEMIS to compare multiple algorithms and validate the trends predicted by the analysis in two scenarios: a synthetic benchmark and the Chiron user interface.
Fichier principal
Vignette du fichier
tosem-author.pdf (1.16 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02283429 , version 1 (10-09-2019)
hal-02283429 , version 2 (01-10-2019)

Identifiants

Citer

Antoine El-Hokayem, Yliès Falcone. On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation. ACM Transactions on Software Engineering and Methodology, 2019, pp.1-57. ⟨10.1145/nnnnnnn.nnnnnnn⟩. ⟨hal-02283429v2⟩
161 Consultations
91 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More