Microservices: A Language-Based Approach

  • Claudio GuidiEmail author
  • Ivan Lanese
  • Manuel Mazzara
  • Fabrizio Montesi


Microservices is an emerging development paradigm where software is obtained by composing autonomous entities, called (micro)services. However, microservice systems are currently developed using general-purpose programming languages that do not provide dedicated abstractions for service composition. Instead, current practice is focused on the deployment aspects of microservices, in particular by using containerization. In this chapter, we make the case for a language-based approach to the engineering of microservice architectures, which we believe is complementary to current practice. We discuss the approach in general, and then we instantiate it in terms of the Jolie programming language.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Akka (2017)
  2. 2.
    Dragoni, N., Dustdar, S., Larsen, S.T., Mazzara, M.: Microservices: migration of a mission critical system (2017). Google Scholar
  3. 3.
    Dragoni, N., Giallorenzo, S., Lluch-Lafuente, A., Mazzara, M., Montesi, F., Mustafin, R., Safina, L.: Microservices: yesterday, today, and tomorrow. In: Present and Ulterior Software Engineering. Springer, Berlin (2017)Google Scholar
  4. 4.
    Dragoni, N., Lanese, I., Larsen, S. T., Mazzara, M., Mustafin, R., Safina, L.: Microservices: how to make your application scale. In: A.P. Ershov Informatics Conference. The PSI Conference Series, 11th edn. Springer, Berlin (2017)Google Scholar
  5. 5.
  6. 6.
    Fowler, M., Lewis, J.: Microservices. ThoughtWorks (2014)Google Scholar
  7. 7.
    Go language (2017)
  8. 8.
    Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: a calculus for service oriented computing. In: ICSOC. Lecture Notes in Computer Science, vol. 4294, pp. 327–338. Springer, Berlin (2006)CrossRefGoogle Scholar
  9. 9.
    Hüttel, H., et al.: Foundations of session types and behavioural contracts. ACM Comput. Surv. 49(1), 3:1–3:36 (2016)CrossRefGoogle Scholar
  10. 10.
    MacKenzie, M.C., et al.: Reference model for service oriented architecture 1.0. OASIS Standard, 12 (2006)Google Scholar
  11. 11.
    Martin, R.C.: Agile Software Development: Principles, Patterns, and Practices. Prentice Hall PTR, Englewood Cliffs (2003)Google Scholar
  12. 12.
     Merkel, D.: Docker: lightweight linux containers for consistent development and deployment. Linux J. 2014(239), 2 (2014)Google Scholar
  13. 13.
    Milner, R.: A Calculus of Communicating Systems. Lecture Notes in Computer Science, vol. 92. Springer, Berlin (1980)Google Scholar
  14. 14.
    Montesi, F.: Process-aware web programming with Jolie. Sci. Comput. Program. 130, 69–96 (2016)CrossRefGoogle Scholar
  15. 15.
     Montesi, F., Carbone, M.: Programming services with correlation sets. In: ICSOC. Lecture Notes in Computer Science, vol. 7084, pp. 125–141. Springer, Berlin (2011)CrossRefGoogle Scholar
  16. 16.
    Montesi, F., Guidi, C., Zavattaro, G.: Composing services with JOLIE. In: ECOWS, pp. 13–22. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  17. 17.
    Montesi, F., Guidi, C., Zavattaro, G.: Service-oriented programming with Jolie. In: Web Services Foundations, pp. 81–107. Springer, Berlin (2014)Google Scholar
  18. 18.
     Newman, S.: Building Microservices. O’Reilly Media, Sebastopol (2015)Google Scholar
  19. 19.
    OASIS: Web Services Business Process Execution Language Version 2.0 (2007)
  20. 20.
    Safina, L., Mazzara, M., Montesi, F., Rivera, V.: Data-driven workflows for microservices (genericity in jolie). In: Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA) (2016)Google Scholar
  21. 21.
    The Jolie language website (2017)
  22. 22.
    Yan, Z., Mazzara, M., Cimpian, E., Urbanec, A.: Business process modeling: classifications and perspectives. In: Business Process and Services Computing: 1st International Working Conference on Business Process and Services Computing, BPSC 2007, September 25–26, 2007, Leipzig, p. 222 (2007)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Claudio Guidi
    • 1
    Email author
  • Ivan Lanese
    • 2
  • Manuel Mazzara
    • 3
  • Fabrizio Montesi
    • 4
  1. 1.italianaSoftware srlImolaItaly
  2. 2.Focus TeamUniversity of Bologna/INRIABolognaItaly
  3. 3.Innopolis UniversityInnopolisRussia
  4. 4.University of Southern DenmarkOdenseDenmark

Personalised recommendations