A Formal approach for the correct deployment of cloud applications - Distributed Systems, Software Engineering and Middleware group Access content directly
Journal Articles Science of Computer Programming Year : 2024

A Formal approach for the correct deployment of cloud applications


Deployment of cloud applications is a complex task. It refers to the enablement of SaaS, PaaS or IaaS solutions that may be accessed on demand by end users. It encompasses all the activities from installation to uninstallation, including reconfiguration, etc. To facilitate the deployment of cloud applications, it is essential to design them as component-based applications in order to favor the design by reuse and reduce the development cost. However, assembling components can be a tedious and error-prone task if sufficient precautions are not taken regarding different constraints, dependencies, and conflicts between components. In this paper, we introduce a formal \eventB-based approach for the modelling and the verification of component-based applications deployment. Our goal is to build correct by-construction systems that fulfill the different constraints regarding the components, the cloud infrastructure, and the deployment process. Basically, our approach starts with an abstract model describing the main concepts of the system. Then different details are gradually introduced by refinement. For each refinement step, proof obligations are produced to ensure the model's correctness. The obtained formal model consists of a precise specification on which mathematical reasoning can be carried out to prove the correctness of our component-based application model and validate its deployment in a cloud environment by using \ProB. The presented approach is illustrated through a case study.
Embargoed file
Embargoed file
0 1 24
Year Month Jours
Avant la publication
Friday, June 14, 2024
Embargoed file
Friday, June 14, 2024
Please log in to request access to the document

Dates and versions

hal-04344435 , version 1 (14-12-2023)



Amel Mammar, Meriem Belguidoum, Saddam Hocine. A Formal approach for the correct deployment of cloud applications. Science of Computer Programming, 2024, ⟨10.1016/j.scico.2023.103048⟩. ⟨hal-04344435⟩
30 View
0 Download



Gmail Facebook X LinkedIn More