An Event-B model for dynamically managing cloud resources

• Published in: Innovations in systems and software engineering Vol. 18; no. 1; pp. 85 - 104
• Main Authors: Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed
• Format: Journal Article
• Language: English
• Published: London Springer London 2022; Springer Nature B.V
• Subjects: Artificial Intelligence; Cloud computing; Computer Applications; Computer Science; Context; Customer services; Reconfiguration; S.I. : Software and Systems Reuse; Software Engineering; Resources management; Event-B; Cloud composite services; Dynamic reconfiguration; Formal model
• ISSN: 1614-5046; 1614-5054
• DOI: 10.1007/s11334-021-00419-1

One of the most important issues in the Cloud environment is to adapt to increasing or decreasing customer demands. The demand on Cloud services varies depending on user needs. To meet this need, Cloud services must increase/decrease their capacities according to users demands in a restraint time interval. Therefore, Cloud services have to evolve continuously by scaling up/down their capacity to handle new demands. In this paper, we particularly focus on Cloud composite services that are able to deal with complex users demands. In this context, we propose a formal model based on the Event-B method to manage the dynamic reconfiguration of composite services in the Cloud context. It is a correct by construction model for the management of Cloud resources. It enables to respond to the dynamic user’s demands by dynamically reconfiguring the required Cloud resources. 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.