Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Davide Sangiogi Connect in order to contact the contributor
Submitted on : Tuesday, November 26, 2013 - 10:45:24 AM
Last modification on : Wednesday, February 2, 2022 - 3:56:16 PM
Long-term archiving on: : Monday, March 3, 2014 - 4:11:12 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads