Automatic Component Deployment in the Presence of Circular Dependencies

Tudor Alexandru Lascu 1, 2 Jacopo Mauro 1, 2 Gianluigi Zavattaro 1, 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : In distributed systems like clouds or service oriented frameworks, applications are typically assembled by deploying and connecting a large number of heterogeneous software components, spanning from fine-grained packages to coarse-grained complex services. The complexity of such systems requires a rich set of techniques and tools to support the automation of their deployment process. By relying on a formal model of components, we describe a sound and complete algorithm for computing the sequence of actions allowing the deployment of a desired configuration. Moreover, differently from other proposals in the literature, our technique works even in the presence of circular dependencies among components. We give a proof for the polynomiality of the devised algorithm, thus guaranteeing efficiency and effectiveness of automatic tools for component deployment based on our algorithm.
Type de document :
Communication dans un congrès
10th International Symposium on Formal Aspects of Component Software, FACS 2013, 2013, Nanchang, China. 2013
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00909300
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 10:45:24
Dernière modification le : samedi 27 janvier 2018 - 01:31:25
Document(s) archivé(s) le : lundi 3 mars 2014 - 16:11:12

Fichier

facs2013-lmz.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00909300, version 1

Collections

Citation

Tudor Alexandru Lascu, Jacopo Mauro, Gianluigi Zavattaro. Automatic Component Deployment in the Presence of Circular Dependencies. 10th International Symposium on Formal Aspects of Component Software, FACS 2013, 2013, Nanchang, China. 2013. 〈hal-00909300〉

Partager

Métriques

Consultations de la notice

259

Téléchargements de fichiers

251