Skip to main content

Uncertainty-aware workflow migration among edge nodes based on blockchain


Workflow is one of the most typical applications in distributed computing, which makes a variety of complex computing work orderly. However, assigning workflow tasks to nodes in the process of multi-node collaboration is still a challenge, because there are some unpredictable emergencies, i.e., uncertainty, in the process of workflow scheduling. The paper proposes a blockchain-powered resource provisioning (BPRP) method to solve the above problems. Technically, we use the directed acyclic graph in the graph theory to represent the workflow task and optimize the workflow scheduling strategy in the presence of uncertainty. The processing time and energy consumption of workflow tasks are also optimized by using non-dominated sorting genetic algorithm III (NSGA-III). Finally, we carry out experimental simulations to verify the effectiveness of the proposed method.

1 Introduction

1.1 Background

With the advent of 5G era, various new applications of mobile Internet emerge in endlessly, the basic framework of smart city has been further improved, and people’s intelligent living standards have also been greatly improved. The operation of a city produces a large number of data [1], and the organization of the facts carried by these data forms valuable information products and promote the development of the city in an efficient, convenient, and low-carbon direction. The information resource center is the cornerstone of the construction of smart cities [2, 3]. At the same time, the frequent use of mobile devices consumes a lot of bandwidth resources, and the processing efficiency of local mobile devices has been unable to meet the high-quality services required by users [47] [8]. Therefore, computing tasks are migrated to the cloud data center (CDC) for execution.

Cloud computing divides huge computing processing programs into innumerable smaller subroutines automatically through the network and then submits them to a system composed of multiple servers [9]. After processing by searching, computing, and analysis, the results are returned to users [10]. In the cloud platform, users use computing resources in the form of the lease, and computing resources are provided in the form of virtual machines (VMs) [11]. Users perform migrated computing tasks by accessing the shared pool of computing resources in the cloud. Nevertheless, due to the long distance between mobile devices and the cloud, cloud computing will cause data transmission delay [12] that cannot be ignored when it is used, which brings a lot of problems to delay-sensitive networks in smart cities [13].

In order to meet the requirements of low latency and high bandwidth in the 5G era, cloud computing and Mobile Edge Computing (MEC) are integrated; that means the cloud platform is migrated from the inside of the mobile network to the edge of the mobile network to realize the flexible utilization of computing resources. The integration of cloud computing and MEC make full and reasonable use of network computing resources [14], thus improving the quality of service and user experience.

In order to achieve orderly and efficient utilization of computing resources, the workflow is introduced to simulate scientific applications requiring huge computing resources [15, 16]. Workflow refers to a kind of business process that can be fully automated. According to a series of different pre-set rules, information or computing tasks are transmitted and executed among different executives. Workflow is represented by data as interrelated computing tasks [17, 18]. The process of mapping computing tasks in a workflow to computing resources in the cloud resource sharing pool is called workflow scheduling. Workflow scheduling problems are divided into two categories: independent task scheduling and interdependent task scheduling. In the former, a task is an independent entity and does not depend on other tasks. In the latter, there is a dependency relationship between a group of tasks, which means that in a workflow, only when the parent task is completed can the task begin to execute, which is relatively complex. In the paper, the above two cases are considered at the same time.

In the process of workflow scheduling, there are some unexpected situations, such as resource conflicts, node failures and so on, namely uncertainty [19]. Uncertainty makes the initial static scheduling strategy unable to work properly, which brings great challenges to workflow scheduling. In order to ensure that tasks are completed on time, a new real-time dynamic scheduling strategy is needed to deal with the affected tasks. When the task is dependent on other tasks, the scheduling of its subtasks should also be considered.

1.2 Motivation

By using the appropriate allocation method, the workflow system can select the most suitable participants to perform tasks, thus improving the efficiency of workflow operation and quality of service [20]. Traditional business workflow is usually driven by control flow, which is used to specify paths and constraints, and may require manual intervention [21]. In the paper, we use the permissioned private blockchain to record the real-time status of each edge node in the system and the workflow scheduling scheme used in the current system. The essence of blockchain is a distributed public account, which is checked by edge nodes in the system [22]. All the edge nodes which participated in the blockchain system maintain the updating of the account book. The account book is modified in accordance with strict rules and consensus. The linkage mechanism of blockchain makes it multi-consensus, record traceability, and non-tampering. This makes the state of an edge node to be broadcast to other nodes in the system in real-time and reliably, thus making the workflow scheduling strategy more efficient and intelligent [23].

In the blockchain, each task corresponds to a block. The blockchain consists of some connected blocks. Each block contains two parts: block head and block body. The block head records the meta-information of the current block, such as the generation time, the hash value of the current block, and the hash value of the previous block, and the block body record task’s actual data. The effectiveness of each block is verified by calculating its own hash value and the hash value of the previous block. When a task block is generated, all edge nodes compete for the right to record the block [24]. The successful node broadcasts the transaction to other edge nodes, notifies them to stop competing for the right to record, and adds the task block to the blockchain after obtaining the consent of more than half of the other edge nodes [25]. As a result, blockchain is used as public accounts to record edge node status and real-time scheduling strategy, which ensures the security of data flow and reduces the impact of uncertainty on workflow scheduling [2629].

