Aeolus: A component model for the cloud

Information and Computation

Volumn 239, Issue , 2014, Pages 100-121

  Di Cosmo, Roberto ^a,b   Mauro, Jacopo ^b,c   Zacchiroli, Stefano ^a   Zavattaro, Gianluigi ^b,c  

^a UNIVERSITÉ PARIS DESCARTES   (France)

^b INRIA   (France)

^c UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Cloud computing; Distributed systems; Model; Software component

Indexed keywords

ALGORITHMS; CLOUD COMPUTING; INTERFACE STATES; MODELS; POLYNOMIAL APPROXIMATION;

AUTOMATED CONFIGURATION; COMPONENT CHARACTERISTICS; DISTRIBUTED APPLICATIONS; DISTRIBUTED SYSTEMS; NON-FUNCTIONAL REQUIREMENTS; NUMBER OF COMPONENTS; POLYNOMIAL-TIME ALGORITHMS; SOFTWARE COMPONENT;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84912099915     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2014.11.002     Document Type: Article

References (36)

1. L. Kanies, Puppet: next-generation configuration management, ;login: 31 (1) (2006) 19-25.
2. Opscode, Chef, http://www.opscode.com/chef/.
3. Cloud Foundry, http://cloudfoundry.org/.
4. Juju, devops distilled, https://juju.ubuntu.com/.
5. E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, J.-B. Stefani, The FRACTAL component model and its support in Java, Softw. Pract. Exp. 36 (11-12) (2006) 1257-1284.
6. L. Seinturier, P. Merle, D. Fournier, N. Dolet, V. Schiavoni, J.-B. Stefani, Reconfigurable SCA applications with the FraSCAti platform, in: IEEE SCC, IEEE, 2009, pp. 268-275.
7. J.A. Hewson, P. Anderson, A.D. Gordon, A declarative approach to automated configuration, in: Large Installation System Administration Conference, LISA'12, 2012, pp. 51-66.
8. P. Abate, R. Di Cosmo, R. Treinen, S. Zacchiroli, MPM: a modular package manager, in: 14th Symposium on Component Based Software Engineering, CBSE'11, ACM, 2011, pp. 179-188.
9. K. Schmid, A. Rummler, Cloud-based software product lines, in: SPLC, ACM, 2012, pp. 164-170.
10. R. Di Cosmo, S. Zacchiroli, G. Zavattaro, Towards a formal component model for the cloud, in: SEFM 2012, in: Lect. Notes Comput. Sci., vol. 7504, Springer, 2012, pp. 156-171.
11. R. Di Cosmo, J. Mauro, S. Zacchiroli, G. Zavattaro, Component reconfiguration in the presence of conflicts, in: The 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, in: Lect. Notes Comput. Sci., vol. 7966, Springer-Verlag, 2013, pp. 187-198.
12. R. Di Cosmo, P. Trezentos, S. Zacchiroli, Package upgrades in FOSS distributions: details and challenges, in: HotSWup'08, 2008.
13. K.-K. Lau, Z. Wang, Software component models, IEEE Trans. Softw. Eng. 33 (10) (2007) 709-724.
14. M. Minsky, Computation: Finite and Infinite Machines, Prentice Hall, 1967.
15. P.A. Abdulla, K. Cerans, B. Jonsson, Y.-K. Tsay, General decidability theorems for infinite-state systems, in: LICS, IEEE, 1996, pp. 313-321.
16. A. Finkel, P. Schnoebelen, Well-structured transition systems everywhere!, Theor. Comput. Sci. 256 (2001) 63-92.
17. L.E. Dickson, Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors, Am. J. Math. 35 (4) (1913) 413-422.
18. P. Schnoebelen, Revisiting Ackermann-Hardness for lossy counter machines and reset Petri nets, in: MFCS, in: Lect. Notes Comput. Sci., vol. 6281, Springer, 2010, pp. 616-628.
19. M. Catan, R.D. Cosmo, A. Eiche, T.A. Lascu, M. Lienhardt, J. Mauro, R. Treinen, S. Zacchiroli, G. Zavattaro, J. Zwolakowski, Aeolus: mastering the complexity of cloud application deployment, in: ESOCC, in: Lect. Notes Comput. Sci., vol. 8135, Springer, 2013.
20. Aeolus: mastering the complexity of the cloud, http://www.aeolus-project.org/.
21. L. de Alfaro, T.A. Henzinger, Interface automata, in: ESEC/SIGSOFT FSE, 2001.
22. C.A. Petri, Kommunikation mit Automaten, PhD thesis, Institut für Instrumentelle Mathematik, Bonn, Germany, 1962.
23. C. Rackoff, The covering and boundedness problems for vector addition systems, Theor. Comput. Sci. 6 (1978) 223-231.
24. R. Milner, J. Parrow, D. Walker, A Calculus of Mobile Processes, I/II, Inf. Comput. 100 (1) (1992) 1-77.
25. F. Achermann, O. Nierstrasz, A calculus for reasoning about software composition, Theor. Comput. Sci. 331 (2-3) (2005) 367-396.
26. A. Schmitt, J.-B. Stefani, The Kell calculus: a family of higher-order distributed process calculi, in: Global Computing, in: Lect. Notes Comput. Sci., vol. 3267, Springer, 2004, pp. 146-178.
27. M. Bundgaard, T.T. Hildebrandt, J.C. Godskesen, A CPS encoding of name-passing in higher-order mobile embedded resources, Theor. Comput. Sci. 356 (3) (2006) 422-439.
28. F. Montesi, D. Sangiorgi, A model of evolvable components, in: TGC, in: Lect. Notes Comput. Sci., vol. 6084, Springer, 2010, pp. 153-171.
29. P. Goldsack, P. Murray, A. Farrell, P. Toft, SmartFrog and data centre automation, Tech. rep., Microsoft Research, 2008.
30. Aeolus tools, https://github.com/aeolus-project/.
31. R. Di Cosmo, M. Lienhardt, R. Treinen, S. Zacchiroli, J. Zwolakowski, Optimal provisioning in the cloud, Tech. rep., Aeolus project http://hal.archives-ouvertes.fr/hal-00831455, June 2013.
32. T.A. Lascu, J. Mauro, G. Zavattaro, Automatic component deployment in the presence of circular dependencies, in: The 10th International Symposium on Formal Aspects of Component Software, FACS, 2013.
33. T.A. Lascu, J. Mauro, G. Zavattaro, A planning tool supporting the deployment of cloud applications, in: ICTAI, IEEE, 2013, pp. 213-220.
34. H. Herry, P. Anderson, G. Wickler, Automated planning for configuration changes, in: LISA, USENIX Association, 2011.
35. H. Herry, P. Anderson, Planning with global constraints for computing infrastructure reconfiguration, in: CP4PS-12-The AAAI-12 Workshop on Problem Solving Using Classical Planners, 2012.
36. J. Fischer, R. Majumdar, S. Esmaeilsabzali, Engage: a deployment management system, in: Programming Language Design and Implementation, PLDI'12, ACM, 2012, pp. 263-274.