Skip to main content
SpringerLink
Log in
Book cover

International Conference on Technology Trends

CITT 2018: Technology Trends pp 72–88Cite as

A Systematic Mapping Study of Specification Languages in Cloud Services Development

  • Conference paper
  • First Online:

  • 1116 Accesses

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 895))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Leavitt, N.: Is cloud computing really ready for prime time? Computer 42, 15–20 (2009). https://doi.org/10.1109/MC.2009.20

    Google Scholar 

  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. Kitchenham, B., Charters, S.: Guidelines for performing systematic literature reviews in software engineering (2007)

    Google Scholar 

  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). https://doi.org/10.1016/j.jss.2006.07.009

    Google Scholar 

  5. Petersen, K., Feldt, R., Mujtaba, S., Mattsson, M.: Systematic mapping studies in software engineering, p. 10 (2008)

    Google Scholar 

  6. Kitchenham, B.: Procedures for performing systematic reviews. Keele, UK, Keele Univ. 33, 1–26 (2004)

    Google Scholar 

  7. Petticrew, M., Roberts, H.: Systematic Reviews in the Social Sciences: A Practical Guide. Blackwell Publishing, Malden (2006)

    Google Scholar 

  8. Amazon Web Services, Inc.: What is cloud computing? - Amazon web services. https://aws.amazon.com/what-is-cloud-computing/. Accessed 29 May 2018

  9. Littell, J.H., Corcoran, J.: Systematic reviews. In: The Handbook of Social Work Research Methods (2009)

    Google Scholar 

  10. Gu, Q., Lago, P.: A stakeholder-driven service life cycle model for SOA, pp. 1–7 (2007)

    Google Scholar 

  11. Wall, Q.: Understanding the service lifecycle within a SOA: design time (2006). http://www.oracle.com/technetwork/articles/entarch/soa-service-lifecycle-design3-099306.html. Accessed 29 May 2018

  12. Wall, Q.: Understanding the service lifecycle within a SOA: run time (2006). http://www.oracle.com/technetwork/articles/grid/soa-service-lifecycle-run-099156.html. Accessed 29 May 2018

  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. Matsumura, M.: The definitive guide to SOA governance and lifecycle management, p. 44 (2007)

    Google Scholar 

  15. Bjørner, D.: Software Engineering 1: Abstraction and Modelling. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-31288-9

    Google Scholar 

  16. Bézivin, J.: On the unification power of models. Softw. Syst. Model. 4, 171–188 (2005). https://doi.org/10.1007/s10270-005-0079-0

    Google Scholar 

  17. Bergmayr, A., Wimmer, M., Kappel, G., Grossniklaus, M.: Cloud modeling languages by example, pp. 137–146. IEEE (2014)

    Google Scholar 

  18. Vaquero, L.M., Rodero-Merino, L., Buyya, R.: Dynamically scaling applications in the cloud, vol. 41, no. 1, pp. 45–52 (2011)

    Google Scholar 

  19. Mell, P., Grance, T.: The NIST definition of cloud computing (2011)

    Google Scholar 

  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 

Download references

Acknowledgements

This research is supported by the DIUC_XIV_2016_038 project.

Author information

Authors and Affiliations

  1. Departamento de Ciencias de la Computación, Universidad de Cuenca, Av. 12 de Abril S/N, Cuenca, Ecuador

    Jorge Bermeo Conto, Miguel Zúñiga-Prieto & Lizandro Solano-Quinde

Authors
  1. Jorge Bermeo Conto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Miguel Zúñiga-Prieto
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Lizandro Solano-Quinde
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Miguel Zúñiga-Prieto .

Editor information

Editors and Affiliations

  1. Eindhoven University of Technology, Eindhoven, Noord-Brabant, The Netherlands

    Miguel Botto-Tobar

  2. Computer Science, Politecnica Salesiana University, Cuenca, Ecuador

    Guillermo Pizarro

  3. Facultad de Ingenieria, University of Cuenca, Cuenca, Ecuador

    Miguel Zúñiga-Prieto

  4. Universidad Estatal de Milagro, San Francisco de Milagro, Ecuador

    Mayra D’Armas

  5. Universidad Técnica de Babahoyo, Babahoyo, Ecuador

    Miguel Zúñiga Sánchez

Appendix A. Primary Studies Selected

Appendix A. Primary Studies Selected

[S001]:

Alansari M, Almeida A, Bencomo N, Bordbar B (2015) CloudMPL: A Domain Specific Language for Describing Management Policies for an Autonomic Cloud Infrastructure.

[S002]:

Alfonso C de, Caballer M, Alvarruiz F, Molto G, Hernández V (2011) Infrastructure Deployment Over the Cloud. In: 2011 IEEE Third International Conference on Cloud Computing Technology and Science. pp 517–521.

[S003]:

Bezirgiannis N, Boer F de (2016) ABS: A High-Level Modeling Language for Cloud-Aware Programming. In: SOFSEM 2016: Theory and Practice of Computer Science. Springer, Berlin, Heidelberg, pp 433–444.

[S004]:

Bunch C, Chohan N, Krintz C, Shams K (2011) Neptune: a domain specific language for deploying hpc software on cloud platforms. ACM Press, p 59

[S005]:

Cavaleri A, Cossentino M, Lodato C, Lopes S, Sabatucci L Self-Configuring Mashup of Cloud Applications.

[S006]:

Fan G, Yu H, Chen L (2016) Formally Modeling and Analyzing the Reliability of Cloud Applications. Int J Soft Eng Knowl Eng 26:273–305. https://doi.org/10.1142/s0218194016500121

[S007]:

Johnsen EB, Schlatte R, Tarifa SLT (2013) Modeling Application-Level Management of Virtualized Resources in ABS. In: Formal Methods for Components and Objects. Springer, Berlin, Heidelberg, pp 89–108

[S008]:

Kövesdán G, Asztalos M, Lengyel L Modeling Cloud Messaging with a Domain-Specific Modeling Language. 10

[S009]:

Mangler J, Beran PP, Schikuta E (2010) On the Origin of Services Using RIDDL for Description, Evolution and Composition of RESTful Services. In: Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing. IEEE Computer Society, Washington, DC, USA, pp 505–508

[S010]:

Nassar M, Erradi A, Malluhi QM (2015) A Domain Specific Language for Secure Outsourcing of Computation to the Cloud. In: 2015 IEEE 19th International Enterprise Distributed Object Computing Conference. pp 134–141

[S011]:

Pham LM, Tchana A, Donsez D, Palma N de, Zurczak V, Gibello PY (2015) Roboconf: A Hybrid Cloud Orchestrator to Deploy Complex Applications. In: 2015 IEEE 8th International Conference on Cloud Computing. pp 365–372

[S012]:

Ponte N, Trinta F, Viana R, Andrade R, Garcia V, Assad R (2015) A Service-oriented Architecture for Billing Resources in IaaS Cloud Platforms. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, New York, NY, USA, pp 1719–1721

[S013]:

Silva FAP da, Neto PA da MS, Garcia VC, Trinta FAM, Assad RE (2013) VeloZ: A Charging Policy Specification Language for Infrastructure Clouds. In: 2013 22nd International Conference on Computer Communication and Networks (ICCCN). pp 1–7

[S014]:

Yi X, Huang B, Li C (2014) A Multi-properties Based Description Method of Cloud Manufacturing Services. In: 2014 International Conference on Service Sciences. pp 193–198

[S015]:

Zuñiga-Prieto M, Insfran E, Abrahão S (2016) Architecture Description Language for Incremental Integration of Cloud Services Architectures. In: 2016 IEEE 10th International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Environments (MESOCA). pp 16–23

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Bermeo Conto, J., Zúñiga-Prieto, M., Solano-Quinde, L. (2019). A Systematic Mapping Study of Specification Languages in Cloud Services Development. In: Botto-Tobar, M., Pizarro, G., Zúñiga-Prieto, M., D’Armas, M., Zúñiga Sánchez, M. (eds) Technology Trends. CITT 2018. Communications in Computer and Information Science, vol 895. Springer, Cham. https://doi.org/10.1007/978-3-030-05532-5_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-05532-5_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-05531-8

  • Online ISBN: 978-3-030-05532-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation