A Hybrid Service Selection and Composition Model for Cloud-Edge Computing in the Internet of Things

Mehdi Hosseinzadeh, Quan Thanh Tho, Saqib Ali, Amir Masoud Rahmani, Alireza Souri, Monire Norouzi, Bao Huynh*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

48 Citations (Scopus)


Cloud-edge computing is a hybrid model of computing where resources and services provided via the Internet of Things (IoT) between large-scale and long-term data informs of the cloud layer and small-scale and short-term data as edge layer. The main challenge of the cloud service providers is to select the optimal candidate services that are doing the same work but offer different Quality of Service (QoS) values in IoT applications. Service composition in cloud-edge computing is an NP-hard problem; therefore, many meta-heuristic methods introduced to solve this issue. Also, the correctness of meta-heuristic and machine learning algorithms for evaluating service composition problem should be proven using formal methods to guarantee functional and non-functional specifications. In this paper, a hybrid Artificial Neural Network-based Particle Swarm Optimization (ANN-PSO) Algorithm presented to enhance the QoS factors in cloud-edge computing. To illustrate the correctness and improve the reachability rate of candidate composited services and QoS factors for the proposed hybrid algorithm, we present a formal verification method based on a labeled transition system to check some critical Linear Temporal Logics (LTL) formulas. The experimental results illustrated the high performance of the proposed model in terms of minimum verification time, memory consumption, and guaranteeing critical specifications rules as the Linear Temporal Logic (LTL) formulas. Also, we observed that the proposed model has optimal response time, availability, and price with maximum fitness function value than other service composition algorithms.

Original languageEnglish
Article number9085994
Pages (from-to)85939-85949
Number of pages11
JournalIEEE Access
Publication statusPublished - 2020


  • Cloud-edge computing
  • Internet of Things
  • artificial neural network
  • formal verification
  • particle swarm optimization
  • quality of service
  • service composition

ASJC Scopus subject areas

  • General Engineering
  • General Materials Science
  • General Computer Science


Dive into the research topics of 'A Hybrid Service Selection and Composition Model for Cloud-Edge Computing in the Internet of Things'. Together they form a unique fingerprint.

Cite this