The FCLOUDS Framework
Document type :
Communication dans un congrès avec actes
Title :
Towards Formal-based Semantic Interoperability in Multi-Clouds
The FCLOUDS Framework
The FCLOUDS Framework
Author(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]
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]
Conference title :
10th IEEE International Conference on Cloud Computing (CLOUD)
City :
Honolulu, Hawaii
Country :
Etats-Unis d'Amérique
Start date of the conference :
2017-06-25
Publication date :
2017-06-25
English keyword(s) :
Formal Verification
Formal Language
Multi-Clouds
Interoperability
Formal Language
Multi-Clouds
Interoperability
HAL domain(s) :
Informatique [cs]
English abstract : [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, ...
Show more >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.Show less >
Show more >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.Show less >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Files
- https://hal.inria.fr/hal-01519831/document
- Open access
- Access the document
- https://hal.inria.fr/hal-01519831/document
- Open access
- Access the document
- https://hal.inria.fr/hal-01519831/document
- Open access
- Access the document
- document
- Open access
- Access the document
- Towards%20Formal-based%20Semantic%20Interoperability%20in%20Multi-Clouds.pdf
- Open access
- Access the document
- document
- Open access
- Access the document
- Towards%20Formal-based%20Semantic%20Interoperability%20in%20Multi-Clouds.pdf
- Open access
- Access the document