Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review

Souri, Alireza; Navimipour, Nima Jafari; Rahmani, Amir Masoud

doi:10.1016/j.csi.2017.11.007

Cited by 90 publications

(52 citation statements)

References 83 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the syntactic‐aware service composition, service providers define common interfaces of the service nodes using service input/output specifications for requested determinations in the cloud . In the syntactic‐aware composition, there are 2 main methods, including orchestration and choreography methods with supporting Web Service Description Language (WSDL), Web Service Choreography Interface (WSCI), and Business Process Execution Language (BPEL) …”

Section: Categorizing Of Selected Service Composition Approachesmentioning

confidence: 99%

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

Souri

Rahmani

Navimipour

2018

Int J Communication

Self Cite

View full text Add to dashboard Cite

Summary Today, service composition is emerging paradigm on the communication networks such as cloud environments, internet of things, wireless sensor network, and software‐defined network. The goal of service composition method is to provide the interactions between user requirements and smart objects of intelligent communication systems. There have been many efforts to use formal verification and behavioral modeling methods to evaluate the service composition mechanisms. Up to now, there is not a comprehensive analysis research on this topic. Therefore, this paper focuses on several formal verification approaches that are performed to confirm the service composition correctness in communication networks. The objective of this paper is to comprehensively categorize and examine current research techniques on formal verification of the service composition. This research analysis provides an overview of recent service composition approaches according to structural and functional properties. Comparison results show that most of the verification approaches in explanation of the service composition correctness are semantic‐aware approach with 43%. The most used verification method for the service composition is model checking with 69%. The process algebra is used 29%, and some theorem proving methods are applied in 9% of the investigated mechanism. Moreover, most widely used modeling tools are NuSMV (22%), SPIN (17%), CPN (12%), UPPAAL (12%), Event‐B (10%), and PAT (5%).

show abstract

Section: Categorizing Of Selected Service Composition Approachesmentioning

confidence: 99%

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

Souri

Rahmani

Navimipour

2018

Int J Communication

Self Cite

View full text Add to dashboard Cite

show abstract

“…A huge amount of resources are available, but all these resources could not be utilized efficiently as even the distributed computing could not use it as efficiently as it should be used . Cloud service providers are classified into three layers including software as a service (SaaS), infrastructure as a service (IaaS), and platform as a service (PaaS) . IaaS suggests virtualized resources such as storage on demand.…”

Section: Introductionmentioning

confidence: 99%

Task scheduling mechanisms in cloud computing: A systematic review

Motlagh

Movaghar

Rahmani

2019

Int J Communication

Self Cite

View full text Add to dashboard Cite

Summary Today, cloud computing has developed as one of the important emergent technologies in communication and Internet. It offers on demand, pay per use access to infrastructure, platforms, and applications. Due to the increase in its popularity, the huge number of requests need to be handled in an efficient manner. Task scheduling as one of the challenges in the cloud computing supports the requests for assigning a particular resource so as to perform effectively. In the resource management, task scheduling is performed where there is the dependency between tasks. Many approaches and case studies have been developed for the scheduling of these tasks. Up to now, a systematic literature review (SLR) has not been presented to discover and evaluate the task scheduling approaches in the cloud computing environment. To overcome, this paper presents an SLR‐based analysis on the task scheduling approaches that classify into (a) single cloud environments that evaluate cost‐aware, energy‐aware, multi‐objective, and QoS‐aware approaches in task scheduling; (b) multicloud environment that evaluates cost‐aware, multi‐objective, and QoS‐aware task scheduling; and (c) mobile cloud environment that is energy‐aware and QoS‐aware task scheduling. The analytical discussions are provided to show the advantages and limitations of the existing approaches.

show abstract

“…Cloud computing is a new paradigm of a service delivery model . The primary aim of cloud computing is providing on‐demand, reliable, scalable, and available services in distributed environments . Recently, it has gained high popularity for its efficient resource usage and convenient service access .…”

Section: Introductionmentioning

confidence: 99%

A method for virtual machine migration in cloud computing using a collective behavior‐based metaheuristics algorithm

Sha

Ebadi

Mavaluru

et al. 2019

Concurrency and Computation

View full text Add to dashboard Cite

Summary Due to the growth of applications and the integration of new customers into the world of computing systems, computing needs to be changed and to become more powerful and flexible than before. Meanwhile, cloud computing is presented as a model beyond a system that is currently capable of answering most request needs. Flexible infrastructure for cloud computing and virtualization technology provide new features to support business activities. Clouds are a very important topic that used secure management tools for storage, security and securing data centers in a flexible manner. One of the important matters in cloud technologies is virtual machine migration (VMM). There are different ways to implement the VMM, but because of the limitation of resources' energy, energy management is also very important and challenging. Due to the NP‐hard nature of this problem, this paper presents an energy‐aware VMM engine for cloud computing using the discrete bacterial foraging algorithm as a new collective behavior‐based metaheuristics algorithm. The CloudSim simulator is employed to investigate the efficiency of this method. The obtained results have shown that the proposed method improves the energy consumption and the migration count.

show abstract

Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review

Cited by 90 publications

References 83 publications

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

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

Task scheduling mechanisms in cloud computing: A systematic review

A method for virtual machine migration in cloud computing using a collective behavior‐based metaheuristics algorithm

Contact Info

Product

Resources

About