Automated synthesis and deployment of cloud applications

ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2014, Pages 211-221

  Di Cosmo, Roberto ^a   Lienhardt, Michael ^a   Treinen, Ralf ^a   Zacchiroli, Stefano ^a   Zwolakowski, Jakub ^a   Eiche, Antoine ^b   Agahi, Alexis ^c  

^a UNIVERSITÉ PARIS DESCARTES   (France)

^b Mandriva FR ^*  (France)

^c Kyriba Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; QUALITY OF SERVICE; SOFTWARE ENGINEERING;

AUTOMATED SYNTHESIS; CLOUD APPLICATIONS; CLOUD ENVIRONMENTS; COMPONENT REPLICAS; COST OF OPERATIONS; DISTRIBUTED APPLICATIONS; HIGH LEVEL SPECIFICATION; NETWORKED APPLICATIONS;

APPLICATION PROGRAMS;

EID: 84908627892     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2642937.2642980     Document Type: Conference Paper

References (32)

1. A. Aleti, B. Buhnova, L. Grunske, A. Koziolek, and I. Meedeniya. Software architecture optimization methods: A systematic literature review. IEEE TSE, 39(5):658-683, 2013.
2. R. Amadini. Evaluation and application of portfolio approaches in constraint programming. Theory and Practice of Logic Programming (TPLP), 13(4-5-Online-Supplement), 2013.
3. R. Amadini, M. Gabbrielli, and J. Mauro. An empirical evaluation of portfolios approaches for solving CSPs. In C. P. Gomes and M. Sellmann, editors, Constraint Programming for Combinatorial Optimization Problems (CPAIOR), volume 7874 of LNCS, pages 316-324, 2013.
4. M. Burgess. A site configuration engine. Computing Systems, 8(2):309-337, 1995.
5. Canonical Ltd. Juju, devops distilled. https://juju.ubuntu.com/. Retrieved October 2013.
6. M. Catan, R. Di Cosmo, A. Eiche, T. A. Lascu, M. Lienhardt, J. Mauro, R. Treinen, S. Zacchiroli, G. Zavattaro, and J. Zwolakowski. Aeolus: Mastering the complexity of cloud application deployment. In ESOCC 2013: Service-Oriented and Cloud Computing, volume 8135 of LNCS, pages 1-3, 2013.
7. R. Di Cosmo, M. Lienhardt, R. Treinen, S. Zacchiroli, and J. Zwolakowski. Optimal provisioning in the cloud. Technical report, Université Paris Diderot, 2013. Available at http://hal.archives-ouvertes.fr/hal-00831455/.
8. R. Di Cosmo and J. Vouillon. On software component co-installability. In Foundations of Software Engineering (FSE), pages 256-266. ACM, 2011.
9. R. Di Cosmo, S. Zacchiroli, and G. Zavattaro. Towards a formal component model for the cloud. In Software Engineering and Formal Methods (SEFM) 2012, volume 7504 of LNCS, pages 156-171, 2012.
10. P. M. Duvall, S. Matyas, and A. Glover. Continuous integration: improving software quality and reducing risk. Pearson Education, 2007.
11. X. Etchevers, T. Coupaye, F. Boyer, and N. De Palma. Self-configuration of distributed applications in the cloud. In International Conference on Cloud Computing, pages 668-675. IEEE, 2011.
12. I. Feinerer. Efficient large-scale configuration via integer linear programming. Artificial Intelligence for Engineering, Design, Analysis and Manufacturing (AI EDAM), 27(1):37-49, 2013.
13. I. Feinerer and G. Salzer. Consistency and minimality of UML class specifications with multiplicities and uniqueness constraints. In Theoretical Aspects of Software Engineering (TASE), pages 411-420, 2007.
14. J. Fischer, R. Majumdar, and S. Esmaeilsabzali. Engage: a deployment management system. In PLDI'12: Programming Language Design and Implementation, pages 263-274. ACM, 2012.
15. J. A. Hewson, P. Anderson, and A. D. Gordon. A declarative approach to automated configuration. In LISA'12: Large Installation System Administration Conference, pages 51-66, 2012.
16. J. Humble and D. Farley. Continuous delivery: reliable software releases through build, test, and deployment automation. Pearson Education, 2010.
17. L. Kanies. Puppet: Next-generation configuration management.; login: the USENIX magazine, 31(1):19-25, 2006.
18. T. A. Lascu, J. Mauro, and G. Zavattaro. Automatic component deployment in the presence of circular dependencies. In Formal Aspects of Component Software (FACS) 2013, volume 8348 of LNCS, 2013.
19. T. A. Lascu, J. Mauro, and G. Zavattaro. A planning tool supporting the deployment of cloud applications. In International Conference on Tools with Artificial Intelligence (ICTAI), pages 213-220. IEEE, 2013.
20. X. Leroy, D. Doligez, J. Garrigue, and D. Rémy. The Objective Caml system release 4.01; Documentation and user's manual. INRIA, Rocquencourt, Paris, 2013.
21. F. Mancinelli, J. Boender, R. D. Cosmo, J. Vouillon, B. Durak, X. Leroy, and R. Treinen. Managing the complexity of large free and open source package-based software distributions. In International Conference on Automated Software Engineering (ASE), pages 199-208. IEEE, 2006.
22. K. Marriott, N. Nethercote, R. Rafeh, P. J. Stuckey, M. G. De La Banda, and M. Wallace. The design of the zinc modelling language. Constraints, 13(3):229-267, 2008.
23. I. Neamtiu and T. Dumitras. Cloud software upgrades: Challenges and opportunities. In Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA), 2011 International Workshop on the, pages 1-10, Sept. 2011.
24. N. Nethercote, P. J. Stuckey, R. Becket, S. Brand, G. J. Duck, and G. Tack. Minizinc: Towards a standard CP modelling language. In Principles and Practice of Constraint Programming (CP), pages 529-543, 2007.
25. Normation. Rudder - open source automation & compliance. https://www.rudder-project.org/. Retrieved April 2014.
26. Opscode. Chef. http://www.opscode.com/chef/. Retrieved October 2013.
27. Puppet Labs. Marionette collective. http://docs.puppetlabs.com/mcollective/. Retrieved October 2013.
28. RedHat. Augeas - a configuration API. http://augeas.net/. Retrieved April 2014.
29. C. Schulte, M. Lagerkvist, and G. Tack. Gecode. http://www.gecode.org/. Retrieved October 2013.
30. P. J. Stuckey, M. G. De La Banda, M. Maher, J. Slaney, Z. Somogyi, M. Wallace, and T. Walsh. The G12 project: Mapping solver independent models to efficient solutions. In International Conference on Logic Programming (ICLP), volume 3668 of LNCS, pages 9-13, 2005.
31. S. Van Der Burg, E. Dolstra, and M. De Jonge. Atomic upgrading of distributed systems. In Hot Topics in Software Upgrades, pages 1-5. ACM, 2008.
32. VMWare. Cloud Foundry, deploy & scale your applications in seconds. Retrieved October 2013, http://www.cloudfoundry.com/.