Title :

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

Author(s) :

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

Conference title :

CLOUD 2018 - 11th IEEE International Conference on Cloud Computing

City :

San Francisco

Country :

Etats-Unis d'Amérique

Start date of the conference :

2018-07-02

English keyword(s) :

Interoperability
Alloy
Formal Verification
Multi-Clouds
OCCI
Formal Language

HAL domain(s) :

Informatique [cs]

English abstract : [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 ...
Show more >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.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

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

Source :

Harvested from HAL