Skip to main content

2018 | OriginalPaper | Buchkapitel

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

verfasst von : Flora Amato, Nicola Mazzocca, Francesco Moscato, Fatos Xhafa

Erschienen in: Advances in Internetworking, Data & Web Technologies

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat 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) 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)
2.
Zurück zum Zitat 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) 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)
3.
Zurück zum Zitat 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) 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)
4.
Zurück zum Zitat 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) 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)
5.
Zurück zum Zitat Ranjan, R., Benatallah, B., Dustdar, S., Papazoglou, M.P.: Cloud resource orchestration programming: overview, issues, and directions. Internet Comput. 19(5), 46–56 (2015). IEEECrossRef Ranjan, R., Benatallah, B., Dustdar, S., Papazoglou, M.P.: Cloud resource orchestration programming: overview, issues, and directions. Internet Comput. 19(5), 46–56 (2015). IEEECrossRef
6.
Zurück zum Zitat Feng, G., Buyya, R.: Maximum revenue-oriented resource allocation in cloud. Int. J. Grid Util. Comput. 7(1), 12–21 (2016)CrossRef Feng, G., Buyya, R.: Maximum revenue-oriented resource allocation in cloud. Int. J. Grid Util. Comput. 7(1), 12–21 (2016)CrossRef
7.
Zurück zum Zitat Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software. Pearson Education, Upper Saddle River (1994)MATH Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software. Pearson Education, Upper Saddle River (1994)MATH
8.
Zurück zum Zitat Wilder, B.: Cloud Architecture Patterns: Using Microsoft Azure. O’Reilly Media Inc., Sebastopol (2012) Wilder, B.: Cloud Architecture Patterns: Using Microsoft Azure. O’Reilly Media Inc., Sebastopol (2012)
9.
Zurück zum Zitat Fehling, C., Leymann, F., Rütschlin, J., Schumm, D.: Pattern-based development and management of cloud applications. Future Internet 4(1), 110–141 (2012)CrossRef Fehling, C., Leymann, F., Rütschlin, J., Schumm, D.: Pattern-based development and management of cloud applications. Future Internet 4(1), 110–141 (2012)CrossRef
10.
Zurück zum Zitat 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)CrossRef 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)CrossRef
11.
Zurück zum Zitat 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)CrossRef 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)CrossRef
12.
Zurück zum Zitat 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) 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)
13.
Zurück zum Zitat 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) 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)
14.
Zurück zum Zitat Wooldridge, M.: Agent-based software engineering. In: IEE Proceedings on Software Engineering, pp. 26–37 (1997) Wooldridge, M.: Agent-based software engineering. In: IEE Proceedings on Software Engineering, pp. 26–37 (1997)
15.
Zurück zum Zitat 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)CrossRef 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)CrossRef
16.
Zurück zum Zitat 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) 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)
17.
Zurück zum Zitat 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)CrossRef 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)CrossRef
18.
Zurück zum Zitat Di Domenico, D., Moscato, F.: Automatic monitor generation for cloud services, pp. 547–552 (2015) Di Domenico, D., Moscato, F.: Automatic monitor generation for cloud services, pp. 547–552 (2015)
19.
Zurück zum Zitat Amazon Elastic Compute Cloud. Amazon web services. Accessed 9 Nov 2011 Amazon Elastic Compute Cloud. Amazon web services. Accessed 9 Nov 2011
20.
Zurück zum Zitat Microsoft Developer Network: Cloud Design Patterns: Prescriptive Architecture Guidance for Cloud Applications. Microsoft, New York (2014) Microsoft Developer Network: Cloud Design Patterns: Prescriptive Architecture Guidance for Cloud Applications. Microsoft, New York (2014)
21.
Zurück zum Zitat Fehling, C., Retter, R.: Cloud computing patterns (2011) Fehling, C., Retter, R.: Cloud computing patterns (2011)
22.
Zurück zum Zitat Fehling, C., Leymann, F., Retter, R., Schupeck, W., Arbitter, P.: Cloud Computing Patterns. Springer, Vienna (2014)CrossRef Fehling, C., Leymann, F., Retter, R., Schupeck, W., Arbitter, P.: Cloud Computing Patterns. Springer, Vienna (2014)CrossRef
23.
Zurück zum Zitat 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) 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)
24.
Zurück zum Zitat Amato, F., Moscato, F.: Exploiting cloud and workflow patterns for the analysis of composite cloud services. Future Gener. Comput. Syst. 67, 255–265 (2017)CrossRef Amato, F., Moscato, F.: Exploiting cloud and workflow patterns for the analysis of composite cloud services. Future Gener. Comput. Syst. 67, 255–265 (2017)CrossRef
25.
Zurück zum Zitat Amato, F., Moscato, F.: Pattern-based orchestration and automatic verification of composite cloud services. Comput. Electr. Eng. 56, 842–853 (2016)CrossRef Amato, F., Moscato, F.: Pattern-based orchestration and automatic verification of composite cloud services. Comput. Electr. Eng. 56, 842–853 (2016)CrossRef
26.
Zurück zum Zitat 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) 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)
27.
Zurück zum Zitat 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) 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)
28.
Zurück zum Zitat Amato, F., Barbareschi, M., Casola, V., Mazzeo, A.: An FPGA-based smart classifier for decision support systems. Stud. Comput. Intell. 511, 289–299 (2014) Amato, F., Barbareschi, M., Casola, V., Mazzeo, A.: An FPGA-based smart classifier for decision support systems. Stud. Comput. Intell. 511, 289–299 (2014)
29.
Zurück zum Zitat 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)CrossRef 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)CrossRef
30.
Zurück zum Zitat 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)CrossRef 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)CrossRef
31.
Zurück zum Zitat 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)CrossRef 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)CrossRef
32.
Zurück zum Zitat 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) 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)
33.
Zurück zum Zitat 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) 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)
Metadaten
Titel
A Model Profile for Pattern-Based Definition and Verification of Composite Cloud Services
verfasst von
Flora Amato
Nicola Mazzocca
Francesco Moscato
Fatos Xhafa
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-59463-7_65