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

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.

[1]  Frank Leymann,et al.  Pattern-Based Development and Management of Cloud Applications , 2012, Future Internet.

[2]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[3]  Kishor S. Trivedi,et al.  Reliability and Performability Modeling Using SHARPE 2000 , 2000, Computer Performance Evaluation / TOOLS.

[4]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[5]  Giuseppina Cretella,et al.  Semantic and Agnostic Representation of Cloud Patterns for Cloud Interoperability and Portability , 2013, 2013 IEEE 5th International Conference on Cloud Computing Technology and Science.

[6]  Jacobus E. van der Merwe,et al.  Cloud Resource Orchestration: A Data-Centric Approach , 2011, CIDR.

[7]  Flora Amato,et al.  Exploiting Cloud and Workflow Patterns for the Analysis of Composite Cloud Services , 2017, Future Gener. Comput. Syst..

[8]  R. Rodrigues,et al.  Conductor: orchestrating the clouds , 2010, LADIS '10.

[9]  Francesco Moscato.  Model Driven Engineering and Verification of Composite Cloud Services in MetaMORP(h)OSY , 2014, 2014 International Conference on Intelligent Networking and Collaborative Systems.

[10]  Rocco Aversa,et al.  Model-driven engineering of cloud components in MetaMORP(h)OSY , 2014, Int. J. Grid Util. Comput..

[11]  Flora Amato,et al.  An FPGA-Based Smart Classifier for Decision Support Systems , 2013, IDC.

[12]  Fatos Xhafa,et al.  Data as a Service (DaaS) for Sharing and Processing of Large Data Collections in the Cloud , 2013, 2013 Seventh International Conference on Complex, Intelligent, and Software Intensive Systems.

[13]  Francesco Moscato,et al.  Automatic Monitor Generation for Cloud Services , 2015, 2015 Ninth International Conference on Complex, Intelligent, and Software Intensive Systems.

[14]  Valeria Vittorini,et al.  Solution Workflows for Model-Based Analysis of Complex Systems , 2012, IEEE Transactions on Automation Science and Engineering.

[15]  Flora Amato,et al.  Pattern-based orchestration and automatic verification of composite cloud services , 2016, Comput. Electr. Eng..

[16]  Rocco Aversa,et al.  Critical Systems Verification in MetaMORP(h)OSY , 2014, SAFECOMP Workshops.

[17]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[18]  Raja Lavanya,et al.  Fog Computing and Its Role in the Internet of Things , 2019, Advances in Computer and Electrical Engineering.

[19]  Flora Amato,et al.  Towards Automatic Generation of Hardware Classifiers , 2013, ICA3PP.

[20]  Rajkumar Buyya,et al.  Maximum revenue-oriented resource allocation in cloud , 2016, Int. J. Grid Util. Comput..

[21]  Fatos Xhafa,et al.  Meta-scheduling issues in interoperable HPCs, grids and clouds , 2012, Int. J. Web Grid Serv..

[22]  Flora Amato,et al.  Thermal-Aware Verification and Monitoring of Service Providers in MetaMORP(H)OSY , 2014, 2014 International Conference on Intelligent Networking and Collaborative Systems.

[23]  Sakshi Kaushal,et al.  Deadline constraint heuristic-based genetic algorithm for workflow scheduling in cloud , 2014, Int. J. Grid Util. Comput..

[24]  M. Kunze,et al.  Cloud Federation , 2011 .

[25]  Fatos Xhafa,et al.  Trustworthiness in P2P: performance behaviour of two fuzzy-based systems for JXTA-overlay platform , 2014, Soft Comput..

[26]  Luigi Coppolino,et al.  Runtime Model Checking for SLA Compliance Monitoring and QoS Prediction , 2015, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

[27]  John Sharp,et al.  Cloud Design Patterns: Prescriptive Architecture Guidance for Cloud Applications , 2014 .

[28]  Rajiv Ranjan,et al.  Cloud Resource Orchestration Programming: Overview, Issues, and Directions , 2015, IEEE Internet Computing.

[29]  Hui Li,et al.  Privacy-preserving logistic regression outsourcing in cloud computing , 2013, Int. J. Grid Util. Comput..

[30]  Frank Leymann,et al.  Cloud Computing Patterns , 2014, Springer Vienna.