Skip to Main content Skip to Navigation
Conference papers

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

Stéphanie Challita 1, 2 Faiez Zalila 1, 2 Philippe Merle 1, 2 
1 SPIRALS - Self-adaptation for distributed services and large software systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download
Contributor : Stéphanie Challita Connect in order to contact the contributor
Submitted on : Thursday, July 5, 2018 - 7:50:49 PM
Last modification on : Wednesday, September 7, 2022 - 8:14:05 AM
Long-term archiving on: : Monday, October 1, 2018 - 6:55:01 PM


Specifying Semantic Interopera...
Files produced by the author(s)


  • HAL Id : hal-01790629, version 1


Stéphanie Challita, Faiez Zalila, Philippe Merle. Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the FCLOUDS Formal Language. CLOUD 2018 - 11th IEEE International Conference on Cloud Computing, Jul 2018, San Francisco, United States. ⟨hal-01790629⟩



Record views


Files downloads