On the Performance Evaluation of Cloud Computing Enviroments Metrics using PRISM Model Checker

Abstract

The term cloud computing can be defined as a set of services provided by the service provider to a customer or several clients over the Internet. The performance assessment of cloud computing services is critical and beneficial to both service providers and service consumers. The high performance of services and anything related to Clouds affects users Therefore, we have evaluated the performance of cloud computing by analysis modeling using "PRISM model checker".