Towards an ASM Specification for Monitoring and Adaptation Services of Large-Scale Distributed Systems

The ever growing demands of software solutions have led to the development of Large-Scale Distributed Systems, which bring together a wide pool of services and resources. Their composition and deployment come in different solutions tailored to users' requests based on business models, functionality, quality of service and costs. Bridging different parts into one software solution is brittle due to issues like heterogeneity, complexity, lack of transparency, failures and misbehavior. The role of the monitoring and adaptation components is essential in understanding failures of the system and reconfiguring it to a stable state based on the available information. We propose in this paper a distributed monitoring and adaptation solution responsible for identifying failures of the components and building recovery plans. The focus of the paper is to capture the nonfunctional and functional properties of the monitoring and adaptation layers in a formal model. We employ the rigorous Abstract State Machine method to build the control state diagram and define the ground model. We follow a formal approach using ASMETA toolset for defining the correct behavior of the components.