Madeus: A formal deployment model

Abstract : Distributed software architecture is composed of multiple interacting modules, or components. Deploying such software consists in installing them on a given infrastructure and leading them to a functional state. However, since each module has its own life cycle and might have various dependencies with other modules, deploying such software is a very tedious task, particularly on massively distributed and heterogeneous infrastructures. To address this problem, many solutions have been designed to automate the deployment process. In this paper, we introduce Madeus, a component-based deployment model for complex distributed software. Madeus accurately describes the life cycle of each component by a Petri net structure, and is able to finely express the dependencies between components. The overall dependency graph it produces is then used to reduce deployment time by parallelizing deployment actions. While this increases the precision and performance of the model, it also increases its complexity. For this reason, the operational semantics needs to be clearly defined to prove results such as the termination of a deployment. In this paper, we formally describe the operational semantics of Madeus, and show how it can be used in a use-case: the deployment of a real and large distributed software (i.e., OpenStack).
Type de document :
Communication dans un congrès
4PAD 2018 - 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (hosted at HPCS 2018), Jul 2018, Orléans, France. pp.1-8
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01858150
Contributeur : Hélène Coullon <>
Soumis le : lundi 20 août 2018 - 09:58:54
Dernière modification le : mardi 13 novembre 2018 - 17:49:08
Document(s) archivé(s) le : mercredi 21 novembre 2018 - 12:45:14

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01858150, version 1

Citation

Maverick Chardet, Hélène Coullon, Dimitri Pertin, Christian Pérez. Madeus: A formal deployment model. 4PAD 2018 - 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (hosted at HPCS 2018), Jul 2018, Orléans, France. pp.1-8. 〈hal-01858150〉

Partager

Métriques

Consultations de la notice

280

Téléchargements de fichiers

177