HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Cloud Resources Placement Based on Functional and Non-Functional Requirements

Asma Guesmi 1, 2, 3 Patrice Clemente 1, 2, 3 Frédéric Loulergue 4, 5, 1 Pascal Berthomé 2, 1, 3
3 SDS - Sécurité des Données et des Systèmes
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
5 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Abstract : It is difficult for customers to select the adequate cloud providers which fit their needs, as the number of cloud offerings increases rapidly. Many works thus focus on the design of cloud brokers. Unfortunately, most of them do not consider precise security requirements of customers. In this paper, we propose a methodology defined to place services in a multi-provider cloud environment, based on functional and non-functional requirements, including security requirements. To eliminate inner conflicts within customers requirements, and to match the cloud providers offers with these customers requirements, we use a formal analysis tool: Alloy. The broker uses a matching algorithm to place the required services in the adequate cloud providers, in a way that fulfills all customer requirements. We finally present a prototype implementation of the proposed broker.
Complete list of metadata

Contributor : Frédéric Loulergue Connect in order to contact the contributor
Submitted on : Friday, May 29, 2015 - 4:15:57 PM
Last modification on : Friday, January 21, 2022 - 3:09:50 AM


  • HAL Id : hal-01158134, version 1


Asma Guesmi, Patrice Clemente, Frédéric Loulergue, Pascal Berthomé. Cloud Resources Placement Based on Functional and Non-Functional Requirements. SECRYPT, Jul 2015, Colmar, France. ⟨hal-01158134⟩



Record views