Skip to main content
SpringerLink
Log in
Book cover

International Conference on Emerging Internetworking, Data & Web Technologies

EIDWT 2017: Advances in Internetworking, Data & Web Technologies pp 645–656Cite as

A Model Profile for Pattern-Based Definition and Verification of Composite Cloud Services

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes on Data Engineering and Communications Technologies ((LNDECT,volume 6))

Abstract

Scientific community is now spending more and more efforts in defining and developing effective methodologies and technologies in order to easy design and development of Cloud solutions. In order to exploit the features of existing Cloud services and Resources Orchestration becomes a hot research topic. In this scenario, Cloud Designers promote reuse but a clear and simple design and verification methodology still misses in literature. In this scenario, a simple (UML-based) modelling profile and a Model-Driven Engineering methodology for Cloud-based Value Added Services are very appealing. In this work we define a modelling profile able to describe Orchestrated Cloud Services and Resources by means of Cloud Design Patterns and we show how Cloud Designer can use it both to ease composition and verification purposes.

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   169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.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

Notes

  1. 1.

    https://eclipse.org/papyrus/.

  2. 2.

    http://www.cloudpatterns.org/.

  3. 3.

    http://en.clouddesignpattern.org/index.php/CDP:Multi-Datacenter_Pattern.

References

  1. Kurze, T., Klems, M., Bermbach, D., Lenk, A., Tai, S., Kunze, M.: Cloud federation. In: Proceedings of the 2nd International Conference on Cloud Computing, GRIDs, and Virtualization (CLOUD COMPUTING) (2011)

    Google Scholar 

  2. Bonomi, F., Milito, R., Zhu, J., Addepalli, S.: Fog computing and its role in the internet of things. In: Proceedings of the First Edition of the MCC Workshop on Mobile Cloud Computing, pp. 13–16. ACM (2012)

    Google Scholar 

  3. Wieder, A., Bhatotia, P., Post, A., Rodrigues, R.: Conductor: orchestrating the clouds. In: Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, pp. 44–48. ACM (2010)

    Google Scholar 

  4. Liu, C., Mao, Y., Van der Merwe, J., Fernandez, M.: Cloud resource orchestration: a data-centric approach. In: Proceedings of the Biennial Conference on Innovative Data Systems Research (CIDR), pp. 1–8 (2011)

    Google Scholar 

  5. Ranjan, R., Benatallah, B., Dustdar, S., Papazoglou, M.P.: Cloud resource orchestration programming: overview, issues, and directions. Internet Comput. 19(5), 46–56 (2015). IEEE

    Article  Google Scholar 

  6. Feng, G., Buyya, R.: Maximum revenue-oriented resource allocation in cloud. Int. J. Grid Util. Comput. 7(1), 12–21 (2016)

    Article  Google Scholar 

  7. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software. Pearson Education, Upper Saddle River (1994)

    MATH  Google Scholar 

  8. Wilder, B.: Cloud Architecture Patterns: Using Microsoft Azure. O’Reilly Media Inc., Sebastopol (2012)

    Google Scholar 

  9. Fehling, C., Leymann, F., Rütschlin, J., Schumm, D.: Pattern-based development and management of cloud applications. Future Internet 4(1), 110–141 (2012)

    Article  Google Scholar 

  10. Verma, A., Kaushal, S.: Deadline constraint heuristic-based genetic algorithm for workflow scheduling in cloud. Int. J. Grid Util. Comput. 5(2), 96–106 (2014)

    Article  Google Scholar 

  11. Zhu, X.D., Li, H., Li, F.H.: Privacy-preserving logistic regression outsourcing in cloud computing. Int. J. Grid Util. Comput. 4(2–3), 144–150 (2013)

    Article  Google Scholar 

  12. Moscato, F.: Model driven engineering and verification of composite cloud services in metamorp(h)osy. In: Proceedings of 6th, International Conference on Intelligent Networking and Collaborative Systems INCoS-2014. IEEE (2014)

    Google Scholar 

  13. Aversa, R., Martino, B., Moscato, F.: Critical systems verification in metamorp(h)osy. In: Bondavalli, A., Ceccarelli, A., Ortmeier, F. (eds.) SAFECOMP 2014. LNCS, vol. 8696, pp. 119–129. Springer, Cham (2014)

    Google Scholar 

  14. Wooldridge, M.: Agent-based software engineering. In: IEE Proceedings on Software Engineering, pp. 26–37 (1997)

    Google Scholar 

  15. Moscato, F., Amato, F., Amato, A., Aversa, R.: Model-driven engineering of cloud components in metamorp(h)osy. Int. J. Grid Util. Comput. 5(2), 107–122 (2014)

    Article  Google Scholar 

  16. Moscato, F., Amato, F.: Thermal-aware verification and monitoring of service providers in metamorp(h)osy. In: Proceedings of 6th International Conference on Intelligent Networking and Collaborative Systems INCoS-2014. IEEE (2014)

    Google Scholar 

  17. Mens, T., Van Gorp, P.: A taxonomy of model transformation. Electron. Notes Theor. Comput. Sci. 152, 125–142 (2006). Proceedings of the International Workshop on Graph and Model Transformation (GraMoT 2005), Graph and Model Transformation (2005)

    Article  Google Scholar 

  18. Di Domenico, D., Moscato, F.: Automatic monitor generation for cloud services, pp. 547–552 (2015)

    Google Scholar 

  19. Amazon Elastic Compute Cloud. Amazon web services. Accessed 9 Nov 2011

    Google Scholar 

  20. Microsoft Developer Network: Cloud Design Patterns: Prescriptive Architecture Guidance for Cloud Applications. Microsoft, New York (2014)

    Google Scholar 

  21. Fehling, C., Retter, R.: Cloud computing patterns (2011)

    Google Scholar 

  22. Fehling, C., Leymann, F., Retter, R., Schupeck, W., Arbitter, P.: Cloud Computing Patterns. Springer, Vienna (2014)

    Book  Google Scholar 

  23. Di Martino, B., Cretella, G., Esposito, A.: Semantic and agnostic representation of cloud patterns for cloud interoperability and portability. In: Proceedings of the 5th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), pp. 182–187 (2013)

    Google Scholar 

  24. Amato, F., Moscato, F.: Exploiting cloud and workflow patterns for the analysis of composite cloud services. Future Gener. Comput. Syst. 67, 255–265 (2017)

    Article  Google Scholar 

  25. Amato, F., Moscato, F.: Pattern-based orchestration and automatic verification of composite cloud services. Comput. Electr. Eng. 56, 842–853 (2016)

    Article  Google Scholar 

  26. Cicotti, G., Coppolino, L., D’Antonio, S., Romano, L.: Runtime model checking for SLA compliance monitoring and QOS prediction. J. Wirel. Mob. Netw. Ubiquit. Comput. Dependable Appl. 6(2), 4–20 (2015)

    Google Scholar 

  27. Terzo, O., Ruiu, P., Bucci, E., Xhafa, F.: Data as a service (DaaS) for sharing and processing of large data collections in the cloud. In: Seventh International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS), pp. 475–480. IEEE (2013)

    Google Scholar 

  28. Amato, F., Barbareschi, M., Casola, V., Mazzeo, A.: An FPGA-based smart classifier for decision support systems. Stud. Comput. Intell. 511, 289–299 (2014)

    Google Scholar 

  29. Amato, F., Barbareschi, M., Casola, V., Mazzeo, A., Romano, S.: Towards automatic generation of hardware classifiers. In: Aversa, R., Kołodziej, J., Zhang, J., Amato, F., Fortino, G. (eds.) ICA3PP 2013. LNCS, vol. 8286, pp. 125–132. Springer, Cham (2013)

    Chapter  Google Scholar 

  30. Spaho, E., Sakamoto, S., Barolli, L., Xhafa, F., Ikeda, M.: Trustworthiness in P2P: performance behaviour of two fuzzy-based systems for JXTA-overlay platform. Soft Comput. 18(9), 1783–1793 (2014)

    Article  Google Scholar 

  31. Bessis, N., Sotiriadis, S., Xhafa, F., Pop, F., Cristea, V.: Meta-scheduling issues in interoperable hpcs, grids and clouds. Int. J. Web Grid Serv. 8(2), 153–172 (2012)

    Article  Google Scholar 

  32. Hirel, C., Sahner, R., Zang, X., Trivedi, K.: Reliability and performability modeling using sharpe 2000. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) Computer Performance Evaluation. Modelling Techniques and Tools, vol. 1786. LNCS, pp. 345–349. Springer, Heidelberg (2000)

    Google Scholar 

  33. Moscato, F., Vittorini, V., Amato, F., Mazzeo, A., Mazzocca, N.: Solution workflows for model-based analysis of complex systems. IEEE Trans. Autom. Sci. Eng. 9(1), 83–95 (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DIETI, University of Naples Federico II, Naples, Italy

    Flora Amato & Nicola Mazzocca

  2. DiSciPol, University della Campania Luigi Vanvitelli, Caserta, Italy

    Francesco Moscato

  3. Department of Computer Science, Technical University of Catalonia, Barcelona, Spain

    Fatos Xhafa

Authors
  1. Flora Amato
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nicola Mazzocca
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Francesco Moscato
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Fatos Xhafa
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Francesco Moscato .

Editor information

Editors and Affiliations

  1. Fukuoka Institute of Technology, Fukuoka, Japan

    Leonard Barolli

  2. School of Computer Sciences, Hubei University of Technology, Wuhan, China

    Mingwu Zhang

  3. Department of Electronic Technology, Key, Engineering University of CAPF, Xi’an, Xizang, China

    Xu An Wang

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Cite this paper

Amato, F., Mazzocca, N., Moscato, F., Xhafa, F. (2018). A Model Profile for Pattern-Based Definition and Verification of Composite Cloud Services. In: Barolli, L., Zhang, M., Wang, X. (eds) Advances in Internetworking, Data & Web Technologies. EIDWT 2017. Lecture Notes on Data Engineering and Communications Technologies, vol 6. Springer, Cham. https://doi.org/10.1007/978-3-319-59463-7_65

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-59463-7_65

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-59462-0

  • Online ISBN: 978-3-319-59463-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation