A Systematic Mapping Study of Specification Languages in Cloud Services Development

  • Jorge Bermeo Conto
  • Miguel Zúñiga-Prieto
  • Lizandro Solano-Quinde
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 895)


Specification languages offer abstractions and notations that facilitate the systematic and analytical reasoning about important aspects in a specific domain problematic. In a software engineering process domain, the usage of specification languages improve the quality and delivery time of the artefacts generated during the execution of the process activities. Cloud applications, or cloud services, are service-oriented applications whose consumption is constantly growing; however, their development require support for new roles and activities. In this work we are interested in knowing how specification languages are being used by researchers and practitioners to support the development of cloud services. This work presents a systematic mapping that provides guidance to determine the current state and to characterize the specification languages that support the service life cycle activities in a cloud services development domain.


Cloud applications Cloud services Systematic mapping protocol Specification languages Service life cycle Model driven development 



This research is supported by the DIUC_XIV_2016_038 project.


  1. 1.
    Leavitt, N.: Is cloud computing really ready for prime time? Computer 42, 15–20 (2009). Scholar
  2. 2.
    Hamdaqa, M., Livogiannis, T., Tahvildari, L.: A reference model for developing cloud applications, pp. 98–103. SciTePress - Science and Technology Publications (2011)Google Scholar
  3. 3.
    Kitchenham, B., Charters, S.: Guidelines for performing systematic literature reviews in software engineering (2007)Google Scholar
  4. 4.
    Brereton, P., Kitchenham, B.A., Budgen, D., Turner, M., Khalil, M.: Lessons from applying the systematic literature review process within the software engineering domain. J. Syst. Softw. 80, 571–583 (2007). Scholar
  5. 5.
    Petersen, K., Feldt, R., Mujtaba, S., Mattsson, M.: Systematic mapping studies in software engineering, p. 10 (2008)Google Scholar
  6. 6.
    Kitchenham, B.: Procedures for performing systematic reviews. Keele, UK, Keele Univ. 33, 1–26 (2004)Google Scholar
  7. 7.
    Petticrew, M., Roberts, H.: Systematic Reviews in the Social Sciences: A Practical Guide. Blackwell Publishing, Malden (2006)CrossRefGoogle Scholar
  8. 8.
    Amazon Web Services, Inc.: What is cloud computing? - Amazon web services. Accessed 29 May 2018
  9. 9.
    Littell, J.H., Corcoran, J.: Systematic reviews. In: The Handbook of Social Work Research Methods (2009)Google Scholar
  10. 10.
    Gu, Q., Lago, P.: A stakeholder-driven service life cycle model for SOA, pp. 1–7 (2007)Google Scholar
  11. 11.
    Wall, Q.: Understanding the service lifecycle within a SOA: design time (2006). Accessed 29 May 2018
  12. 12.
    Wall, Q.: Understanding the service lifecycle within a SOA: run time (2006). Accessed 29 May 2018
  13. 13.
    Bermayr, A., Grossniklaus, M., Wimmer, M.: D9.1 State of the art in modelling languages and model transformation techniques. ARTIST. Technische Universität Wien 51 (2013)Google Scholar
  14. 14.
    Matsumura, M.: The definitive guide to SOA governance and lifecycle management, p. 44 (2007)Google Scholar
  15. 15.
    Bjørner, D.: Software Engineering 1: Abstraction and Modelling. Springer, Heidelberg (2006). Scholar
  16. 16.
    Bézivin, J.: On the unification power of models. Softw. Syst. Model. 4, 171–188 (2005). Scholar
  17. 17.
    Bergmayr, A., Wimmer, M., Kappel, G., Grossniklaus, M.: Cloud modeling languages by example, pp. 137–146. IEEE (2014)Google Scholar
  18. 18.
    Vaquero, L.M., Rodero-Merino, L., Buyya, R.: Dynamically scaling applications in the cloud, vol. 41, no. 1, pp. 45–52 (2011)CrossRefGoogle Scholar
  19. 19.
    Mell, P., Grance, T.: The NIST definition of cloud computing (2011)Google Scholar
  20. 20.
    Conto, J.B., Zúñiga-Prieto, M., Solano-Quinde, L.: Description languages for the lifecycle activities of services in the cloud domain: a systematic mapping protocol. Journal MASKANA, Special Number: Proceedings of II Congreso I + D + Ingeniería - 2017 (2017, to be published)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Jorge Bermeo Conto
    • 1
  • Miguel Zúñiga-Prieto
    • 1
  • Lizandro Solano-Quinde
    • 1
  1. 1.Departamento de Ciencias de la ComputaciónUniversidad de CuencaCuencaEcuador

Personalised recommendations