Skip to Main content Skip to Navigation
Conference papers

Cloud Resources Placement Based on Functional and Non-Functional Requirements

Asma Guesmi 1, 2 Patrice Clemente 1, 2 Frédéric Loulergue 3, 4, 1 Pascal Berthomé 2, 1
4 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 <>
Submitted on : Friday, May 29, 2015 - 4:15:57 PM
Last modification on : Friday, March 27, 2020 - 3:11:47 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