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 metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-00909300
Contributor : Davide Sangiogi <>
Submitted on : Tuesday, November 26, 2013 - 10:45:24 AM
Last modification on : Saturday, January 27, 2018 - 1:31:25 AM
Long-term archiving on : Monday, March 3, 2014 - 4:11:12 PM

File

facs2013-lmz.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

297

Files downloads

338