Specifying Semantic Interoperability between ...
Document type :
Communication dans un congrès avec actes
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]
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
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
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
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 >
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 :
Source :
Files
- https://hal.inria.fr/hal-01790629/document
- Open access
- Access the document
- https://hal.inria.fr/hal-01790629/document
- Open access
- Access the document
- https://hal.inria.fr/hal-01790629/document
- Open access
- Access the document
- document
- Open access
- Access the document
- Specifying%20Semantic%20Interoperability%20between%20Heterogeneous%20Cloud%20Resources%20with%20the%20FCLOUDS%20Formal%20Language.pdf
- Open access
- Access the document
- document
- Open access
- Access the document
- Specifying%20Semantic%20Interoperability%20between%20Heterogeneous%20Cloud%20Resources%20with%20the%20FCLOUDS%20Formal%20Language.pdf
- Open access
- Access the document