Towards a formal component model for the cloud

Authors:
Roberto Di Cosmo;Stefano Zacchiroli;Gianluigi Zavattaro
Affiliations:
Sorbonne Paris Cité, PPS, UMR 7126, CNRS, Univ Paris Diderot, Paris, France;Sorbonne Paris Cité, PPS, UMR 7126, CNRS, Univ Paris Diderot, Paris, France;Focus Team, Univ of Bologna/INRIA, Italy
Venue:
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Year:
2012

Citing 11
Cited 1

Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Computation: finite and infinite machines

Computation: finite and infinite machines
A CPS encoding of name-passing in higher-order mobile embedded resources

Theoretical Computer Science - Expressiveness in concurrency
The FRACTAL component model and its support in Java: Experiences with Auto-adaptive and Reconfigurable Systems

Software—Practice & Experience
A calculus for reasoning about software composition

Theoretical Computer Science - Formal methods for components and objects
Software Component Models

IEEE Transactions on Software Engineering
Package upgrades in FOSS distributions: details and challenges

Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades
Reconfigurable SCA Applications with the FraSCAti Platform

SCC '09 Proceedings of the 2009 IEEE International Conference on Services Computing
A model of evolvable components

TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
MPM: a modular package manager

Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
The kell calculus: a family of higher-order distributed process calculi

GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing

Component reconfiguration in the presence of conflicts

ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider the problem of deploying and (re)configuring resources in a "cloud" setting, where interconnected software components and services can be deployed on clusters of heterogeneous (virtual) machines that can be created and connected on-the-fly. We introduce the Aeolus component model to capture similar scenarii from realistic cloud deployments, and instrument automated planning of day-to-day activities such as software upgrade planning, service deployment, elastic scaling, etc. We formalize the model and characterize the feasibility and complexity of configuration achievability in Aeolus.