TY - GEN
T1 - Automatic component deployment in the presence of circular dependencies
AU - Lascu, Tudor A.
AU - Mauro, Jacopo
AU - Zavattaro, Gianluigi
PY - 2014/1/1
Y1 - 2014/1/1
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-319-07602-7_16
DO - 10.1007/978-3-319-07602-7_16
M3 - Article in proceedings
AN - SCOPUS:84958547126
SN - 9783319076010
T3 - Lecture Notes in Computer Science
SP - 254
EP - 272
BT - Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Revised Selected Papers
PB - Springer
T2 - 10th International Symposium on Formal Aspects of Component Software, FACS 2013
Y2 - 27 October 2013 through 29 October 2013
ER -