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

作者: Flora Amato , Nicola Mazzocca , Francesco Moscato , Fatos Xhafa

DOI: 10.1007/978-3-319-59463-7_65

关键词: Cloud computing securitySoftware design patternCloud computingCloud testingOrder (business)ExploitEngineeringSystems engineeringOrchestration (computing)Reuse

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

参考文章(29)
Flora Amato, Mario Barbareschi, Valentina Casola, Antonino Mazzeo, An FPGA-Based Smart Classifier for Decision Support Systems Studies in Computational Intelligence. pp. 289- 299 ,(2014) , 10.1007/978-3-319-01571-2_34
Flora Amato, Mario Barbareschi, Valentina Casola, Antonino Mazzeo, Sara Romano, Towards Automatic Generation of Hardware Classifiers Algorithms and Architectures for Parallel Processing. pp. 125- 132 ,(2013) , 10.1007/978-3-319-03889-6_14
Rocco Aversa, Beniamino Di Martino, Francesco Moscato, Critical Systems Verification in MetaMORP(h)OSY international conference on computer safety, reliability, and security. pp. 119- 129 ,(2014) , 10.1007/978-3-319-10557-4_15
Davide Di Domenico, Francesco Moscato, Automatic Monitor Generation for Cloud Services complex, intelligent and software intensive systems. pp. 547- 552 ,(2015) , 10.1109/CISIS.2015.81
Richard Helm, John Vlissides, Ralph Johnson, Erich Gamma, Design Patterns: Elements of Reusable Object-Oriented Software ,(1994)
C. Hirel, R. Sahner, X. Zang, K. Trivedi, Reliability and Performability Modeling Using SHARPE 2000 Lecture Notes in Computer Science. pp. 345- 349 ,(2000) , 10.1007/3-540-46429-8_28
Rajiv Ranjan, Boualem Benatallah, Schahram Dustdar, Michael P. Papazoglou, Cloud Resource Orchestration Programming: Overview, Issues, and Directions IEEE Internet Computing. ,vol. 19, pp. 46- 56 ,(2015) , 10.1109/MIC.2015.20
Christoph Fehling, Frank Leymann, Jochen Rütschlin, David Schumm, Pattern-Based Development and Management of Cloud Applications Future Internet. ,vol. 4, pp. 110- 141 ,(2012) , 10.3390/FI4010110
Olivier Terzo, Pietro Ruiu, Enrico Bucci, Fatos Xhafa, Data as a Service (DaaS) for Sharing and Processing of Large Data Collections in the Cloud complex, intelligent and software intensive systems. pp. 475- 480 ,(2013) , 10.1109/CISIS.2013.87
Francesco Moscato, Model Driven Engineering and Verification of Composite Cloud Services in MetaMORP(h)OSY 2014 International Conference on Intelligent Networking and Collaborative Systems. pp. 635- 640 ,(2014) , 10.1109/INCOS.2014.38