Addressing Client Needs for Cloud Computing using Formal Foundations

08/13/2018
by   Andreea Buga, et al.
0

Cloud-enabled 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 are immense sources of information and impose a high complexity and heterogeneity, which might lead to unexpected failures. In this chapter, we present a model that coordinates the multi-cloud interaction through the specification, validation, and verification of a middle-ware exploiting monitoring and adaptation processes. The monitoring processes handle collecting meaningful data and assessing the state of components, while the adaptation processes restore the system as dictated by the evolution needs and sudden changes in the operating environment conditions. We employ Abstract State Machines to specify the models and we further make use of the ASMETA framework to simulate and validate them. Desired properties of the system are defined and analysed with the aid of the Computation Tree Logic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/08/2019

Quality of Service (QoS) Modelling in Federated Cloud Computing

Building around the idea of a large scale server infrastructure with a p...
research
08/30/2022

A Comparative Study On Three Selective Cloud Providers

Cloud Computing means a place where we can store our valuable informatio...
research
03/09/2022

Getting Critical: Making Sense of the EU Cybersecurity Framework for Cloud Providers

In this chapter, we review how the EU cybersecurity regulatory framework...
research
05/18/2013

The state-of-the-art in web-scale semantic information processing for cloud computing

Based on integrated infrastructure of resource sharing and computing in ...
research
02/12/2020

Building Reliable Cloud Services Using P# (Experience Report)

Cloud services must typically be distributed across a large number of ma...
research
06/02/2023

Blockchain Model for Environment/Infrastructure Monitoring in Cloud-Enabled High-Altitude Platform Systems

The recently accentuated features of augmenting conventional wireless ne...
research
06/23/2023

Availability Analysis of Redundant and Replicated Cloud Services with Bayesian Networks

Due to the growing complexity of modern data centers, failures are not u...

Please sign up or login with your details

Forgot password? Click here to reset