Self-reconfiguring microservices

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 9660, Issue , 2016, Pages 194-210

  Gabbrielli, Maurizio ^a,b   Giallorenzo, Saverio ^a   Guidi, Claudio ^c   Mauro, Jacopo ^d   Montesi, Fabrizio ^e  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b INRIA   (France)

^c ItalianaSoftware   (Italy)

^d UNIVERSITY OF OSLO   (Norway)

^e UNIVERSITY OF SOUTHERN DENMARK   (Denmark)

Author keywords

Automatic deployment; Microservices; Optimal component allocation; Service Oriented Architecture

Indexed keywords

ARCHITECTURE; FORMAL METHODS; INFORMATION SERVICES; MEMORY ARCHITECTURE;

AUTOMATIC DEPLOYMENTS; COMPONENT ALLOCATION; DISTRIBUTED SYSTEMS; DYNAMIC TOPOLOGIES; LOOSE COUPLINGS; MICROSERVICES; STATE OF THE ART; TARGET APPLICATION;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 84962515125     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-30734-3_14     Document Type: Conference Paper

References (43)

1. Amazon. AWS CloudFormation. https://aws.amazon.com/cloudformation/. Accessed January 2016
2. Armstrong, J.: Programming Erlang. Pragmatic Bookshelf, Raleigh (2013)
3. Microsoft Azure. https://azure.microsoft.com. Accessed January 2016
4. Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: POPL, pp. 263–274. ACM (2013)
5. CenturyLink. Cloud Blueprints. https://www.ctl.io/blueprints/. Accessed January 2016
6. Cosmo, R.D., Lienhardt, M., Mauro, J., Zacchiroli, S., Zavattaro, G., Zwolakowski, J.: Automatic application deployment in the cloud: from practice to theory and back. In: CONCUR. LIPIcs, vol. 42, pp. 1–16. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2015)
7. Cosmo, R.D., Lienhardt, M., Treinen, R., Zacchiroli, S., Zwolakowski, J., Eiche, A., Agahi, A.: Automated synthesis and deployment of cloud applications. In: ASE, pp. 211–222. ACM (2014)
8. Cosmo, R.D., Mauro, J., Zacchiroli, S., Zavattaro, G.: Aeolus: a component model for the cloud. Inf. Comput. 239, 100–121 (2014)
9. de Boer, F.S., de Gouw, S.: Combining monitoring with run-time assertion checking. In: Bernardo, M., Damiani, F., Hähnle, R., Johnsen, E.B., Schaefer, I. (eds.) SFM 2014. LNCS, vol. 8483, pp. 217–262. Springer, Heidelberg (2014)
10. de Gouw, S., Lienhardt, M., Mauro, J., Nobakht, B., Zavattaro, G.: On the integration of automatic deployment into the ABS modeling language. In: Dustdar, S., Leymann, F., Villari, M. (eds.) ESOCC 2015. LNCS, vol. 9306, pp. 49–64. Springer, Heidelberg (2015)
11. DevOps. http://devops.com/. Accessed January 2016
12. Di Cosmo, R., Eiche, A., Mauro, J., Zavattaro, G., Zacchiroli, S., Zwolakowski, J.: Automatic deployment of services in the cloud with aeolus blender. In: Barros, A., Grigori, D., Narendra, N.C., Dam, H.K. (eds.) ICSOC 2015. LNCS, vol. 9435, pp. 397–411. Springer, Heidelberg (2015)
13. Docker Inc. Docker. https://www.docker.com/. Accessed January 2016
14. Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. J. ACM (JACM) 32(2), 374–382 (1985)
15. Flexiant. Bento Boxes. https://www.flexiant.com/2012/12/03/application-provisioning/. Accessed January 2016
16. Fowler, M., Lewis, J.: Microservices (2014). http://martinfowler.com/articles/microservices.html. Accessed January 2016
17. Gabbrielli, M., Giallorenzo, S., Montesi, F.: Applied choreographies (2015). CoRR, abs/1510.03637
18. Georgakopoulos, D., Papazoglou, M.P.: Service-Oriented Computing. The MIT Press, Cambridge (2008)
19. Google App Engine. https://cloud.google.com/appengine/docs. Accessed January 2016
20. Hewitt, C., Bishop, P., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: IJCAI, pp. 235–245. William Kaufmann (1973)
21. Jolie.: Programming Language. http://www.jolie-lang.org/. Accessed January 2016
22. Lamport, L.: Paxos made simple. ACM SIGACT News 32(4), 18–25 (2001)
23. Lanese, I., Bucchiarone, A., Montesi, F.: A framework for rule-based dynamic adaptation. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010, LNCS, vol. 6084, pp. 284–300. Springer, Heidelberg (2010)
24. Lascu, T.A., Mauro, J., Zavattaro, G.: A planning tool supporting the deployment of cloud applications. In: ICTAI, pp. 213–220. IEEE (2013)
25. Mandriva. Armonic. https://armonic.readthedocs.org/en/latest/index.html. Accessed January 2016
26. Mauro, J., Zavattaro, G.: On the complexity of reconfiguration in systems with legacy components. In: Italiano, G.F., Pighizzini, G., Sannella, D.T. (eds.) MFCS 2015. LNCS, vol. 9234, pp. 382–393. Springer, Heidelberg (2015)
27. Montesi, F.: Hack your way through the microservices revolution. http://www.infoworld.com/article/2903590/application-development/hack-your-way-throughthe-microservices-revolution.html. Accessed January 2016
28. Montesi, F.: JOLIE: a Service-oriented Programming Language. Master’s thesis, University of Bologna (2010)
29. Montesi, F., Carbone, M.: Programming services with correlation sets. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) ICSOC 2011. LNCS, vol. 7084, pp. 125–141. Springer, Heidelberg (2011)
30. Montesi, F., Guidi, C., Lucchi, R., Zavattaro, G.: JOLIE: a java orchestration language interpreter engine. Electr. Notes Theor. Comput. Sci. 181, 19–33 (2007)
31. Montesi, F., Guidi, C., Zavattaro, G.: Composing services with JOLIE. In: Proceedings of ECOWS, pp. 13–22 (2007)
32. Montesi, F., Guidi, C., Zavattaro, G.: Service-oriented programming with Jolie. In: Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.) Web Services Foundations, pp. 81–107. Springer, New York (2014)
33. Montesi, F., Yoshida, N.: Compositional choreographies. In: D’Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013–Concurrency Theory. LNCS, vol. 8052, pp. 425–439. Springer, Heidelberg (2013)
34. Morris, K.: Immutableserver (2013). http://martinfowler.com/bliki/Immutable Server.html. Accessed January 2016
35. Netflix. Building with legos (2011). http://techblog.netflix.com/2011/08/ building-with-legos.html. Accessed January 2016
36. Nginx. Adopting microservices at netflix: Lessons for architectural design (2015). https://www.nginx.com/blog/microservices-at-netflix-architectural-bestpractices/. Accessed January 2016
37. Nobakht, B., de Gouw, S., de Boer, F.S.: Formal verification of service level agreements through distributed monitoring. In: Dustdar, S., Leymann, F., Villari, M. (eds.) ESOCC 2015. LNCS, vol. 9306, pp. 125–140. Springer, heidelberg (2015)
38. Oasis, B.: Web services business process execution language (2007). http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html
39. Ongaro, D., Ousterhout, J.: In search of an understandable consensus algorithm. In: USENIX, pp. 305–320 (2014)
40. Opscode. Chef. http://www.opscode.com/chef/. Accessed January 2016
41. Preda, M.D., Gabbrielli, M., Giallorenzo, S., Lanese, I., Mauro, J.: Dynamic choreographies-safe runtime updates of distributed applications. In: Holvoet, T., Viroli, M. (eds.) COORDINATION. LNCS, vol. 9037, pp. 67–82. Springer, Heidelberg (2015)
42. Preda, M.D., Giallorenzo, S., Lanese, I., Mauro, J., Gabbrielli, M.: AIOCJ: a choreographic framework for safe adaptive distributed applications. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 161–170. Springer, Heidelberg (2014)
43. Puppetlabs. Puppet. http://puppetlabs.com/. Accessed January 2016