A formal approach for the specification and verification of a Trustworthy Human Resource Discovery mechanism in the Expert Cloud

2018

Int J Communication

Self 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%).

Section: Introductionmentioning

confidence: 99%

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

Souri

Rahmani

2018

Int J Communication

Self Cite

“…checking [4,[12][13][14][15][16][17][18], process algebra [19][20][21][22][23][24], formal concept analysis [25] and theorem proving [26][27][28][29] methods.…”

mentioning

confidence: 99%

A symbolic model checking approach in formal verification of distributed systems

Souri

Rahmani

Hum. Cent. Comput. Inf. Sci.

et al. 2019

Today, distributed systems have developed complex components more and more [1, 2]. By increasing performance of complex systems such as service composition [3], task scheduling [4] and fault tolerance [5], simulation analysis cannot evaluate entire of the system levels [6, 7]. Also, the simulation results are rested to some design under test platforms [8] that omit the part of the existing state space of the system [9]. Formal verification is a mathematically correctness provable approach for the complex distributed systems which is well-suitable for NP-hard problems [10, 11]. Recent scientific studies analyzed their case studies using mathematical verification approaches such as model

“…21 Four aspects of services are offered to the customers, including Software as a Service, 22,23 Platform as a Service, 24,25 Infrastructure as a Service, 26,27 and Expert as a Service. [28][29][30][31][32] However, it has faced to different challenges like scheduling, 33,34 resource allocation, 35 service composition, 36 replication, 37,38 load balancing, 39 energy consumption, 40,41 big data, [42][43][44] and trust management. [45][46][47][48] These challenges have been evaluated by a large number of papers in recent years.…”

mentioning

confidence: 99%

Nature inspired meta‐heuristic algorithms for solving the service composition problem in the cloud environments

Asghari

2018

Int J Communication

Summary Many sorts of services in the cloud environments must be composited based on the user's requests to meet the requirements. Thus, the distributed services are joined to the cloud services through service composition. Also, it is known as NP‐hard problems and many researchers significantly are focused on this problem in recent years. Therefore, many different nature‐inspired meta‐heuristic techniques are proposed for solving this problem. The nature‐inspired meta‐heuristic techniques have an important role in solving the service composition problem in the cloud environments, but there is not a wide‐ranging and detailed paper about reviewing and studying the important mechanisms in this field. Therefore, this study presents a comprehensive analysis of the nature‐inspired meta‐heuristic techniques for the service composition issue in the cloud computing. The review also contains a classification of the important techniques. These classifications include Ant Colony Optimization, Bee Colony Optimization, Genetic Algorithm, Particle Swarm Optimization, Cuckoo Optimization Algorithm, Bat Algorithm, greedy algorithm, and hybrid algorithm. An important aim of this paper is to highlight the emphasis on the optimization algorithms, and the benefits to tackle the challenges are encountered in the cloud service composition. Also, this paper presents the advantages and disadvantages of the nature‐inspired meta‐heuristic algorithms for solving the service composition problem in the cloud environments. Moreover, this paper aims to provide more efficient service composition algorithms in the future. Finally, the obtained results have shown that the discussed algorithms have an important effect in solving the cloud service composition problem, and this effect has been increased in recent years.