Towards a formal reference computational model for cloud configuration management - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2020

Towards a formal reference computational model for cloud configuration management

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02940938 , version 1

Citer

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⟩
231 Consultations
397 Téléchargements

Partager

More