1.3 Paper contributions

The main contributions of the paper are as follows:

  • We present basic concepts and definitions to analyze the processing time of tasks and the energy consumption of edge nodes in workflow scheduling in the hybrid environment of cloud computing and edge computing.

  • We propose a blockchain-powered resource provisioning (BPRP) for uncertainties in the workflow scheduling process, which uses directed acyclic graph to represent the workflow of each edge node, and the success rate of tasks which are affected by uncertainties is quantified.

  • Non-dominated sorting genetic algorithm III (NSGA-III) is used to optimize multi-objective, which reduces the processing time and energy consumption of workflow scheduling.

  • Numerous simulations confirm the validity of BPRP. The simulation results show that the method effectively reduces energy consumption and execution time and solve the uncertainty problem.

The rest of the paper is as follows. Section 2 presents the basic concepts and model formulas. Section 3 describes the resource scheduling method based on blockchain. In Section 4, simulation experiments are given, which show the performance of our method. Section 5 describes the relevant work. Finally, Section 6 summarizes the conclusions and future work.

2 System model and problem formulation

In this section, basic concepts and definitions for the workflow scheduling based on edge computing are introduced. In addition, the energy consumption and the execution time of workflow scheduling are also analyzed. Key terms and the descriptions are listed in Table 1.

Table 1 Key Terms and Descriptions Terms Descriptions

2.1 Basic concepts

Edge computing sinks computing tasks into the vicinity of the wireless access network, i.e., the base station, and provides the services and computing functions required by mobile devices through the wireless access network. On the basis of the smart city, we establish a mobile computing model based on mobile edge computing. Each base station is defined as an edge node, which provides computing resources for nearby mobile devices. Suppose there are N edge nodes deployed is the edge computing environmental, denoted as E={e1,e2,...,eN}.

Let S={s1,s2,...,sM} be the set of mobile devices, where M is the amount of mobile services. Each mobile device in S generates workflows when task arrives, which schedules its computing tasks to different edge nodes to get sufficient computing resources. Ti={t1,t2,...,tQ} represents set of workflow tasks, where Q is the amount of it. The edge nodes in E provide computing resources for tasks in T; in other words, tasks are scheduled to different edge nodes for execution.

Definition 1 Dependencies among workflows.There are dependencies among some workflow tasks [30]; in order to express these relationships clearly, we use a direct acyclic graph G=(T, D) to model workflow operations, where D is the set of dependencies between workflow tasks. Each dependency is in the form of directed edge di, j=(ti,tj) (1<i, jQ), which means only when the task ti is completed can the task tj begin. The dependencies of tasks in the workflow can be calculated by conditional probability [21].

2.2 Completion time analysis of workflow

All workflows constitute a directed acyclic graph. In order to reduce the processing time of workflow, we find critical paths to meet the deadlines of workflow tasks. In order to simplify the problem, we add two virtual tasks tstart and tlast at the beginning and end of the workflow to ensure the single entry and single output of tasks.

Definition 2 Parent tasks.Due to the dependencies among the tasks, a task ti (i={1,2,...,Q}) can start only when all its parent tasks are finished. We use the set P(ti) (i={1,2,...,Q}) to represents parent tasks of the ith task.

The earliest start time of each task in a workflow is obtained from the earliest start time of its parent task, and the start time of the task t1 is regarded as zero. The earliest start time of the ith (i={1,2,...,Q}) task is calculated by:

