Towards Formal-based Semantic Interoperability in Multi-Clouds - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Towards Formal-based Semantic Interoperability in Multi-Clouds

(1, 2) , (1, 2) , (1, 2)
1
2

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.
Fichier principal
Vignette du fichier
Towards Formal-based Semantic Interoperability in Multi-Clouds.pdf (280.06 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01519831 , version 1 (09-05-2017)

Licence

Copyright

Identifiers

  • HAL Id : hal-01519831 , version 1

Cite

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. ⟨hal-01519831⟩
375 View
412 Download

Share

Gmail Facebook Twitter LinkedIn More