2018/08/08 by Antoine El-Hokayem, El-Hokayem, Antoine, Ylìès Falcone +1 · 1 citation
Business, Management and Accounting · Computer Science · #Advanced Software Engineering Methodologies #Business Process Modeling and Analysis #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Software Engineering (cs.SE) #Software System Performance and Reliability
paper · pdf · doi:10.48550/arxiv.1808.02692
openalex publication_date 2018/08/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We define two complementary approaches to monitor decentralized systems. The\nfirst relies on those with a centralized specification, i.e, when the\nspecification is written for the behavior of the entire system. To do so, our\napproach introduces a data-structure that i) keeps track of the execution of an\nautomaton, ii) has predictable parameters and size, and iii) guarantees strong\neventual consistency. The second approach defines decentralized specifications\nwherein multiple specifications are provided for separate parts of the system.\nWe study two properties of decentralized specifications pertaining to\nmonitorability and compatibility between specification and architecture. We\nalso present a general algorithm for monitoring decentralized specifications.\nWe map three existing algorithms to our approaches and provide a framework for\nanalyzing their behavior. Furthermore, we introduce THEMIS, a framework for\ndesigning such decentralized algorithms and simulating their behavior. We show\nthe usage of THEMIS to compare multiple algorithms and verify the trends\npredicted by the analysis by studying two scenarios: a synthetic benchmark and\na real example.\n