$$ {}ES({t_{i}}) = \left\{ {\begin{array}{*{20}{c}} {0,i = \text{start},}\\ {\max (ES({t_{j}}) + TD({t_{j}},{t_{i}}) + ED({t_{j}})),0 < i \le Q,{t_{j}} \in P({t_{i}}),} \end{array}} \right. $$

where TD(ti,tj) represents the transmission delay between the parent tasks and the task ti (i={1,2,...,Q}) itself, and TD(ti,tj) denotes the minimum execution delay of the parent tasks. The earliest start time of the task ti (i={1,2,...,Q}) means that all parent tasks before it is completed as early as possible.

Therefore, the earliest finish time of the task ti (i={1,2,...,Q}) is calculated by:

$$ EF({t_{i}}) = ES({t_{i}}) + ED({t_{i}}). $$

Definition 3 Children tasks.The set C(ti) represents the subtasks, i.e., the children tasks of the task ti (i={1,2,...,Q}). The children tasks of the task ti (i={1,2,...,Q}) can start only when it is finished.

Let LF(ti) be the latest finish time of the task ti (i={1,2,...,Q}), which is defined as:

$$ {}LF({t_{i}}) = \left\{{\begin{array}{*{20}{c}} {D,i = \text{last},}\\ {\min (LF({t_{j}}) - TD({t_{i}},{t_{j}}) - ED({t_{j}})),0 < i \le Q,{t_{j}} \in C({t_{i}}),} \end{array}} \right. $$

where D is the deadline of the whole workflow which is determined by the mobile users themselves. The latest finish time of the task ti (i={1,2,...,Q}) means the latest completion time without delaying the completion of subsequent children tasks and workflows.

Definition 4 Parent critical path.The parent critical path of a task ti (i={1,2,...,Q}) represents the critical parent task tj (j={1,2,...,Q}) of task ti and the parent critical path of tj if it exists [1].

The task sequence on the parent critical path of the task ti (i={1,2,...,Q}) is Si=(p1,p2,...,pH) (i={1,2,...,Q}), where H is the amount of the tasks. The deadline of Si is denoted as:

$$ DL({S_{i}}) = LF({p_{H}}) - ES({p_{1}}). $$

Each task needs to be completed before its deadline. Assume that the task pj in Si corresponds to the task ti in T, then the deadlines [31] of each task on the parent critical path is calculated by:

$$ DL({p_{j}}) = \frac{{EF({p_{j}}) - ES({p_{1}})}}{{EF({P_{H}}) - ES({P_{1}})}} \times (LF({p_{H}}) - ES({p_{1}})), $$
$$ DL({t_{i}}) = DL({p_{j}}). $$

After determining the deadlines of each task on the parent critical path, the unallocated tasks on the parent critical path will be allocated with optimal edge nodes according to the scheduling strategies.

2.3 Energy consumption analysis of workflow scheduling

In our model, we also consider the energy consumption in workflow scheduling and strive to minimize it. Firstly, we use a variable αi, k to represent the allocation status between the task ti in T and the edge node ek in E. If the task ti is allocated to the edge node ek, αi, k=1; otherwise, αi, k=0. Therefore, the energy consumption of workflow scheduling is denoted by:

$$ EC = \sum\limits_{i = 1}^{Q} {\sum\limits_{k = 1}^{N} {{\alpha_{i,k}} \cdot t{e_{i,k}} + \sum\limits_{i = 1}^{Q} {e{e_{i}}}} }, $$

where tei, k is the transmission energy consumption which is generated when the task ti is transferred to the edge node ek, and eei represents the execution energy consumption pf the task ti. The eei is determined by the size of the computing tasks.

2.4 Success rate analysis of workflow rescheduling

Finally, we will evaluate the success rate of workflow rescheduling. Assume that there are A tasks needed to be rescheduled because of the uncertainties. The variable βv (v={1,2,...,A}) denotes whether the task tv is successfully completed or not.

$$ {\beta_{v}} = \left\{ {\begin{array}{*{20}{c}} {1,RC({t_{v}}) \le DL({t_{v}}),}\\ {0,\text{otherwise}.} \end{array}} \right. $$

where RT(ti) is the real completion time of the task ti in T. Whether the actual completion time of a task is prior to its limited deadline is the criterion to determine whether the task is rescheduled successfully.

Consequently, the success rate of workflow rescheduling is calculated by:

$$ SR = \frac{1}{A}\sum\limits_{v = 1}^{A} {{\beta_{v}}}. $$

2.5 Problem definition

From the foregoing, execution time and energy consumption of the workflow are analyzed and quantified. In this paper, we aim to achieve the goal of minimizing the execution time variance and reducing the energy consumption presented in Eq.(7) while optimizing the workflow scheduling strategies. The multi-objective optimization problem is formulated by:

$$ \min (RT({t_{last}})),\min (EC), $$
$$ s.t.\forall {t_{i}},RT({t_{i}}) \le DL({t_{i}}). $$

3 Blockchain-powered resource provisioning method in edge computing

In this paper, a blockchain-powered resource provisioning (BPRP) is proposed to resolve the uncertainty during workflow scheduling. Firstly, blockchain is adopted to record the strategy of workflow scheduling and help all edge nodes to learn the strategy. Then, NSGA-III is employed to select balanced strategies, which is a multi-objective optimization problem. Finally, the optimal scheduling strategy is obtained by the SAW (simple additive weighting) and MCDM (multiple-criteria decision-making).

3.1 Select balanced workflow scheduling strategy using NSGA-III

3.1.1 Encoding

Each task in the workflow is numbered and given a value, which is expressed by integers. In GA, the value of each task is viewed as a gene and represents that the task is migrated to an edge node with a corresponding number. The strategies of the workflow, consists of the scheduling strategies of all tasks, is treated as a chromosome.

3.1.2 Fitness function

Fitness functions are critical metrics to ensure the diversity of the solutions in genetic algorithms (GA). In this paper, the fitness functions of the total energy consumption and the completion time are given in Eq.(3) and Eq.(7), respectively. To evaluate the performance of our method, these functions need to be normalized and minimized.

3.1.3 Initialization

Before performing NSGA-III, some critical parameters need to be given for initialization, including the number of iterations Itn and the size of the population Cp, i.e., the number of the chromosomes. The crossover probability pc and the mutation probability pm are initialized to ensure diversity of the iterative results.

3.1.4 Crossover and mutation

The crossover is the core in GA, and the crossover distinguishes GA from other evolutionary algorithms. After the positions of the intersections are determined, two individuals exchange partial gene fragments to obtain an effective search in the string space, and excellent traits are inherited by the offspring. The specific crossover operation is shown in Fig. 1. The genes g3 and g4 in the chromosome p1 and p2 are selected as intersections, and two new chromosomes are generated after gene exchange. The mutation prevents the population from falling into local optimum by modifying part of the gene fragment in the chromosome. The specific mutation operation is shown in Fig. 2. The gene fragments g3 and g4 in the chromosome p1 are modified to obtain a new chromosome, which has a higher fitness value.

Fig. 1
figure 1

Example of the crossover

Fig. 2
figure 2

Example of the mutation

3.1.5 Selection

In NSGA-III, a set of reference points is first defined for further association with individuals, and reference points solve poor diversity caused by the crowded distance used in NSGA-II, which easily leads to the algorithm falling into local optimum. Next, the initial population Pot of size Cp is randomly generated. The population Mt of size 2Cp is composed of the initial population Pot and the offspring population Qt which is processed by the crossover and the mutation.

To select the best Cp individuals from the population Mt for the next generation, the fitness value of each individual is calculated, and the non-dominated sorting based on Pareto dominance divides the population Mt into different non-dominated layers according to the fitness values. FL={F1,F2,...FK} is employed to represent each layer, and individuals with lower fitness values are divided into lower layers. From the first level, the individuals are selected into the offspring population Mt+1 until the size of Mt+1 is equal to Cp. Suppose that FH is the largest acceptable layer, the individuals in larger layers are discarded. However, if all individuals in FH are received, the size of the population Mt+1 may be larger than Cp. Unlike the crowded distance-based approach in NSGA-II, reference point-based approach is employed to select the appropriate individuals from FH in NSGA-III.

The normalization is a key part of the reference point-based approach. First, the ideal points, i.e., the minimum values of the population targets, are calculated for further scalarization and the scalar formulas are given below:

$$ R{T_{n}} = RT - R{T_{\min }}, $$
$$ E{C_{n}} = EC - E{C_{\min }}. $$

where RTmin and ECmin are the minimum of the completion time and energy consumption, respectively.

Then, each fitness function is viewed as an axis and the ideal point is the origin. There is a maximum value for each fitness function, which is connected to the respective origin, and the intercept is determined by the intersection of the line and the coordinate axis. The normalized equations are given in Eq.(14) and Eq.(15).

$$ R{T_{t}} = \frac{{R{T_{n}}}}{{{a_{rt}} - R{T_{\min }}}}, $$
$$ E{C_{t}} = \frac{{E{C_{n}}}}{{{a_{ec}} - E{C_{\min }}}}. $$

where art and aec are the intercepts.

The reference points are equidistantly distributed on the axis and the individuals are connected to these reference points for selection. When selecting the remaining individuals, a principle needs to be followed, i.e., the individuals corresponding to the reference points with fewer connections should be retained to ensure diversity. Therefore, if one reference point has little links in the previous layers, the corresponding closest individual in FH is selected into Mt+1, and the process continues until the size of Mt+1 is equal to Cp.

3.2 Assess the strategy using sAW and mCDM

In our paper, SAW and MCDM are used for evaluating the scheduling strategy. Since the completion time and the total energy consumption satisfy a certain degree of independence, different weights are specified to determine better strategies. The utility function is given as follows:

$$ val = {\chi_{rt}} \cdot R{T_{t}} + {\chi_{ec}} \cdot E{C_{t}}. $$

where χrt and χec are the weights of the completion time and the total energy consumption, respectively.

In Algorithm 1, the size of population Cp, the number of iterations Itn, the crossover probability pc, and the mutation probability pm are inputs. After initializing the population Pot by the fitness functions, the population Mt is also determined. In the process of selecting the next generation, more balanced scheduling strategies are selected after each iteration. Finally, scheduling strategies R with higher utility values are selected through SAW and MCDM.

3.3 Deal with the uncertainty during the workflow scheduling

In the process of workflow scheduling, scheduling strategies are usually dynamically changed. Due to network congestion and performance degradation, new strategies need to be developed to further optimize the completion time and total energy consumption. It is assumed that the uncertainty is generated when the task ti is executed, the task ti and other tasks on the path where ti is located, i.e., the affected subsequent tasks, need to be organized into a new workflow for rescheduling. The corresponding new blocks are generated and added to the blockchain. In the process of admitting the transaction by other edge nodes, new scheduling strategies are simultaneously added to the task execution list by all edge nodes for updating.

3.4 Method view

In this paper, to address the uncertainty generated during the workflow scheduling, a blockchain-based resource provisioning method is proposed. During the scheduling process, the scheduling strategy for each task in the workflow is treated as a transaction and added to the blockchain. The transactions need to be recognized by all miners, i.e., edge nodes, so it is necessary to reduce the completion time and total energy consumption as much as possible. NSGA-III is able to perform well in this multi-objective optimization problem. First, NSGA-III is adopted to determine initial workflow scheduling strategies and new transactions are appended to the blockchain. Afterward, better scheduling strategies are selected by the utility function. Finally, the workflow will be rescheduled if the uncertainty is generated.

The proposed BPRP is summarized in Algorithm 2. First, the inputs are initial scheduling strategies R and the number of the affected tasks Un. After the uncertainty is generated, the workflow is rescheduled and new scheduling strategies Rn are generated (lines 1–3). The new transactions corresponding to the new scheduling strategies also need to be recognized by all edge nodes. Finally, the deadline for each task in the workflow is determined, and the success rate is calculated by the efficiency of solving the affected tasks (lines 4–11).

4 Experimental evaluation

In this section, to evaluate the feasibility of our method BPRP, some experiments are performed to test the performance under simulated conditions. First, the simulated environment is built and the experiments are evaluated through some metrics. Afterward, comparative experiments are performed to compare with our method. Finally, the experimental results are assessed.

4.1 Experimental context

In our experiments, the workflows with different tasks are employed to simulate applications in mobile devices, and the number of tasks is set to 50, 100, 150, 200, 250, and 300, respectively. There are a total of 30 edge nodes, and different VMs are placed on these edge nodes to simulate different processing capabilities [32] [33]. Some other key parameters are described in Table 2.

Table 2 Parameter settings

Benchmark, First Fit (FF), and Next Fit (NF) are three algorithms that are chosen for comparison. The detailed introductions are given as follows.

(1) Benchmark: Each task in the workflow is migrated to a random edge node in order until all tasks have their own scheduling strategies. If the uncertainty arises while performing a task, new scheduling strategies are not regenerated. In our design, the affected tasks will continue to be executed until the tasks are completed.

(2) First Fit: The tasks in the workflow are preferentially migrated to the nearest edge nodes. If an edge node is unable to provide enough computing resources, a farther edge node will accept the task. Moreover, new scheduling strategies are regenerated when uncertainty occurs.

(3) Next Fit: Unlike First Fit, this method does not seek service from the nearest edge node every time, but instead searches from the edge node that last provided the service.

These scheduling strategies are implemented on a laptop PC with Intel Core i7-7700HQ 2.80 GHz processors and 8G RAM.

4.2 Performance assessment of bPRP

The proposed BPRP is a multi-objective optimization problem, and two metrics, i.e., the completion time and the total energy consumption, are two optimization goals in this paper. There are many balanced methods generated in NSGA-III, and the optimal method is selected by SAW and MCDM. The utility value is a key indicator for evaluating the performance of a solution, and the utility values for workflows with a different number of tasks are given in Fig. 3. A solution with higher utility value is considered to be better. Therefore, solution 1 is considered as the optimal solution in Fig. 3a.

Fig. 3
figure 3

The utility value of the workflow with different task scales. a Number of the tasks = 50; b number of the tasks = 100; c number of the tasks = 150; and d number of the tasks = 200

To evaluate the success rate of our method in addressing the uncertainty, a graph of success rate is given in Fig. 4. This figure compares the success rate of workflows with a different number of tasks when the deadline factor is set to 1.4. It is not difficult to find that a workflow with fewer tasks has a higher success rate when dealing with the uncertainty.

Fig. 4
figure 4

Example of the utility value

4.3 Comparison of the completion time

Figure 5 shows that BPRP consumes less time than two other methods. With the expansion of the task size in the workflow, the advantage of BPRP in terms of completion time is more obvious. Benchmark consumes the most time in three methods, which confirms that new scheduling strategies are usually superior in the event of the uncertainty. BPRP has less completion time than FF, which also confirms the superiority of NSGA-III in dealing with a multi-objective optimization problem. Moreover, in the process of the transactions being confirmed, the scheduling strategies are also detected by each edge node, which saves some time.

Fig. 5
figure 5

Comparison of the completion time

4.4 Comparison of total energy consumption

Figure 6 shows the comparisons of the total energy consumption for the three methods. It is clear that our method consumes less energy. In the decision process, the transaction corresponding to the scheduling strategy of each task is confirmed by each edge node. Therefore, the state of each edge node is able to be known by other edge nodes, and better strategies are generated. However, the tasks in the workflow are randomly migrated to other edge nodes in Benchmark, which results in many poor strategies being developed and consuming more energy.

Fig. 6
figure 6

Comparison of total energy consumption

4.5 Comparison of the success rate

There is no doubt that tasks take more time to execute when uncertainty arises. In this experiment, the setting of the deadline is related to the ideal completion time of the workflow, i.e., the completion time when no uncertainty occurs. The relevant parameters, i.e., the deadline factors, are set to 1.2, 1.4, 1.6, and 1.8, respectively, which mean that the deadline is set a multiple of the ideal time. According to Fig. 7, BPRP has a higher success rate and increases as the deadline increases. When the deadline factor is equal to 1.8, the success rate reaches 1. Therefore, it predicts that the success rate of solving the uncertainty will gradually approach 1 if the time is sufficient.

Fig. 7
figure 7

Comparison of the success rate

5 Related work

With the development of mobile communication technology, the basic framework of smart cities has been further improved. The concept of a smart city integrates big data and the Internet of Things (IoT) to connect everything in life to optimize the efficiency of urban processes and services and connect them to residents. At present, the blockchain has become a new model to support the smart city framework [34]. The blockchain technology has non-modifiability and no centrality, and the hash verification of the block makes the data transmission and recording real and reliable [35]. Blockchain has a great advantage in terms of the transfer value, which makes economic value in data from mobile devices at relatively low cost. The author of [36] established a blockchain platform that uses the PBFT-DPOC consistency algorithm to achieve decentralized autonomy of mobile devices. [37] proposed an algorithm which helps to select the best resources from the cloud resource pool to save costs. [38] introduced a blockchain network simulator called SimBlock, which consists of thousands of nodes, simulating a peer-to-peer network in a blockchain, and verifies large-scale blockchain network behavior [39].

Workflow is one of the most typical applications in distributed computing. Due to the increase in data generated by mobile devices and the rapid increase in the number of workflows, workflow scheduling has become the focus of mobile communication technology development in recent years. [13] proposed a revised discrete particle swarm optimization (RDPSO) algorithm, which schedules workflows in the cloud, thereby reducing the energy consumption of data transmission in cloud workflows. Using a SHEFT algorithm in [40] allows computing resources to be dynamically scaled when workflow tasks are executed, saving computing resources and reducing overall execution time. A method for dynamic expansion of computing resources was also proposed in [41]. The scheduling algorithm in [42] determined the mapping between tasks and computing resources in the artifact path. By determining the effective mapping of tasks to resources on critical paths, computational tasks can be completed within a specified time. But the limitation of this article is that the author does not consider the cost of workflow execution. In the workflow scheduling, there will be uncertainty such as node failure and service reliability. In order to ensure that the tasks in the workflow are completed within the deadline, these uncertainties need to be processed. The author of [19] proposed an algorithm called PRS that combines active and passive scheduling methods to schedule workflows, minimizing the impact of uncertainty on workflow scheduling. Considering that the available bandwidth is not able to be accurately estimated under the influence of uncertainty factors, [43] uses a particle swarm optimization based scheduler RobWE, which changes the function according to the user’s needs. The author of [44] established a new model called R-MOHEFT, which estimated the processing time of tasks in the workflow when the resource elasticity configuration and the uncertainty interval were unknown. Assuming that the probability distribution function of uncertainty is known, two variables are proposed in [45] to measure the robustness of workflow execution, and a new workflow scheduling algorithm is proposed to solve the problem of computing resource allocation in the cloud resource pool.

6 Conclusion and future work

Cloud computing has the advantages of resource-saving, on-demand deployment, and high flexibility. In recent years, the development of cloud computing has been very hot. In order to reduce the round-trip delay of information transmission between the local device and the CDC, we use MEC as an extension of cloud computing to migrate the cloud platform from the inside of the mobile network to the edge of the mobile network to realize the flexible utilization of computing resources. Our paper proposes a blockchain-powered resource provisioning (BPRP) method for the uncertainty of workflow scheduling in the cloud. The blockchain is used to record the current state and task assignment of each node. At the same time, the processing time and energy consumption of the workflow tasks are optimized by using the non-dominated sorting genetic algorithm III (NSGA-III) to ensure that the tasks are completed efficiently within the deadline. A large number of experiments have verified the effectiveness of the method.

In future applications, the proposed BPRP method will be extended to the actual scenario of workflow scheduling in the cloud, reducing the impact of uncertainty on workflow scheduling.



Multiple-criteria decision-making


Non-dominated sorting genetic algorithm-III


Simple additive weighting


  1. S. Wan, Y. Zhao, T. Wang, Z. Gu, Q. H. Abbasi, K. -K. R. Choo, Multi-dimensional data indexing and range query processing via Voronoi diagram for internet of things. Futur. Gener. Comput. Syst.91:, 382–391 (2019).

    Article  Google Scholar 

  2. X. Xu, Y. Li, T. Huang, Y. Xue, K. Peng, L. Qi, W. Dou, An energy-aware computation offloading method for smart edge computing in wireless metropolitan area networks. J. Netw. Comput. Appl.133:, 75–85 (2019).

    Article  Google Scholar 

  3. H. Wang, C. Guo, S. Cheng, Loc—a new financial loan management system based on smart contracts. Futur. Gener. Comput. Syst.100:, 648–655 (2019).

    Article  Google Scholar 

  4. Y. Yin, W. Xu, Y. Xu, H. Li, L. Yu, Collaborative QoS prediction for mobile service with data filtering and SlopeOne model. Mob. Inf. Syst.2017:, 1–14 (2017).

    Google Scholar 

  5. X. Xu, S. Fu, L. Qi, X. Zhang, Q. Liu, Q. He, S. Li, An IoT-oriented data placement method with privacy preservation in cloud environment. J. Netw. Comput. Appl.124:, 148–157 (2018).

    Article  Google Scholar 

  6. Y. Yin, F. Yu, Y. Xu, L. Yu, J. Mu, Network location-aware service recommendation with random walk in cyber-physical systems. Sensors. 17(9), 2059 (2017).

    Article  Google Scholar 

  7. H. Gao, W. Huang, X. Yang, Applying probabilistic model checking to path planning in an intelligent transportation system using mobility trajectories and their statistical data. Intell. Autom. Soft Comput.(Autosoft) (2019).

  8. D. Wu, H. Wang, R. Seidu, Smart data driven quality prediction for urban water source management. Futur. Gener. Comput. Syst.

  9. H. Gao, H. Miao, L. Liu, J. Kai, K. Zhao, Automated quantitative verification for service-based system design: A visualization transform tool perspective. Int. J. Softw. Eng. Knowl. Eng.28(10), 1369–1397 (2018).

    Article  Google Scholar 

  10. L. Qi, Q. He, F. Chen, W. Dou, S. Wan, X. Zhang, X. Xu, Finding all you need: web APIs recommendation in web of things through keywords search. IEEE Trans. Comput. Soc. Syst.6(5), 1063–1072 (2019).

    Article  Google Scholar 

  11. X. Xu, X. Liu, L. Qi, Y. Chen, Z. Ding, J. Shi, Energy-efficient virtual machine scheduling across cloudlets in wireless metropolitan area networks. Mob. Netw. Appl., 1–15 (2019).

  12. Z. Yang, Y. Huang, X. Li, W. Wang, F. Wu, X. Zhang, W. Yao, Z. Zheng, L. Xiang, W. Li, et al., Efficient secure data provenance scheme in multimedia outsourcing and sharing. Comput Mater Continua. 56(1), 1–17 (2018).

    Google Scholar 

  13. Z. Wu, Z. Ni, L. Gu, X. Liu, in 2010 International Conference on Computational Intelligence and Security pages 184–188. A revised discrete particle swarm optimization for cloud workflow scheduling (IEEE, 2010).

  14. J. Zhang, N. Xie, X. Zhang, K. Yue, W. Li, D. Kumar, Machine learning based resource allocation of cloud computing in auction. Comput. Mater. Continua. 56(1), 123–135 (2018).

    Google Scholar 

  15. Y. Yuan, Y. S. Ong, A. Gupta, H. Xu, Objective reduction in many-objective optimization: evolutionary multiobjective approaches and comprehensive analysis. IEEE Trans. Evol. Comput.PP(99), 1–1 (2017).

    Google Scholar 

  16. Q. Mo, F. Dai, D. Liu, J. Qin, Z. Xie, T. Li, Development of private processes: a refinement approach. IEEE Access. 7:, 31517–31534 (2018).

    Article  Google Scholar 

  17. H. Wang, S. Ma, H. -N. Dai, A rhombic dodecahedron topology for human-centric banking big data. IEEE Trans. Comput. Soc. Syst.6(5), 1095–1105 (2019).

    Article  Google Scholar 

  18. X. Xu, Y. Chen, X. Zhang, Q. Liu, X. Liu, L. Qi, A blockchain-based computation offloading method for edge computing in 5g networks. Softw. Pract. Experience.

  19. H. Chen, X. Zhu, D. Qiu, L. Liu, in 2016 IEEE 9th International Conference on Cloud Computing (CLOUD). Uncertainty-aware real-time workflow scheduling in the cloud (IEEE2016, pp. 577–584.

  20. Y. Yin, S. Aihua, G. Min, X. Yueshen, W. Shuoping, Qos prediction for web service recommendation with network location-aware neighbor selection. Int. J. Softw. Eng. Knowl. Eng.26(04), 611–632 (2016).

    Article  Google Scholar 

  21. E. E. Mon, M. M. Thein, M. T. Aung, in 2016 9th Workshop on Many-Task Computing on Clouds, Grids, and Supercomputers (MTAGS). Clustering based on task dependency for data-intensive workflow scheduling optimizationIEEE, 2016), pp. 20–25.

  22. X. Xu, X. Zhang, H. Gao, Y. Xue, L. Qi, W. Dou, Become: Blockchain-enabled computation offloading for IoT in mobile edge computing. IEEE Trans. Ind. Inform., 1–1 (2019).

  23. Z. Gao, D. Y. Wang, S. H. Wan, H. Zhang, Y. L. Wang, Cognitive-inspired class-statistic matching with triple-constrain for camera free 3D object retrieval. Futur. Gener. Comput. Syst.94:, 641–653 (2019).

    Article  Google Scholar 

  24. H. Wang, S. Ma, H. -N. Dai, M. Imrand, T. Wang, Blockchain-based data privacy management with nudge theory in open banking. Futur. Gener. Comput. Syst.

  25. X. Xu, Y. Xue, L. Qi, Y. Yuan, X. Zhang, T. Umer, S. Wan, An edge computing-enabled computation offloading method with privacy preservation for Internet of connected vehicles. Futur. Gener. Comput. Syst.96:, 89–100 (2019).

    Article  Google Scholar 

  26. H. Gao, W. Huang, Y. Duan, X. Yang, Q. Zou, Research on cost-driven services composition in an uncertain environment. J. Int. Technol.20(3), 755–769 (2019).

    Google Scholar 

  27. Y. Yuan, W. Banzhaf, Arja: Automated repair of java programs via multi-objective genetic programming. IEEE Trans. Softw. Eng.PP:, 99 (2017).

    Google Scholar 

  28. X. Xu, Q. Liu, Y. Luo, K. Peng, X. Zhang, S. Meng, L. Qi, A computation offloading method over big data for IoT-enabled cloud-edge computing. Futur. Gener. Comput. Syst.95:, 522–533 (2019).

    Article  Google Scholar 

  29. L. Qi, R. Wang, C. Hu, S. Li, Q. He, X. Xu, Time-aware distributed service recommendation with privacy-preservation. Inf. Sci.480:, 354–364 (2019).

    Article  Google Scholar 

  30. K. -H. Kim, in 17th International Conference on Advanced Information Networking and Applications, 2003. AINA 2003. Workflow dependency analysis and its implications on distributed workflow systems (IEEE, 2003), pp. 677–682.

  31. S. Meng, S. Wang, T. Wu, D. Li, T. Huang, X. Wu, X. Xu, W. Dou, in 2016 IEEE International Conference on Web Services (ICWS). An uncertainty-aware evolutionary scheduling method for cloud service provisioning (IEEE, 2016), pp. 506–513.

  32. X. Xie, T. Yuan, X. Zhou, X. Cheng, Research on trust model in container-based cloud service. Comput. Mater. Continua. 56(2), 273–283 (2018).

    Google Scholar 

  33. X. Xu, X. Zhang, M. Khan, W. Dou, S. Xue, S. Yu, A balanced virtual machine scheduling method for energy-performance trade-offs in cyber-physical cloud systems. Futur. Gener. Comput. Syst. (2017).

  34. Jong-ho Noh, Hun-yeong Kwon, A study on smart city security policy based on blockchain in 5g age, in 2019 International Conference on Platform Technology and Service (PlatCon) (IEEE, 2019), pp. 1–4.

  35. S. Wang, L. Ouyang, Y. Yuan, X. Ni, X. Han, F. -Y. Wang, Blockchain-enabled smart contracts: architecture, applications, and future trends. IEEE Trans. Syst. Man Cybern. Syst.49(11), 2266–2277 (2019).

    Article  Google Scholar 

  36. S. Yu, K. Lv, Z. Shao, Y. Guo, J. Zou, B. Zhang, in 2018 1st IEEE international conference on hot information-centric networking (HotICN). A high performance blockchain platform for intelligent devices (IEEE, 2018), pp. 260–261.

  37. N. Chopra, S. Singh, in 2013 Fourth International Conference on Computing, Communications and Networking Technologies (ICCCNT). Heft based workflow scheduling algorithm for cost optimization within deadline in hybrid clouds (IEEE, 2013), pp. 1–6.

  38. R. Banno, K. Shudo, in Proc. 2019 IEEE Int’l Conf. on Blockchain and Cryptocurrency (IEEE ICBC 2019). Simulating a blockchain network with simblock, (2019), pp. 3–4.

  39. L. Qi, Y. Chen, Y. Yuan, S. Fu, X. Zhang, X. Xu, A QoS-aware virtual machine scheduling method for energy conservation in cloud-based cyber-physical systems. World Wide Web, 1–23 (2019).

  40. C. Lin, S. Lu, in 2011 IEEE 4th International Conference on Cloud Computing. Scheduling scientific workflows elastically for cloud computing (IEEE, 2011), pp. 746–747.

  41. Y. Ahn, Y. Kim, in 2014 International Conference on Cloud and Autonomic Computing. VM auto-scaling for workflows in hybrid cloud computing (IEEE, 2014), pp. 237–240.

  42. M. Rahman, S. Venugopal, R. Buyya, in Third IEEE International Conference on e-Science and Grid Computing (e-Science 2007). A dynamic critical path algorithm for scheduling scientific workflow applications on global grids (IEEE, 2007), pp. 35–42.

  43. T. A. L. Genez, L. F. Bittencourt, R. Sakellariou, E. R. M. Madeira, in 2017 IEEE 10th International Conference on Cloud Computing (CLOUD). A robust scheduler for workflow ensembles under uncertainties of available bandwidth (IEEE, 2017), pp. 504–511.

  44. H. M. Fard, S. Ristov, R. Prodan, in 2016 IEEE/ACM 9th International Conference on Utility and Cloud Computing (UCC). Handling the uncertainty in resource performance for executing workflow applications in clouds (IEEE, 2016), pp. 89–98.

  45. D. Poola, S. K. Kumar Garg, R. Buyya, Y. Yang, K. Ramamohanarao, in 2014 IEEE 28th international conference on advanced information networking and applications. Robust scheduling of scientific workflows with deadline and budget constraints in clouds (IEEE, 2014), pp. 858–865.

Download references


This work is supported by National Key Research and Development Project No. 2017YFB0504203, the Priority Academic Program Development of Jiangsu Higher Education Institutions (PAPD) fund, and Jiangsu Collaborative Innovation Center on Atmospheric Environment and Equipment Technology (CICAEET).

Author information

Authors and Affiliations



ZX, Q, HC, CW, and XL conceived and designed the study. ZX and XL performed the simulations. QG, HC, and CW wrote the paper. All authors reviewed and edited the manuscript. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Xihua Liu.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Xu, Z., Geng, Q., Cao, H. et al. Uncertainty-aware workflow migration among edge nodes based on blockchain. J Wireless Com Network 2019, 250 (2019).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • Blockchain
  • Uncertainty-aware
  • Edge computing
  • Workflow