Formal reconfiguration model for cloud resources

The execution context of the cloud composite services is dynamically and rapidly changing. In the cloud environment, the service demands can increase/decrease in a restrained time interval. Due to this fact, cloud composite services have to evolve continuously by scaling up/down their capacity to ha...

Full description

Saved in:
Bibliographic Details
Published in:Software and systems modeling 2023-02, Vol.22 (1), p.225-245
Main Authors: Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed
Format: Article
Language:English
Subjects:
Cloud computing
Compilers
Computer Science
Context
Information Systems Applications (incl.Internet)
Interpreters
IT in Business
Programming Languages
Programming Techniques
Reconfiguration
Regular Paper
Scaling up
Software Engineering
Software Engineering/Programming and Operating Systems
Software services
Software-as-a-service
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The execution context of the cloud composite services is dynamically and rapidly changing. In the cloud environment, the service demands can increase/decrease in a restrained time interval. Due to this fact, cloud composite services have to evolve continuously by scaling up/down their capacity to handle new demands. Scaling up consists in making a component larger or faster to handle a greater load. Scaling down is the reverse of Scaling up and it is the situation of reducing component capacity when the load decreases. Dynamic adaptation mechanisms must be in place to take into account the evolution of the execution context and environment. In this paper, we propose a new Event-B formal model to manage the dynamic reconfiguration of composite services in the cloud context. The proposed approach sets up the required reconfiguration mechanisms and takes into account the coordination between the different cloud computing levels: Software as a Service (SaaS), Platform as a Service (PaaS), and Infrastructure as a Service (IaaS). The proposed model contains four abstraction levels and implements the scaling mechanisms at each abstraction level. The model consistency has been proved thanks to the Event-B dedicated tools.
ISSN:1619-1366
1619-1374
DOI:10.1007/s10270-022-00990-6