A hybrid formal verification approach for QoS-aware multi-cloud service composition

A Souri, AM Rahmani, NJ Navimipour, R Rezaei - Cluster Computing, 2020 - Springer
Today, cloud providers represent their individual services with several functional and non-
functional properties in various environments. Discovering and selecting an appropriate …

A QoS-aware composition method supporting cross-platform service invocation in cloud environment

L Qi, W Dou, X Zhang, J Chen - Journal of Computer and System Sciences, 2012 - Elsevier
With the increasing popularity of cloud computing technologies, more and more service
composition processes are enacted and executed in could environment. Compared with the …

Formal verification approaches in the web service composition: a comprehensive analysis of the current challenges for future research

A Souri, AM Rahmani… - International journal of …, 2018 - Wiley Online Library
Today, service composition is emerging paradigm on the communication networks such as
cloud environments, internet of things, wireless sensor network, and software‐defined …

A hybrid service selection and composition model for cloud-edge computing in the internet of things

M Hosseinzadeh, QT Tho, S Ali, AM Rahmani… - IEEE …, 2020 - ieeexplore.ieee.org
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 …

HireSome-II: Towards privacy-aware cross-cloud service composition for big data applications

W Dou, X Zhang, J Liu, J Chen - IEEE Transactions on Parallel …, 2013 - ieeexplore.ieee.org
Cloud computing promises a scalable infrastructure for processing big data applications
such as medical data analysis. Cross-cloud service composition provides a concrete …

A qos‐satisfied prediction model for cloud‐service composition based on a hidden Markov model

Q Wu, M Zhang, R Zheng, Y Lou… - … Problems in Engineering, 2013 - Wiley Online Library
Various significant issues in cloud computing, such as service provision, service matching,
and service assessment, have attracted researchers' attention recently. Quality of service …

Service mining for trusted service composition in cross-cloud environment

T Wu, W Dou, C Hu, J Chen - IEEE Systems Journal, 2014 - ieeexplore.ieee.org
Nowadays, with the cloud's charismatic storage and computation power, more and more
traditional services (social networking service, location-based services, etc.) are being …

Formal quality of service assurances, ranking and verification of cloud deployment options with a probabilistic model checking method

P Kochovski, PD Drobintsev, V Stankovski - Information and Software …, 2019 - Elsevier
Context: Existing software workbenches allow for the deployment of cloud applications
across a variety of Infrastructure-as-a-Service (IaaS) providers. The expected workload …

Secure service composition with information flow control in service clouds

N Xi, C Sun, J Ma, Y Shen - Future Generation Computer Systems, 2015 - Elsevier
Abstract Service clouds built on cloud infrastructures and service-oriented architecture
provide users with a novel pattern of composing basic services to achieve complicated …

Multi-cloud service composition using formal concept analysis

H Mezni, M Sellami - Journal of Systems and Software, 2017 - Elsevier
Recent years have witnessed a rapid growth in exploiting Cloud environments to deliver
various types of resources as services. To improve the efficiency of software development …