Towards a Formal Component Model for the Cloud

  • Roberto Di Cosmo
  • Stefano Zacchiroli
  • Gianluigi Zavattaro
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7504)


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.


Resource Type Strong Requirement Active Port Counter Machine Numerical Constraint 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abate, P., Di Cosmo, R., Treinen, R., Zacchiroli, S.: MPM: a modular package manager. In: CBSE 2011: 14th Symposium on Component Based Software Eng., pp. 179–188. ACM (2011)Google Scholar
  2. 2.
    Achermann, F., Nierstrasz, O.: A calculus for reasoning about software composition. Theor. Comput. Sci. 331(2-3), 367–396 (2005)MathSciNetzbMATHCrossRefGoogle Scholar
  3. 3.
    de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC / SIGSOFT FSE (2001)Google Scholar
  4. 4.
    Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.B.: The fractal component model and its support in java. Softw., Pract. Exper. 36(11-12), 1257–1284 (2006)CrossRefGoogle Scholar
  5. 5.
    Bundgaard, M., Hildebrandt, T.T., Godskesen, J.C.: A cps encoding of name-passing in higher-order mobile embedded resources. Theor. Comput. Sci. 356(3), 422–439 (2006)MathSciNetzbMATHCrossRefGoogle Scholar
  6. 6.
    Cloud Foundry, deploy & scale your applications in seconds (retrieved April 2012),
  7. 7.
    Di Cosmo, R., Trezentos, P., Zacchiroli, S.: Package upgrades in FOSS distributions: Details and challenges. In: HotSWup 2008 (2008)Google Scholar
  8. 8.
    Juju, devops distilled (retrieved April 2012),
  9. 9.
    Lau, K.K., Wang, Z.: Software component models. IEEE Trans. Software Eng. 33(10), 709–724 (2007)CrossRefGoogle Scholar
  10. 10.
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. i/ii. Inf. Comput. 100(1), 1–77 (1992)MathSciNetzbMATHCrossRefGoogle Scholar
  11. 11.
    Minsky, M.: Computation: finite and infinite machines. Prentice-Hall (1967)Google Scholar
  12. 12.
    Montesi, F., Sangiorgi, D.: A Model of Evolvable Components. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010, LNCS, vol. 6084, pp. 153–171. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  13. 13.
    Petri, C.A.: Kommunikation mit Automaten. PhD thesis. Institut für Instrumentelle Mathematik, Bonn, Germany (1962)Google Scholar
  14. 14.
    Rackoff, C.: The covering and boundedness problems for vector addition systems. Theoret. Comp. Sci. 6, 223–231 (1978)MathSciNetzbMATHCrossRefGoogle Scholar
  15. 15.
    Schmitt, A., Stefani, J.B.: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 146–178. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  16. 16.
    Seinturier, L., Merle, P., Fournier, D., Dolet, N., Schiavoni, V., Stefani, J.B.: Reconfigurable SCA applications with the FraSCAti platform. In: IEEE SCC, pp. 268–275. IEEE (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Roberto Di Cosmo
    • 1
  • Stefano Zacchiroli
    • 1
  • Gianluigi Zavattaro
    • 2
  1. 1.Sorbonne Paris Cité, PPS, UMR 7126, CNRSUniv Paris DiderotParisFrance
  2. 2.Focus TeamUniv of Bologna/INRIAItaly

Personalised recommendations