Automatic Component Deployment in the Presence of Circular Dependencies - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Automatic Component Deployment in the Presence of Circular Dependencies


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.
Fichier principal
Vignette du fichier
facs2013-lmz.pdf (370.96 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00909300 , version 1 (26-11-2013)


  • HAL Id : hal-00909300 , version 1


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. ⟨hal-00909300⟩


127 View
291 Download


Gmail Facebook X LinkedIn More