Research Article  Open Access
Qi Chen, Qi Xu, Cui Wu, "Dynamic Matching in Cloud Manufacturing considering Matching Costs", Complexity, vol. 2019, Article ID 8398356, 16 pages, 2019. https://doi.org/10.1155/2019/8398356
Dynamic Matching in Cloud Manufacturing considering Matching Costs
Abstract
As a serviceoriented business platform model, the nature of cloud manufacturing is to realise the manufacturing resources’ sharing, which will largely benefit resources supplier, resources demander, and platform operator. However, it also faces some new problems. One of the most critical issues is how to dynamically match resources of supply and demand to maximise profits of all parties while considering matching costs. This paper investigates the resources’ dynamic matching in a manufacturing supply chain that operates under a costsharing contract and consists of two independent and competing manufacturers and a resourceservice platform. We first use differential equation to model the evolution of resourcesharing and capture the effect of matching service efforts on market demand. Next, we study the optimal matching strategies by a twostage differential game based on the dynamic control approach. Then, we design a costsharing contract to coordinate and improve the supply chain’s performance. Finally, a numerical example is provided to illustrate the impact of platform transaction fees and matching costs on the feasible region of the corresponding contract.
1. Introduction
Information technologies, such as the Internet of Things, cloud computing, and cyberphysical systems, impact daily life through their powerful dataprocessing capacities. For example, ecommerce has become an indispensable means of shopping over the past two decades, and a small number of giant ecommerce companies, such as Amazon, eBay, and Alibaba, have emerged to dominate the market. However, the Internet also enables other types of transaction, such as sharing. Online networks facilitate the sharing of computing and manufacturing resources in supply chain. This has resulted in collaborative consumption and collaborative production: peertopeer exchanges for obtaining, providing, or sharing access to goods and services, facilitated by communitybased online platforms. The manufacturing industry is undergoing a major transformation enabled by cloud computing. The main thrust of cloud computing is to provide ondemand computing services with high reliability, scalability, and availability in a distributed environment. Cloud technologies have had profound impacts on production management in manufacturing [1]. O’Rourke [2] stated that new information technologies have helped to drive the development of ‘lean manufacturing’, with factories using such technologies being better equipped to rapidly deliver the products that customers want. As information technologies become embedded in all aspects of production, ‘networkcentric’ manufacturing advances throughout value chains and each element becomes ‘smart’, thereby optimising efficiency throughout a product’s lifecycle [3].
Learning from cloud computing, researchers have proposed a model of ‘cloud manufacturing’, in which uniform manufacturing resources are shared through online networking. In this model, manufacturing capabilities and resources are shared via a cloud platform. The status of idle resources is updated and released in real time to facilitate online transactions and identify the most sustainable and robust manufacturing route possible [4]. Figure 1 presents a simplified model of the common features of cloud manufacturing. The cloud manufacturing architecture defines three common roles (although the exact nomenclature for each role varies in the literature): the supplier (which offers services or resources on the platform), the demander (which requests services or resources through the cloud), and the platform manager [5–7]. The demander utilises resources or services for manufacturing purposes and the supplier provides these resources or services by renting, leasing or lending equipment or other resources for shortterm periods. The cloud platform manages the use, performance, and delivery of services and negotiates the relationship between supply and demand; it acts as an intermediary, providing connectivity and transport to enable the exchange of services between consumers and providers [8]. In this regard, cloud manufacturing and ecommerce share some similarities, the main difference being that commodities are traded on an ecommerce platform whereas manufacturing services are exchanged on a manufacturing platform. In the reallocation process, idle manufacturing resources and capabilities are connected through cloud computing and other information technologies, eventually forming a supply chain for manufacturing resource sharing.
In China, Shandong province has built an ‘industrial cloud platform’ that incorporates regional factories and technological resources. Factories and individuals can request various services and resources through the platform at low rental costs. The platform has already had economic and environmental benefits [4]. The transition from traditional manufacturing to a serviceoriented model occurred gradually, as lessons from the ‘sharing economy’ were adapted to the manufacturing sector. Unlike in the sharing economy, in which users share consumer products, the platform facilitates the sharing of idle manufacturing resources. A number of platforms have already implemented business models that closely resemble cloud manufacturing. For example, MFG.com, the world’s largest contract manufacturing marketplace, provides a fast and efficient platform for exchanging manufacturing resources. Similarly, 1688.com, China’s leading ecommerce platform for domestic small enterprise trading, adopted similar strategies for sharing manufacturing resources. As of 2018, 1688.com’s business model covered 16 industries and a wide range of supply services, from raw materials to industrial products, clothing, apparel, and household items. Manufacturing resource sharing has obvious benefits for resources supplier, resources demander and platform operator. However, it also introduces new management challenges. One of the most critical issues is optimising the dynamic matching of supply and demand to maximise cooperation between the various parties while considering matching costs.
The goal of matching is to connect consumer demand to the right products or services. To improve matching, all parties in the supply chain (supplier, demander, and platform manager) must invest in the matching effort. As Figure 1 shows, each party in the cloud manufacturing system incurs a distinct set of matching costs [9, 10]: (i) the supplier (the resource or service provider) incurs servicerealisation costs, i.e., the cost of updating the platform to reflect the current status (availability and quality) of the resources, services, and capabilities; (ii) the platform manager incurs aggregation and generation costs, i.e., the costs of computing, storage, and scheduling; and (iii) the platform demander incurs invocation costs related to business operations, i.e., consultation, market analysis and investigation, purchase, insurance, etc. Optimising the allocation of resources and services for the supply chain is complex because it requires ensuring that the supplier, demander, and platform manager each benefit. In the process of reallocating supply chain resources, how to integrate, share, and optimise the allocation of supply chain resources so that the resources provider, cloud platform, and resources consumers can get the greatest benefits is an important issue faced by supply chain enterprises. The aim of this paper is therefore to identify matching strategies that can achieve this optimal solution.
There has been extensive research on performance analysis and supplydemand matching for manufacturing resources and services. In cloud manufacturing, operators use searching and matching algorithms to find suitable services to satisfy users’ requests. Several resourceservice discovery frameworks are described in the literature. Tao et al. [11] proposed a fourphase method for resourceservice matching and searching on serviceoriented manufacturing system platforms. A genetic algorithm based model to search for the result that best matches a customer’s request is proposed in Zhang et al. [12]. Based on grey correlation theory, a machine tool supplydemand matching method is proposed in Xiao et al. [13]. Wang [14] investigated the cloud manufacturing resource discovery mechanism and proposed a manufacturing resource discovery framework based on the Semantic Web. Capturing user requirements and cloud services matching are important steps for realising ondemand resourceservice provision that require the semantic description of manufacturing tasks. Wang et al. [15] investigated the semantic modelling and description of manufacturing tasks in cloud manufacturing system for manufacturing task to be better to match with manufacturing services. Li et al. [16] proposed a multilevel intelligent matching method to realise rapid, efficient and accurate matching. Yin et al. [17] proposed an input, output, precondition, effect matching model based on Web Ontology Language for cloud manufacturing. The model’s matching process is divided into three phases: parameter matching, attribute matching, and comprehensive matching. Li et al. [18] proposed an intelligent service searching and matching method of cloud manufacturing according to service type and state information.
The abovementioned studies have mainly examined issues of matching and scheduling with static manufacturing tasks and static candidate resource services in a given period. The dynamic changes typical of the practical process of supplydemand matching and scheduling have not been considered. Cheng et al. [19] proposed a supplydemand matching hypernetwork of manufacturing services, comprising a manufacturing service network, a manufacturing task network, and hyperedges between those two networks. Subsequently, based on the results in [19], Cheng et al. [20] formulated a model for revealing the matchable correlations between each service (supply) and each task (demand), subject to dynamic demand. Cloud manufacturing systems contain many dynamic elements. The number of users and the number of manufacturing tasks change dynamically. Additionally, in an environment of distributed resources, the relative independence of various economic entities also leads to dynamic changes in the sharing relationship. Cheng at al [19, 20] only consider the dynamic complexity caused by changes in the numbers of users and manufacturing tasks. They analysed supplydemand matching in cloud manufacturing from a technical perspective but neglected operations management concerns. From the latter perspective, the goal of matching is to connect consumer demand to the right products or services. This generally involves facilitating information exchange between a supplier and a demander. As matching becomes more successful, sharing increases. To improve matching, all parties in the supply chain (supplier, demander, and platform manager) must invest in the matching effort. However, this investment becomes an issue as the platform’s matching abilities improve. Crucially, when the number of sharing transactions on the platform increases, the matching costs also increase. Matching costs have not been considered in previous studies. Thus, our study has an important difference from the abovementioned studies, which is that we investigate the complex relations and conflicts of interest arising from the sharing of resources through cloud manufacturing from the perspective of operations management.
Game theory is a powerful theoretical tool for analysing conflict and cooperation behaviour among rational individuals and, as such, can be useful for optimising manufacturing resource sharing and management, from locating services and supplydemand matching to transactions [21]. Games can be either cooperative or noncooperative depending on whether parties share a formal agreement. Enterprises have variously competitive and cooperative relationships, depending on the functional dependency of their services or products. The service composition in cloud manufacturing should therefore ensure the functional realisation of composite services while guaranteeing that each enterprise profits. Game theory is uniquely suited to this type of problem. The key to apply game theory in service composition in cloud manufacturing is to design proper utility functions for each enterprise by comprehensively considering their service attributes (including economic attributes) and constructing gaming models or mechanisms for the appropriate service interactions [22]. Differential games offer a promising approach. For example, De Giovanni [23] and Amrouche et al. [24] developed differential game models to incorporate channel dynamics. Here, we use differential equations to model the dynamic evolution of manufacturing resource sharing and capture the effect of matching efforts on market demand. By applying optimal control theory, we derive matching strategies for both centralised and decentralised systems. We also design a costsharing contract to improve the performance of the decentralised supply chain. Finally, we use a numerical example to examine the feasibility and efficacy of platform transaction fees and other parameters as strategies for optimising the coordination contract. The paper makes three primary contributions, which can be summarised as follows. First, we investigate operational problems for a sharing supply chain from a dynamic matching perspective. Second, we design a coordination contract for the supply chain by accounting for the impact of resourcesharing levels, which can be used to coordinate the decentralised system in dynamic environments. Finally, to the best of our knowledge, our study is the first to explore supplydemand matching issues by applying optimal control theory and game theory to derive optimal solutions.
The study proceeds in six sections. In Section 2, we give descriptions of the notations and assumptions used throughout the paper. Section 3 provides the theoretical results for the optimal strategies under a decentralised decision scenario, Section 4 provides the theoretical results for the optimal strategies under a centralised decision scenario, and Section 5 provides the theoretical results for the optimal strategies under a coordinationcontract scenario. The numerical results and sensitivity analyses are represented in Section 6. Finally, Section 7 concludes the study and discusses its implications for management.
2. Problem Description and the Basic Model
2.1. Problem Formulation
We consider a supply chain formed of two independent and competing manufacturers, labelled and , and a resourceservice platform, labelled , in which manufacturer (i.e., the supplier) has surplus manufacturing resources, whereas manufacturer (i.e., the demander) lacks such resources. The platform has a strong reputation and the supplier sells its manufacturing resources to the demander through the platform. Ultimately, the two manufacturers produce homogeneous products and sell them to consumers. Deciding the optimal efforts for matching to enhance sharing is the primary objective of the players, which wish to increase demand and subsequently profits by adopting the optimal operational strategies. A simplified channel structure of the sharing supply chain is presented in Figure 2.
Table 1 provides the notation used throughout the study.

