Titre :

Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the FCLOUDS Formal Language

Auteur(s) :

Challita, Stéphanie [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Université de Lille
Zalila, Faiez [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Université de Lille
Merle, Philippe [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Université de Lille

Titre de la manifestation scientifique :

CLOUD 2018 - 11th IEEE International Conference on Cloud Computing

Ville :

San Francisco

Pays :

Etats-Unis d'Amérique

Date de début de la manifestation scientifique :

2018-07-02

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

Interoperability
Alloy
Formal Verification
Multi-Clouds
OCCI
Formal Language

Discipline(s) HAL :

Informatique [cs]

Résumé en anglais : [en]

With the advent of cloud computing, different cloud providers with heterogeneous services and Application Programming Interfaces (APIs) have emerged. Hence, building an interop-erable multi-cloud system becomes a complex ...
Lire la suite >With the advent of cloud computing, different cloud providers with heterogeneous services and Application Programming Interfaces (APIs) have emerged. Hence, building an interop-erable multi-cloud system becomes a complex task. Our idea is to design FCLOUDS framework to achieve semantic interoperability in multi-clouds, i.e., to identify the common concepts between cloud APIs and to reason over them. In this paper, we propose to take advantage of the Open Cloud Computing Interface (OCCI) standard and the Alloy formal specification language to define the FCLOUDS language, which is a formal language for specifying heterogeneous cloud APIs. To do so, we formalize OCCI concepts and operational semantics, then we identify and validate five properties (consistency, sequentiality, reversibility, idempotence and safety) that denote their characteristics. To demonstrate the effectiveness of our cloud formal language, we present thirteen case studies where we formally specify infrastructure, platform, Internet of Things (IoT) and transverse cloud concerns. Thanks to the Alloy analyzer, we verify that these heterogeneous APIs uphold the properties of FCLOUDS and also validate their own specific properties. Then, thanks to formal transformation rules and equivalence properties, we draw a precise alignment between our case studies, which promotes semantic interoperability in a multi-cloud system.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