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.
Type de document :
Communication dans un congrès
SECRYPT, Jul 2015, Colmar, France. SCITEPRESS, 2015, 〈http://secrypt.icete.org〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01158134
Contributeur : Frédéric Loulergue <>
Soumis le : vendredi 29 mai 2015 - 16:15:57
Dernière modification le : vendredi 25 mai 2018 - 12:02:06

Identifiants

  • HAL Id : hal-01158134, version 1

Collections

Citation

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. SCITEPRESS, 2015, 〈http://secrypt.icete.org〉. 〈hal-01158134〉

Partager

Métriques

Consultations de la notice

308