Addressing client needs for cloud computing using formal foundations

Autoren Andreea Buga
Sorana Tania Nemes
Atif Mashkoor
Titel Addressing client needs for cloud computing using formal foundations
Buchtitel Models: Concepts, Theory, Logic, Reasoning, and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of His 60th Birthday
Typ in Buch
Verlag College Publications
Serie Tributes
Band 34
ISBN 978-1-84890-276-3
Monat April
Jahr 2018
Seiten 264-285
SCCH ID# 18032

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 middleware 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 analyzed with the aid of the Computation Tree Logic.