Supplydemand matching within the supply chain is a complex issue. The level at which manufacturing resources are shared within a dynamic framework can be investigated using the following equation:
where , , and represent the marginal contribution of matching efforts to the sharing level, which we call matching effectiveness, and is the sharing level’s decay rate. Matching effectiveness captures the relationship between each supply chain member’s investment in matching and the sharing level. The sharing level’s decay rate might reflect several scenarios; for instance, it could suggest that a manufacturing resource needs to be improved due to an increase in the number of product categories or attributes, which in turn can result in a decrease in the sharing level over time.
Each supply chain member’s matching costs are convex and increasing, indicating that the matching efforts’ marginal costs increase and are assumed to be quadratic:
where , , and are the positive cost parameters. This cost function is commonly applied in the literature [23–25].
The level of manufacturing resource sharing has a positive external spillover effect on the supply chain’s supplier and demander. Customer demand depends on both the marginal profit and the level at which manufacturing resources are being shared (i.e., the sharing level). The demand functions can be expressed as follows:
where represents the potential market size, denotes crossprice sensitivity between the two manufacturers, and represents the effects of the sharing level on market demand. This is similar to the demand functions used in [24, 26–30], which depict the substitution effect between two independent and competing manufacturers.
2.2. The Objective Function
Assuming an infinite time horizon and a positive discount rate, the objective functions are
To recapitulate, (1), (5), (6), and (7) define a differential game with three players, three control variables , , and , and one state variable . The controls are constrained by , , and . The state constraint is automatically satisfied. We assume that the game is played à la Stackelberg, with the platform acting as the leader and the two manufacturers as followers (see [24, 25] for examples of the Stackelberg differential game).
3. The Optimal Strategies in the Decentralised System
We start by analysing the first scenario, in which the players implement a noncooperative program. Under decentralised decisionmaking, the supplier, platform, and demander maximise their own profits, respectively. The platform is the channel leader and does not offer subsidies to the demander. We use the superscript ‘’ to signify the decentralised system scenario.
The supply chain game can be conceptualised in two stages. In the first stage, the platform decides the matching efforts . In the second, both the supplier and demander make their decisions, respectively. In particular, the supplier determines the matching efforts and the demander determines the matching efforts . The sequence of the events is shown in Figure 3.
From this point forward, the time argument is omitted. Let , , and denote the players’ value functions. To obtain the optimal dynamic matching policy, we follow the literature [24, 25, 31] and use the Hamiltonian–Jacobi–Bellman (HJB) equations:
This puts us in a position to propose optimal strategies for the supply chain with decentralised decisionmaking. Proposition 1 characterises the equilibrium strategies.
Proposition 1. In the decentralised system, the equilibrium results of the differential game between the supplier, platform, and demander are as follows.
(i) The equilibrium matching efforts are given by(ii) The manufacturing resourcesharing level in the supply chain is given bywhere the parameter .
(iii) The optimal profit functions for the supplier, platform, and demander are given bywhere the parameters , , and , , are the coefficients of the linear value functionswhich are determined in the proof for Proposition 1 (see the Appendix).
Proposition 1 shows that the sharing level is positive. This means that all party members are involved in the supply chain. The matching efforts , , and should be positive and decreasing at decay rate . In contrast, the matching efforts , , and increase in terms of effectiveness parameters , , and , respectively. This indicates that when the investment is efficient, the supplier, platform, and demander are motivated to invest more in supplydemand matching.
4. Optimal Strategies in the Centralised System
In this section, we examine the performance of a centralised supply chain. Supply chain members integrate to set the optimal matching efforts in view of maximising the total supply chain profit. In this game, , , and are decision variables. We use the superscript ‘’ to signify the centralised decision scenario.
Assuming an infinite time horizon and a positive discount rate , the objective function of the supply chain in the centralised system is given as
From this point forward, the time argument is omitted. Let denote the supply chain system’s value functions; the HJB equation is
We are now in a position to propose optimal strategies for the supply chain with centralised decisionmaking. Proposition 2 characterises the equilibrium strategies.
Proposition 2. With centralised decisionmaking, the equilibrium results of the differential game between the supplier, the platform, and the demander are as follows.
(i) The equilibrium matching efforts are given by(ii) The sharing level of manufacturing resources in the supply chain is given bywhere the parameter .
(iii) The optimal profit function of the supply chain system is given bywhere the parameters and are the coefficients of the linear function , which are determined in the Proof of Proposition 2 (see the Appendix).
Proposition 3. Compared with optimal strategies and profit functions in the decentralised and centralised systems, one has , , , and .
We provide the proof for Proposition 3 in the Appendix. These relationships are derived through algebraic comparison. The matching efforts are higher in the centralised system, which means that the total profit is lower in the decentralised system. Hence, there is a need to design an appropriate contract to improve system efficiency.
5. Optimal Strategies under the Coordination Contract
In this scenario, the platform is the channel leader and supports the demander’s matching efforts. We use the superscript ‘’ to signify the coordinationcontract scenario. denotes the platform’s support rate, which represents the amount that the platform contributes to the demander’s matching efforts within the interval . We are motivated by the coordination method used in [23] to develop a committed dynamic costsharing contract capable of coordinating the supply chain and improving the decentralised supply chain’s performance. The contract provisions are structured as follows. In the game’s first stage, the platform decides the matching efforts and the support rate . In the second stage, both the supplier and demander make their decisions, respectively. In particular, the supplier determines the matching efforts and the demander determines the matching efforts . The sequence of the events is shown in Figure 4.
Assuming an infinite time horizon and a positive discount rate , the objective functionals of supply chain members under the coordinationcontract scenario are
From this point forward, the time argument is omitted. Let , , and denote the players’ value functions; the HJB equations are
We are now in a position to propose optimal strategies for the costsharing contract system. Proposition 4 characterises the equilibrium strategies.
Proposition 4. Under the coordinationcontract scenario, the equilibrium results of the differential game between the supplier, the platform, and the demander are as follows.
(i) The equilibrium matching efforts and platform’s support rate are given by(ii) The sharing level of manufacturing resources in the supply chain is given bywhere the parameter .
(iii) The optimal profit functions of supply chain members are given bywhere the parameters , , and , , are the coefficients of the linear value functionswhich are determined in the proof of Proposition 4 (see the Appendix).
Next, we compare each supply chain member’s profits and the total channel profits with the corresponding values in the above three scenarios. Our objective is to identify the effect of the costsharing contract on all channel members’ profits to determine whether the costsharing contract increases profits and thus improves coordination. For notational convenience, let and ; the interval is the coordination contract’s feasible region. We then arrive at the following proposition.
Proposition 5. The strategies and payoffs in the decentralised scenario (), costsharing contract scenario (), and centralised decision scenario () are related as follows:
(i) The supplier equilibrium matching efforts, .
(ii) The platform equilibrium matching efforts, .
(iii) The demander equilibrium matching efforts, .
(iv) The optimal profits, , , , and for .
We provide the proof for Proposition 5 in the Appendix. These relationships are derived through algebraic comparison. Proposition 5 shows that all supply chain members incur higher profits in the costsharing contract scenario than the decentralised decisionmaking scenario. Clearly, costsharing with the platform provides the greatest benefit to the demander: when the platform manager covers any share of the matching costs, it helps improve the demander’s profitability. As the matching costs are lowered, the demander can offer a higher level of matching effort, which subsequently drives up market demand for the resource or service. This increase in market demand more than compensates for the cost shared by the platform.
This result illustrates why matching involves increased collaboration between the demander and the platform manager through costsharing contracts and other mechanisms. However, because the comparison of the supplier, platform, demander, and supply chain profits poses some degree of analytical complexity, we now turn to numerical computation to verify our theoretical findings.
6. Numerical Example
In this section, we conduct numerical analyses to gain managerial insights. Set , , , , , , , , , , , , , , , , and . In Section 6.1, we compare the operational performance of the decentralised (), costsharing contract (), and centralised decision () scenarios, focusing on the dynamic strategies, the sharing level and profits. In Section 6.2, we examine the impacts of the platform transaction fee and purchasing cost on the feasible region of the corresponding contract and obtain some useful insights.
Before we proceed, recall that the profit functions are linear in the value function and can be written as an exponential function multiplied by the value function, i.e., , which makes it sufficient for comparison. Thus, to compare , , , and , we compare the values of , , , and , respectively. Define , , and , , . Similarly, a comparison between , , and is equivalent to a comparison between the profit functions , , and , respectively.
6.1. Optimal Solutions
6.1.1. Comparisons of Optimal Solutions
According to Propositions 1, 2, and 4, we can obtain the optimal matching efforts and sharing level in the decentralised, costsharing contract, and centralised decision scenarios. From Table 2, we can see that , , and . The matching efforts in the centralised structure are higher than those in the decentralised scenario, and the optimal matching efforts in the decentralised scenario are equal to or less than those in the costsharing contract scenario. This is consistent with the conclusions in Proposition 5. Figure 5 shows changes to the sharing level over time. Here, the corresponding optimal resources sharing level are given as follows:

