A hybrid formal verification approach for QoS-aware multi-cloud service composition
- PDF / 1,861,306 Bytes
- 18 Pages / 595.276 x 790.866 pts Page_size
- 96 Downloads / 209 Views
(0123456789().,-volV)(0123456789(). ,- volV)
A hybrid formal verification approach for QoS-aware multi-cloud service composition Alireza Souri1
•
Amir Masoud Rahmani1 • Nima Jafari Navimipour2 • Reza Rezaei3
Received: 9 April 2019 / Revised: 25 July 2019 / Accepted: 13 November 2019 Springer Science+Business Media, LLC, part of Springer Nature 2019
Abstract Today, cloud providers represent their individual services with several functional and non-functional properties in various environments. Discovering and selecting an appropriate atomic service from a pool of activated services are a main challenge in the multi-cloud service composition. Minimizing the number of cloud providers is a critical matter in the service composition problem, which effects on energy consumption, response time and total cost. This paper presents a hybrid formal verification approach to assess the service composition in multi-cloud environments though the decreasing number of cloud providers to gain final service composition with a high level of Quality of Service (QoS). The presented approach provides behavioral modeling to examine the procedure of user’ requests, service selection, and composition in a multi-cloud environment. Also, the proposed approach permits analysis of the service composition using a Multi-Labeled Transition Systems (MLTS)-based model checking and Pi-Calculus-based process algebra methods for monitoring the functional specifications and non-functional properties as the QoS standards. In addition, the proposed approach satisfies the functional properties for the multi-cloud service composition. The experimental results proved the feasibility of the proposed approach with performance evaluations and some confirmation setups. Keywords Service composition Multi-clouds Verification QoS Specification
1 Introduction In recent years, cloud computing helps information technology-based organizations to subcontract web service applications [1, 2]. Development growth of this technology has replaced current practices [3]. Cloud environment redirects the distribution of web services, including cloud providers, and smart applications over the internet [4]. There are many reasons to consider cloud computing over general server-based computing, few of the reasons are cost
& Alireza Souri [email protected] 1
Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran
2
Department of Computer Engineering, Tabriz Branch, Islamic Azad University, Tabriz, Iran
3
Department of Computer Engineering, College of Technical and Engineering, West Tehran Branch, Islamic Azad University, Tehran, Iran
efficiency, high speed, global scale, productivity, performance, and reliability [5, 6]. The multi-cloud environment is considered by a set of simultaneous cloud providers such as private and public clouds to perform a set of appropriate services. The concept of Multi-Cloud Service Composition (MCSC) approach is applied to the process of numerous cloud service aggregations for gener
Data Loading...
