Towards a formal reference computational model for cloud configuration management - Inria - Institut national de recherche en sciences et technologies du numérique
Reports (Research Report) Year : 2020

Towards a formal reference computational model for cloud configuration management

Abstract

The multiplication of models, languages, APIs and tools for cloud and network configuration management raises heterogeneity issues that can be tackled by introducing a reference model. A reference model provides a common basis for interpretation for various models and languages, and for bridging different APIs and tools. This report formally specifies, in the Alloy specification language, a reference model for cloud configuration management, we call the Cloudnet Computational Model. We show how to formally interpret several configuration languages in it, including the TOSCA configuration language, the OpenStack Heat Orchestration Template, the Docker Compose configuration language, and the Aeolus cloud deployment model. We show in particular how the formal operational semantics of our Cloudnet computation model allows us to extend the TOSCA standard with Aeolus concepts for deployment lifecycle, and how the Alloy formalization allowed us to discover several classes of errors in the OpenStack HOT specification.
Fichier principal
Vignette du fichier
RR-9317.pdf (2.5 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02940938 , version 1 (16-09-2020)

Identifiers

  • HAL Id : hal-02940938 , version 1

Cite

Philippe Merle, Souha Ben Rayana, Lionel Seinturier, Roger Pissard-Gibollet, Jean-Bernard Stefani, et al.. Towards a formal reference computational model for cloud configuration management. [Research Report] RR-9317, INRIA. 2020. ⟨hal-02940938⟩
225 View
389 Download

Share

More