Figure 5 shows that the optimal resourcesharing levels in the centralised decisionmaking system are higher than those in the decentralised and costsharing scenarios, as the matching efforts are higher in the centralised decision system.
6.1.2. Comparison of Profits
In this subsection, we compare the profits across the three models; we provide the results in Figure 6. The profit in the centralised decision scenario is the highest, followed by the costsharing contract and the decentralised scenario, respectively, which verifies Proposition 5.
Figure 7 presents a comparison between each supply chain member’s profits before and after costsharing. The equilibrium values in the costsharing contract are in the following order in comparison with the decentralised supply chain values: , , for . This indicates that the supplier, platform manager, and demander all enjoy higher profits in the costsharing contract than in the decentralised supply chain case. The costsharing contract effectively improves the performance of the decentralised supply chain. The costsharing contract achieves Pareto improvement for the supplier, the platform manager, and the demander under certain conditions. Any share of matching costs helps improve the demander’s profitability. As such, the demander can provide a higher matching effort; this increases market demand, which more than compensates for the cost shared by the platform.
Moreover, the supplier’s profit increases are the highest, followed by the demander and the platform manager, respectively. In the costsharing contract scenario, the platform supports the demander’s matching efforts and the supplier does not incur any additional matching costs. Costsharing lowers the demander’s burden in the supply chain structure; the demander thus enjoys greater benefit from the matching decision (see Columns 1 and 2 in Table 2). A comparison of the platform’s profit shows that the platform manager incurs higher profits in the costsharing contract than the decentralised scenario. The contract thus also benefits the platform. These results illustrate why matching involves increased collaboration between the demander and the platform through costsharing and other mechanisms.
6.2. Sensitivity Analysis of the Platform Transaction Fee ()
We first investigate the effects of platform transaction fees on the sharing level. In Figure 8, the sharing level is plotted as a function of the platform transaction fee . The sharing level decreases as the transaction fee increases in the decentralised decision system due to the fact that the demander’s marginal profit decreases with the increase of the transaction fee. As in Section 2.1, the demand function depends on the marginal profit and the sharing level. Thus, the larger the transaction fee, the smaller the market demand. Accordingly, in Figure 9, we see that the profit in the decentralised decision system decreases when the transaction fee is raised. In contrast, the sharing level increases in tandem with the platform transaction fee in the costsharing contract scenario because the platform’s support rate increases with the transaction fee (see Proposition 4). The larger the transaction fee, the larger the support rate. As such, the demander has a greater incentive to increase its matching efforts; this drives up the market demand, which more than compensates for the cost shared by the platform. Accordingly, Figure 9 shows that in the costsharing contract scenario, profit increases with .
However, we also find that the costsharing contract does not always achieve Pareto improvement for all parties (i.e., the value can fall outside the feasible region). Figure 10 shows that only when the value of is between and can the costsharing contract adequately coordinate the supply chain such that all parties benefit. Specifically, when the purchasing cost increases, the winwin region becomes smaller in Figure 11. This implies that, as the value of increases, the degree of flexibility in coordinating the supply chain decreases.
7. Conclusions
In this paper, we discussed the challenges of supplydemand matching for manufacturing resource and servicesharing by considering the sharing level in a complex and dynamic environment. Applying optimal control theory, we identified the optimal matching strategies for decentralised, centralised and costsharing contract systems. Our main contribution lies in the following. First, we considered the dynamic evolution feature of the sharing level, which we set as a state variable. Second, we optimised matchingeffort strategies through differential game models to coordinate the decentralised supply chain. Finally, we conducted a numerical analysis to illustrate the effect of the platform transaction fee and purchasing costs on equilibria and coordination.
In particular, we obtained the following results. A costsharing contract effectively improves the performance of the decentralised supply chain. All channel members (i.e., the manufacturing resource or service supplier, platform manager, and resource or service demander) incur higher profits in the costsharing contract system than the decentralised system. The costsharing contract does not always achieve Pareto improvement for all parties. Numerical analysis shows that the platform transaction fee and purchasing costs affect the winwin region and optimal strategies. A larger purchasing cost will limit the degree of flexibility with which supply chain members coordinate the supply chain, thus providing manufacturers and the service platform with guidance to improve profitability. Our study contributes to the burgeoning field of idle manufacturing resource sharing within supply chains and collaboration between channel partners.
Appendix
A.
Proof of Proposition 1. We need to establish the existence of bounded and continuously differentiable value functions , , and such that it is a unique solution to differential equation (1) and the HJB equations. We first determine the players’ necessary conditions from the HJBs. Because the game is played à la Stackelberg and the platform is the leader, we first derive the decision variables for the supplier and the demander for the second game stage. The optimisation problem of supplier is given as Let the value functions ; the optimal profit function of manufacturing resources supplier then is given asSimilarly, the optimal profit function of the platform and demander are given byThe supplier’s HJB isand its maximisation provides the necessary condition for matching efforts:Similarly, the demander’s HJB isand its maximisation provides the necessary condition for matching efforts:Substituting (A.5) and (A.7) into the platform’s HJB givesand by performing the maximisation of the righthand side we obtainBy inserting (A.5), (A.7), and (A.9) inside the HJBs, we obtain the following three algebraic equations:Following the literature [24, 25, 31], we obtain the following linear forms for the value functions:in which , , and and , , and are constants. From formula (A.13), we haveWe substitute , , and from (A.13) and their derivatives from (A.14) into ((A.10)(A.12)) and collect terms corresponding to . By solving the algebraic equations, we haveSubstituting (A.14) into (A.5), (A.7), and (A.9), the equilibrium matching efforts are given byNext, substituting , , and into differential equation (1) and using the initial conditions of (1), the general solution of the differential equation for the sharing level iswhere .
This completes the proof.
B.
Proof of Proposition 2. We need to establish the existence of bounded and continuously differentiable value function such that there exists a unique solution to differential equation (1) and the HJB equations. We first determine the players’ necessary conditions from the HJBs. The optimisation problem of supplier is given as Let the value functions ; the optimal profit function of supply chain then is given asThe supply chain’s HJB isand its maximisation provides the necessary condition for matching efforts:By inserting (B.4) inside the HJB we obtain the following algebraic equations:Thus, we obtain the following linear forms for the value functions:in which and are constants. From formula (B.6), we haveWe substitute from (B.6), as well as its derivative from (B.7), into (B.5), and collect terms corresponding to . By solving the algebraic equations, we haveSubstituting ((B.7)(B.8)) into (B.4) the equilibrium matching efforts are given byNext, substituting , , into differential equation (1) and using the initial conditions of (1), the general solution of the differential equation for the sharing level iswhere . This completes the proof.
C.
Proof of Proposition 3. To prove the first item, we need to establish that all decision variables of Proposition 1 are positive, i.e., . This implies, in turn, (from (A.16)). Straightforward comparisons, using the values in (A.16) and (B.9), lead to the results:This completes the proof.
D.
Proof of Proposition 4. We need to establish the existence of bounded and continuously differentiable value functions , , and such that it is a unique solution to differential equation (1) and the HJB equations. We first determine the players’ necessary conditions from the HJBs. Because the game is played à la Stackelberg and the platform is the leader, we first derive the decision variables for the supplier and the demander for the second game stage. The optimisation problem of supplier is given as Let the value functions ; the optimal profit function of manufacturing resources supplier then is given asSimilarly, the optimal profit function of the platform and demander are given byThe supplier’s HJB isand its maximisation provides the necessary condition for matching efforts:Similarly, the demander’s HJB isand its maximisation provides the necessary condition for matching efforts:Substituting (D.5); (D.7) into the platform’s HJB giveswhile performing the maximisation of the righthand side we obtainBy inserting (D.5), (D.7), and (D.9) inside the HJBs, we obtain the following three algebraic equations:Thus, we obtain the following linear forms for the value functions:in which ,, and and , , and are constants. From formula (D.13), we haveWe substitute , , from (D.13), as well as their derivatives from (D.14), into ((D.10)(D.12)), and collect terms corresponding to . By solving the algebraic equations, we haveSubstituting (D.14) into (D.5), (D.7), and (D.9), the equilibrium matching efforts are given byNext, substituting , , and into differential equation (1) and using the initial conditions of (1), the general solution of the differential equation for the sharing level iswhere .
This completes the proof.
E.
Proof of Proposition 5. To prove the first item, we need to establish that all decision variables are positive, i.e., , , and . This implies, in turn, (from (A.16)), (from (D.16)), and (from (D.16)). It can be easily shown that Straightforward comparisons, using the values in (A.16), (B.9), and (D.16), lead to the results:From the above inequalities ((E.5)(E.7)), we getThis proves Proposition 5 and completes the proof.
Data Availability
The data used to support the findings of this study are available from the corresponding author upon request.
Conflicts of Interest
The authors declare that there are no conflicts of interest regarding the publication of this study.
Acknowledgments
This work was partially supported by the National Natural Science Foundation of China (71572033; 71832001).
References
 X. Xu, “From cloud computing to cloud manufacturing,” Robotics and ComputerIntegrated Manufacturing, vol. 28, no. 1, pp. 75–86, 2012. View at: Publisher Site  Google Scholar
 D. O'Rourke, “The science of sustainable supply chains,” Science, vol. 344, no. 6188, pp. 1124–1127, 2014. View at: Publisher Site  Google Scholar
 W. B. Bonvillian, “Advanced manufacturing policies and paradigms for innovation,” Science, vol. 342, no. 6163, pp. 1173–1175, 2013. View at: Publisher Site  Google Scholar
 K. Li, W. Xiao, and S. Yang, “Scheduling uniform manufacturing resources via the Internet: A review,” Journal of Manufacturing Systems, vol. 50, pp. 247–262, 2019. View at: Publisher Site  Google Scholar
 F. Tao, L. Zhang, V. C. Venkatesh, Y. Luo, and Y. Cheng, “Cloud manufacturing: a computing and serviceoriented manufacturing model,” Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture, vol. 225, no. 10, pp. 1969–1976, 2011. View at: Publisher Site  Google Scholar
 D. Schaefer, J. L. Thames, R. D. Wellman Jr., D. Wu, and D. W. Rosen, “Distributed collaborative design and manufacture in the cloudmotivation, infrastructure, and education,” The ASEE Computers in Education (CoED) Journal, vol. 3, no. 4, p. 1, 2012. View at: Google Scholar
 L. Zhang, Y. Luo, F. Tao et al., “Cloud manufacturing: a new manufacturing paradigm,” Enterprise Information Systems, vol. 8, no. 2, pp. 167–187, 2014. View at: Publisher Site  Google Scholar
 D. Wu, J. L. Thames, D. W. Rosen, and D. Schaefer, “Towards a cloudbased design and manufacturing paradigm: looking backward, looking forward,” Innovation, vol. 17, no. 18, 2012. View at: Google Scholar
 O. Fisher, N. Watson, L. Porcu, D. Bacon, M. Rigley, and R. L. Gomes, “Cloud manufacturing as a sustainable process manufacturing route,” Journal of Manufacturing Systems, vol. 47, pp. 53–68, 2018. View at: Publisher Site  Google Scholar
 Y. Cheng, D. Zhao, A. R. Hu, Y. L. Luo, F. Tao, and L. Zhang, “Multiview Models for Cost Constitution of Cloud Service in Cloud Manufacturing System,” in Advances in Computer Science and Education Applications, vol. 202, pp. 225–233, Springer, Berlin, Heidelberg, 2011. View at: Publisher Site  Google Scholar
 F. Tao, Y. Hu, D. Zhao, and Z. Zhou, “Study on resource service match and search in manufacturing grid system,” The International Journal of Advanced Manufacturing Technology, vol. 43, no. 34, pp. 379–399, 2008. View at: Publisher Site  Google Scholar
 M. Zhang, C. Li, Y. Shang, and C. Li, “Research on resource service matching in cloud manufacturing,” Manufacturing Letters, vol. 15, Article ID S2213846318300154, pp. 50–54, 2018. View at: Publisher Site  Google Scholar
 X. Gong, C. Yin, and X. Li, “A grey correlation based supply–demand matching of machine tools with multiple quality factors in cloud manufacturing environment,” Journal of Ambient Intelligence and Humanized Computing, vol. 10, no. 3, pp. 1025–1038, 2019. View at: Publisher Site  Google Scholar
 W. Wang and L. Fei, “The research of cloud manufacturing resource discovery mechanism,” in Proceedings of the in International Conference on Computer Science Education, 2012. View at: Google Scholar
 T. Wang, S. Guo, and C.G. Lee, “Manufacturing task semantic modeling and description in cloud manufacturing system,” The International Journal of Advanced Manufacturing Technology, vol. 71, no. 912, pp. 2017–2031, 2014. View at: Publisher Site  Google Scholar
 H. Li, L. Zhang, and R. Jiang, “Study of manufacturing cloud service matching algorithm based on OWLS,” in Proceedings of the 26th Chinese Control and Decision Conference, CCDC 2014, pp. 4155–4160, Yinchuan, China, June 2014. View at: Google Scholar
 C. Yin, Q. Xia, and Z.W. Li, “Semantic matching technique of cloud manufacturing service based on OWLS,” Computer Integrated Manufacturing Systems, vol. 18, no. 7, pp. 1494–1502, 2012. View at: Google Scholar
 H.f. Li, X. Dong, and C.g. Song, “Intelligent searching and matching approach for cloud manufacturing service,” Computer Integrated Manufacturing Systems, vol. 18, no. 7, pp. 1485–1493, July 2012. View at: Google Scholar
 Y. Cheng, F. Tao, L. Zhang, and D. Zhao, “Dynamic supplydemand matching for manufacturing resource services in serviceoriented manufacturing systems: a hypernetworkbased solution framework,” in Proceedings of the ASME 2015 International Manufacturing Science and Engineering Conference, American Society of Mechanical Engineers, Charlotte, NC, USA, 2015. View at: Publisher Site  Google Scholar
 Y. Cheng, F. Tao, D. Zhao, and L. Zhang, “Modeling of manufacturing service supply–demand matching hypernetwork in serviceoriented manufacturing systems,” Robotics and ComputerIntegrated Manufacturing, vol. 45, pp. 59–72, 2017. View at: Publisher Site  Google Scholar
 F. Tao, L. Zhang, Y. Liu, Y. Cheng, L. Wang, and X. Xu, “Manufacturing service management in cloud manufacturing: overview and future research directions,” Journal of Manufacturing Science and Engineering, vol. 137, no. 4, Article ID 040912, pp. 1–11, 2015. View at: Publisher Site  Google Scholar
 G. P. Cachon and S. Netessine, “Game theory in supply chain analysis,” in Handbook of Quantitative Supply Chain Analysis: Modeling in the eBusiness Era, D. SimchiLevi, S. Wu, and Z. Shen, Eds., vol. 74, Kluwer, 2004. View at: Google Scholar
 P. De Giovanni, “Quality improvement vs. advertising support: which strategy works better for a manufacturer?” European Journal of Operational Research, vol. 208, no. 2, pp. 119–130, 2011. View at: Publisher Site  Google Scholar  MathSciNet
 N. Amrouche, G. MartínHerrán, and G. Zaccour, “Feedback Stackelberg equilibrium strategies when the private label competes with the national brand,” Annals of Operations Research, vol. 164, no. 1, pp. 79–95, 2008. View at: Google Scholar
 S. Jørgensen and G. Zaccour, “A survey of gametheoretic models of cooperative advertising,” European Journal of Operational Research, vol. 237, no. 1, pp. 1–14, 2014. View at: Publisher Site  Google Scholar
 S. Karray, “Cooperative promotions in the distribution channel,” Omega, vol. 51, pp. 49–58, 2015. View at: Google Scholar
 J.C. Lu, Y.C. Tsao, and C. Charoensiriwath, “Competition under manufacturer service and retail price,” Economic Modelling, vol. 28, no. 3, pp. 1256–1264, 2011. View at: Publisher Site  Google Scholar
 Y. Tian, J. Ma, and W. Lou, “Research on supply chain stability driven by consumer's channel preference based on complexity theory,” Complexity, vol. 2018, Article ID 7812784, 13 pages, 2019. View at: Publisher Site 