Adopting Formal Approaches for Monitoring and Adaptation for Large-Scale Distributed Systems

Large-Scale Distributed Systems orchestrate resources and services from various providers in order to deliver high-quality software solutions to the end users. The space and structure created by such technological advancements is an immense source of information and imposes a high complexity and heterogeneity, which might lead to unexpected failures. We propose in this paper a formal approach for capturing the behaviour of the monitoring and adaptation processes. We employ the Abstract State Machine rigorous method to elaborate the model and we further make use of the ASMeta framework to simulate and validate the specifications. Desired properties of the system are discussed and defined with the aid of the Computation Tree Logic.