@techreport{merle:hal-02940938, TITLE = {{Towards a formal reference computational model for cloud configuration management}}, AUTHOR = {Merle, Philippe and Ben Rayana, Souha and Seinturier, Lionel and Pissard-Gibollet, Roger and Stefani, Jean-Bernard and Ndeye Sylla, Adja}, URL = {https://inria.hal.science/hal-02940938}, TYPE = {Research Report}, NUMBER = {RR-9317}, INSTITUTION = {{INRIA}}, YEAR = {2020}, MONTH = Jan, KEYWORDS = {cloud computing ; configuration management ; computational model ; Alloy specification ; Gestion de configuration ; Informatique en nuage ; Mod{\`e}le de programmation ; Sp{\'e}cification Alloy}, PDF = {https://inria.hal.science/hal-02940938/file/RR-9317.pdf}, HAL_ID = {hal-02940938}, HAL_VERSION = {v1}, }