Towards Formal-based Semantic Interoperability in Multi-Clouds: The FCLOUDS Framework

Stéphanie Challita 1, 2 Fawaz Paraiso 1, 2 Philippe Merle 1, 2
1 SPIRALS - Self-adaptation for distributed services and large software systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Abstract : Multi-cloud computing has been proposed as a way to reduce vendor lock-in, to improve resiliency during outages and geo-presence, to boost performance and to lower costs. However, semantic differences between cloud providers, as well as their heterogeneous management interfaces, make changing from one provider to another very complex and costly. This is quite challenging for the implementation of multi-cloud systems. In this paper, we aim to take advantage of formal methods to define a precise semantics for multi-clouds. We propose fclouds, a formal-based framework for semantic interoperability in multi-clouds. This framework contains a catalogue of formal models that mathematically describe cloud APIs and reason over them. A precise alignment can be described between their concepts, which promotes semantic interoperability.
Type de document :
Communication dans un congrès
10th IEEE International Conference on Cloud Computing (CLOUD), Jun 2017, Honolulu, Hawaii, United States. pp.710 - 713, 2017
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01519831
Contributeur : Stéphanie Challita <>
Soumis le : mardi 9 mai 2017 - 15:49:07
Dernière modification le : jeudi 11 janvier 2018 - 06:27:32
Document(s) archivé(s) le : jeudi 10 août 2017 - 13:24:54

Fichier

Towards Formal-based Semantic ...
Fichiers produits par l'(les) auteur(s)

Licence


Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-01519831, version 1

Citation

Stéphanie Challita, Fawaz Paraiso, Philippe Merle. Towards Formal-based Semantic Interoperability in Multi-Clouds: The FCLOUDS Framework. 10th IEEE International Conference on Cloud Computing (CLOUD), Jun 2017, Honolulu, Hawaii, United States. pp.710 - 713, 2017. 〈hal-01519831〉

Partager

Métriques

Consultations de la notice

442

Téléchargements de fichiers

223