Towards Formal-based Semantic Interoperability in Multi-Clouds

Challita, Stéphanie; Paraiso, Fawaz; Merle, Philippe

The FCLOUDS Framework

Type de document :

Communication dans un congrès avec actes

Titre :

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

Auteur(s) :

Challita, Stéphanie [Auteur]
Université de Lille, Sciences et Technologies
Self-adaptation for distributed services and large software systems [SPIRALS]
Paraiso, Fawaz [Auteur]
Université de Lille, Sciences et Technologies
Self-adaptation for distributed services and large software systems [SPIRALS]
Merle, Philippe [Auteur]

Université de Lille, Sciences et Technologies
Self-adaptation for distributed services and large software systems [SPIRALS]

Titre de la manifestation scientifique :

10th IEEE International Conference on Cloud Computing (CLOUD)

Ville :

Honolulu, Hawaii

Pays :

Etats-Unis d'Amérique

Date de début de la manifestation scientifique :

2017-06-25

Date de publication :

2017-06-25

Mot(s)-clé(s) en anglais :

Formal Verification
Formal Language
Multi-Clouds
Interoperability

Discipline(s) HAL :

Informatique [cs]

Résumé en anglais : [en]

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, ...
Lire la suite >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.Lire moins >

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Collections :

Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL

Fichiers

https://hal.inria.fr/hal-01519831/document
Accès libre
Accéder au document

https://hal.inria.fr/hal-01519831/document
Accès libre
Accéder au document

https://hal.inria.fr/hal-01519831/document
Accès libre
Accéder au document

document
Accès libre
Accéder au document

Towards%20Formal-based%20Semantic%20Interoperability%20in%20Multi-Clouds.pdf
Accès libre
Accéder au document

document
Accès libre
Accéder au document

Towards%20Formal-based%20Semantic%20Interoperability%20in%20Multi-Clouds.pdf
Accès libre
Accéder au document