Keywords

1 Introduction

Service composition in cloud computing or on-the-fly computing environments is not just technically challenging, but also offers interesting questions that arise from an economic perspective. Strategic decisions with respect to service quality and prices influence the interaction between users, providers of composed services (also referred to as intermediaries), and providers of single services. A composed service with complementary single services as inputs requires negotiations with different service providers interdependently about prices and qualities. However, the providers of single services strategically determine quality investments and thus the quality level to maximize their individual profits. Therefore, the intermediary selling the composed service has to pay the service providers accordingly to induce them to deliver the single services such that they fulfil the requirements to satisfy the users’ demand. We propose a model that allows us to analyse the negotiations between the intermediary and the service providers and to investigate the evolution of service quality and the investments therein in a dynamic context using a differential game.

2 Literature

Formally, we combine models from cooperative bargaining theory and from noncooperative differential game theory to describe the interaction on the market for composed services. More precisely, for the price negotiations we use the well established Nash [9] bargaining solution. The use of multilateral Nash bargaining is inspired by the analysis in [6]. They investigate negotiations in vertical supply relationships between one manufacturer and two retailers and make use of the Nash bargaining solution to describe simultaneous and sequential price negotiations. In our model we add a dynamic variable by considering the demand of the end user and thus the negotiations depending on the qualities of the single services. We assume that simultaneous multilateral price negotiations take place at every instant in time. Using a differential game we investigate the dynamic evolution of the service quality. A comprehensive introduction into differential games is [5]. In particular, the evolution of service quality is modelled using the techniques for capital accumulation games [5, Chapter 9]. A similar game is also used to describe the evolution of quality in health care markets [4].

A systematic overview of the literature on service composition in cloud computing environments can be found in [8]. Here, the intermediary is also referred to as a “cloud service broker”. They describe the analysis of “dynamically contracting service providers” as one of the “most remarkable challenges” for the cloud computing service composition problem [8, Sect. 4.2, p. 3813]. A comprehensive survey on the pricing of cloud services is [2]. Various pricing schemes and techniques are systematically presented and compared with respect to their advantages and disadvantages as well as fairness and implementation in practice. For cloud instance pricing, when jobs arrive sequentially following a specific stochastic process, two techniques such as fixed unit prices and spot markets have been explicitly investigated and compared in [1]. The authors provide evidence that a fixed unit price seems to dominate a combination of both pricing models in terms of expected revenue. Different approaches and protocols for bargaining-based negotiations of service level agreements in cloud computing are surveyed in [7, Sect. 4.2.1, p. 51:12f]. In particular, an application of cooperative bargaining theory to web services for bilateral negotiations between a user and a service provider is [10]. While the focus of these models is often primarily on the pricing or negotiation procedure, our model incorporates the interaction of different types of service providers that is required for trading composed services. A simple model describing the interaction between an intermediary and two service providers has already been analysed in [3]. However, the model was only able to capture two different quality levels of the composed and single services and the dynamic analysis was by means of a repeated game.

We extend this analysis here in the sense that the quality of a single service is a continuous state variable and the overall quality can range from complements to substitutes. This means that we include a parameter describing how the pure quality of a single service may or may not be compensated by the good quality of another single service. The investment decisions to change the quality level of the service providers are strategic. The differential game framework sets up a dynamic optimal control problem for each service provider and thus allows us to investigate the evolution of service quality over an infinite time horizon. Quality-dependent negotiations take place at every instant in time and are modelled by using cooperative bargaining theory.

3 Model

We study a market consisting of three types of market participants: users, intermediaries and service providers. An intermediary purchases single services and combines them, where the quality of the composed service depends on the qualities of the single services delivered by the service providers. Finally, the composed service is sold to the users. Here, we focus on the interaction between one intermediary as the seller of a composed service to the users and two service providers as the sellers of single services to the intermediary. Each of the service providers is assumed to produce one single service. These services are supposed to have complementary properties, i.e., the intermediary needs to bargain with both service providers and the overall quality depends on both single services. The economic interaction on the market for composed services is illustrated in Fig. 1. Time is indexed by \(t \in \mathbb {R}_+ := [0, \infty )\). However, for ease of notation the time index is generally omitted.

Fig. 1.
figure 1

Market interaction

4 Demand and Bargaining

The quality of the composed service is a function of the single services’ qualities

$$\begin{aligned} \Theta (\theta _1,\theta _2) := \left( \theta _1^\rho + \theta _2^\rho \right) ^{\frac{1}{\rho }} \end{aligned}$$
(1)

where \(\theta _i\in \mathbb {R}_+\) denotes the quality of the single service produced by provider \(i=1,2\) and \(\rho \in (-\infty ,1)\) is a measure of substitutability between the two single services. Technically, the quality of the composed service as in (1) is determined by a function with constant elasticity of substitution (CES) between the two single services. For the limit cases we get some special functions, namely

$$\begin{aligned} \Theta \left( \theta _1,\theta _2\right) = {\left\{ \begin{array}{ll} \min \left( \theta _1, \theta _2\right) \quad &{} \text {for } \rho \rightarrow -\infty ,\\ \theta _1\theta _2 \quad &{} \text {for } \rho \rightarrow 0,\\ \theta _1 + \theta _2 \quad &{} \text {for } \rho \rightarrow 1. \end{array}\right. } \end{aligned}$$
(2)

For a given overall quality of the composed service Fig. 2(a) illustrates the special cases. That is, for \(\rho < 0\) the service qualities are complementary while for \(\rho > 0\) they are substitutes.Footnote 1

The users’ demand for the composed services is modelled by a demand function

$$\begin{aligned} D(\Theta ,P) := {\left\{ \begin{array}{ll} \displaystyle \frac{\Theta (\theta _1,\theta _2)}{P^2}\quad &{}\text {if both services are provided}\\[2mm] 0 &{}\text {otherwise} \end{array}\right. } \end{aligned}$$
(3)

that describes the quantity the users are willing to purchase for a given price \(P \in \mathbb {R}_+\) and overall quality level \(\Theta (\cdot )\) of the composed service. In addition, the users’ demand for a single service is supposed to be zero. These assumptions on the user’s demand imply the following for the composition of services: Single services themselves are assumed to be complementary, i.e., both single services are needed to produce the composed service; while the qualities of the single services may be substitutable or complementary, i.e., quality differences between both single services may cancel out to a given extent in the composed service. The demand function is strictly decreasing in price and strictly increasing in quality. This means that at a given quality level, higher prices lead to a lower demand of composed services; and at a given price level, higher quality of the composed service increases the quantity demanded. The demand function is illustrated in Fig. 2(b) and is similar to the demand function analysed in the analytical example of [3, Appendix A].

Fig. 2.
figure 2

Quality and demand of the composed service

In order to trade the single services the intermediary has to agree with each service provider on a price. We refer to this price as a transfer \(T_i\) in the following. To model the negotiations between the intermediary and the service providers we make use of cooperative bargaining theory (see [9]). We look at the individual profits from trading the single services. The intermediary is not only concerned with costs \(T_i\), but must take into account the users’ demand as well. The service provider on the other hand has revenues of \(T_i\), but in addition production costs for supplying the single service. The overall cost function for each service provider i captures production as well as investment costs

$$\begin{aligned} C_i(\theta _i, I_i, D) := \frac{1}{2}\Big (\alpha _i\theta _i^2 + \beta _i I_i^2\Big ) + \gamma _i D(\Theta ,P) \end{aligned}$$
(4)

with \(\alpha _i, \beta _i, \gamma _i > 0\) and for \(i=1,2\). Here \(I_i\) denotes the investment to improve the quality of service \(\theta _i\), i.e., one unit of investment comes with quadratic costs. In addition, production costs are linear increasing to cover a given demand and quadratic in the supplied quality level. The intermediary must pay some transfer \(T_i\) to each service provider to incentivise production. The profits of the three parties can now be stated as

$$\begin{aligned} \Pi (P,D,T_1,T_2)&:= P\cdot D(\Theta ,P) - \sum _{i=1}^2{T_i} \end{aligned}$$
(5)
$$\begin{aligned} \pi _i(T_i,C_i)&:= T_i - C_i(\theta _i, I_i, D) \end{aligned}$$
(6)

where \(\Pi (\cdot )\) is the profit of the intermediary, i.e., revenues from selling the composed service to the users minus transfers to the input suppliers. And \(\pi _i(\cdot )\), for \(i=1,2\), denotes the profit of the service providers, i.e. transfers from providing the single service minus total costs. The individual transfer schedule is the result of a simultaneous negotiation between the intermediary and the two service providers.

To ensure that negotiations actually take place we must assume that revenues of the intermediary exceed the production costs, i.e., there exists some surplus to be divided among the three parties

$$\begin{aligned} P\cdot D(\Theta ,P) > \sum _{i=1}^2{C_i(\theta _i, I_i, P)} . \end{aligned}$$
(7)

If this condition did not hold, the analysis of the economic interaction was trivial in the sense that there is no allocation of the surplus that induces non-negative profits simultaneously for all negotiating parties and thus no trade would take place. Moreover, the profits of the negotiating parties shall be non-negative, i.e.,

$$\begin{aligned} \Pi (P,D,T_1,T_2) \ge 0 \quad \text {and} \quad \pi _i(T_i,C_i) \ge 0. \end{aligned}$$
(8)

Equation (8) is known to be the individual rationality or participation constraints. In case of a disagreement the payoff is assumed to be zero. Hereby, we implicitly suppose that the disagreement with one service provider means that the composed service cannot be produced, since the single services are assumed to be complementary. This also implies that the profit of the intermediary cannot become positive when agreeing only with the other service provider as users do not demand single services.

We use the well-known Nash bargaining solution to explicitly determine these transfers [9]. The Nash bargaining solution has the advantage that it is characterized by some specific axiomsFootnote 2 and leads to strictly positive profits of the intermediary as well as the service providers. Consider the negotiations between the intermediary and service provider i. The Nash bargaining solution then satisfies

$$\begin{aligned}&T^N_i \in \mathop {{{\mathrm{\arg \max }}}}\limits _{T_i} \; \Pi (P,D,T_i,T_{3-i}) \cdot \pi _i(T_i,C_i) \quad \text {s.t. (8) holds}. \end{aligned}$$
(9)

Note that the Nash product for the negotiations with service provider i in (9) as well as the participation constraint in (8) depend on the outcome of the negotiations between the intermediary and the other service provider \(3-i\). The complementarity of the single services is reflected by taking a zero disagreement payoff in case one of the negotiations fails.

The resulting transfer is then readily given by

$$\begin{aligned} T^N_i(P,D,C_i,T^N_{3-i}) = \frac{1}{2}\left( P\cdot D(\Theta ,P) + C_i(\theta _i, I_i, D) - T^N_{3-i}(P,D,C_{3-i},T^N_i)\right) . \end{aligned}$$
(10)

For \(i=1,2\) we have two equations in two unknowns \(T^N_i(\cdot )\). Hence, we may explicitly solve for the transfer and obtain

$$\begin{aligned} T^N_i(P,D,C_i,C_{3-i}) = \frac{1}{3}\left[ P\cdot D(\Theta ,P) + 2C_i(\theta _i, I_i, P) - C_{3-i}(\theta _{3-i}, I_{3-i},P)\right] . \end{aligned}$$
(11)

This means that the surplus that exists on the market for selling the composed service taking the service providers’ costs into account is evenly split among the two service providers and the intermediary. Finally, the intermediary determines the sales price of the composed service. In every period the intermediary solves the following (static) program

$$\begin{aligned} P^* = \mathop {{{\mathrm{\arg \max }}}}\limits _P \Pi (P,D,T^N_1,T^N_2) = 2(\gamma _1 + \gamma _2). \end{aligned}$$
(12)

Note that \(P^*\) is a datum determined by exogenous parameters, i.e., profits are given by

$$\begin{aligned} \Pi (P^*,D,T^N_1,T^N_2) = \pi _i(T^N_i,C_i) = \frac{1}{3}\left[ P^* \cdot D(\Theta , P^*) - \sum _{i=1}^2{C_i(\theta _i, I_i, P^*)} \right] . \end{aligned}$$
(13)

Since every party earns the same profit, we may stick to one symbol \(\pi \). After substituting (3), (4) and (12) into (13) one arrives at

$$\begin{aligned} \pi (\theta ,I) = \frac{1}{6} \left[ \frac{\left( \theta _1^\rho + \theta _2^\rho \right) ^{\frac{1}{\rho }}}{2 (\gamma _1 + \gamma _2)} - \Big (\alpha _1 \theta _1^2 + \alpha _2 \theta _2^2 + \beta _1 I_1^2 + \beta _2 I_2^2\Big )\right] \end{aligned}$$
(14)

where \(\theta = (\theta _1,\theta _2)\) and \(I = (I_1, I_2)\). Note that costs of service composition may be easily introduced into the model. As the surplus resulting from the composed service is always evenly distributed among the negotiating parties we may include costs of service composition directly into Eqs. (5) and (7).

For the dynamic analysis it is crucial to note that the bargaining process takes place in every period. Therefore, (14) holds at every point in time \(t\in \mathbb {R}_+\). This reduces the entire profit path \(\{\pi (\theta (t),I(t)) : t\in \mathbb {R}_+\}\) into an expression which solely depends on the respective quality and investment level in each period where \(\theta _i(t) : \mathbb {R}_+ \rightarrow \mathbb {R}_+\) and \(I_i(t) : \mathbb {R}_+ \rightarrow \mathbb {R}\), respectively, are time-dependent functions. Next, we set up a differential game to investigate the dynamic interaction of both service providers and show how to determine the optimal investment decision and the associated path of the overall quality level.

5 Dynamics of Service Quality and Investments

In this section we analyse the service providers’ incentives to invest into the quality of their single services. Each service provider i can govern the quality level over time by investing \(I_i\) (control variable). This means the next periods’ quality is given by the current investment minus a loss in quality that appears over time (depreciation). The law of motion for the state variable can be modelled by a differential equation

$$\begin{aligned} \forall t\in \mathbb {R}_+ : \dot{\theta }_i = I_i - \delta \theta _i \end{aligned}$$
(15)

where \(\delta \in (0, 1]\) denotes depreciation of quality and we used the abbreviation \(\dot{\theta }_i(t) := \frac{d\theta _i}{dt}(t)\). By introducing a depreciation of quality we assume that maintaining the service quality requires continuous investments. That is, \(I_i\) denotes gross investment. Here, the depreciation rate of quality captures that a service provider has to continuously take care of the quality of his service. For software services this is by continuously adapting the software to technological changes in the runtime environments, dependencies with other services or security requirements, for example. In our theoretical analysis, the depreciation rate remains a parameter of the model and may range from almost no reduction of quality over time to a complete reduction, making the software without investments in the extreme case useless. Equation (15) links the current quality and the investments into quality of a service provider. Thus, the optimization problem of service provider i boils down to choose a stream of investment levels \(\{I_i(t) : t\in \mathbb {R}_+\}\) as to maximize his discounted profits with respect to the flow constraints and some given initial quality level

$$\begin{aligned} \begin{aligned}&\max _{\{I_i(t)\}} \int ^\infty _0{e^{-rt} \pi (\theta , I) dt}\\ \text {s.t. }&\dot{\theta }_i = I_i - \delta \theta _i \quad \text {and} \quad \theta _i(0) > 0 \end{aligned} \end{aligned}$$
(16)

where \(r > 0\) denotes the time preference rate. Future profits are discounted since we presume that economic agents are impatient, i.e., they rather prefer to earn profits today than tomorrow.Footnote 3

Next, the best response of a service provider is determined. The dynamic optimization problem is solved by applying the maximum principle [5, Theorem 4.2]. We set up the current value Hamiltonians for each service provider i by

$$\begin{aligned} H_i(\theta ,I,\mu _i) = \pi (\theta ,I) + \mu _i(I_i - \delta \theta _i). \end{aligned}$$
(17)

where \(\mu _i\) is the costate variable. The current value Hamiltonian measures current profits as well as future profits which arise by investing into the service quality. Note that each service provider faces an intertemporal trade-off when making an investment decision. Current investment instantly lowers profits due to investment costs, but also raises expectations of future gains from the investment due to an increase in the service quality. The costate variable is thus considered as a shadow price which translates gains of investment into current profits. Inserting the service provider’s profit from (14), the 1. first order condition for optimal investment reads

(18)

The interpretation of (18) is straightforward: the larger the investment cost parameter given by \(\beta _i\), the smaller the investment and the larger future gains of an increase in quality measured by the shadow price \(\mu _i\), the higher the investment. That is, current marginal costs of investment must be outweighed by future gains of current investment. The 2. first order condition gives the evolution of the costate over time

(19)

Since we are rather interested in evaluating the dynamics in the \((I_i, \theta _i)\) space, we may differentiate (18) over time yielding

$$\begin{aligned} \dot{\mu }_i = \frac{\beta _i}{3}\dot{I}_i \end{aligned}$$
(20)

and then combine it with (19) using (18) which gives us

$$\begin{aligned} \dot{I}_i = I_i(\delta + r) + \frac{\alpha _i}{\beta _i}\theta _i - \frac{\theta _i^{\rho -1}\Big (\theta _1^\rho + \theta _2^\rho \Big )^{\frac{1-\rho }{\rho }}}{4\beta _i(\gamma _1 + \gamma _2)} . \end{aligned}$$
(21)

Considering both service providers, we now have a four-dimensional system of differential equations which is denoted by \(\mathcal {D}(\dot{\theta }, \dot{I})\). The dynamic equilibrium or fixed point can be found by solving \(\mathcal {D}(0, 0)\) for I and \(\theta \) and is given byFootnote 4

$$\begin{aligned}&\tilde{I}_i =\frac{\delta }{4(\gamma _1 + \gamma _2) \xi _i}\Bigg (1+ \left( \frac{\xi _i}{\xi _{3-i}}\right) ^{\frac{\rho }{2-\rho }}\Bigg )^{\frac{1-\rho }{\rho }} ,\end{aligned}$$
(22)
$$\begin{aligned}&\tilde{\theta }_i = \frac{\tilde{I}_i}{\delta } \end{aligned}$$
(23)

with \(\xi _i := \delta \beta _i(\delta + r) + \alpha _i\) and \(\xi _{3-i} :=\delta \beta _{3-i}(\delta + r) + \alpha _{3-i}\) for \(i=1,2\). Note that for particular values of \(\rho \) we haveFootnote 5

$$\begin{aligned} \tilde{\theta }_i = {\left\{ \begin{array}{ll} \displaystyle \frac{1}{4(\gamma _1 + \gamma _2)} \cdot \frac{1}{\xi _1 + \xi _2} \quad &{} \text {for } \rho \rightarrow -\infty ,\\[4mm] \displaystyle \frac{1}{4(\gamma _1 + \gamma _2)} \cdot \frac{1}{\xi _i} \quad &{} \text {for } \rho \rightarrow 1. \end{array}\right. } \end{aligned}$$
(24)

If the qualities of the single services are complementary, then service provider i also takes into account the cost parameters of \(3-i\) and both providers will supply their single service in the same quality. This feature essentially captures the Leontief characteristics of the quality for the composed service. No service provider has an incentive to invest into quality of the single service if the overall quality is solely determined by the other provider. The dynamic equilibrium is in fact identical for both service providers for \(\rho \rightarrow -\infty \). While if qualities are perfect substitutes, a service provider is concerned only about his firm-specific quality and investment costs. In addition, we see that the long-run quality level is unambiguously increasing in all exogenous parameters. The economic interpretation is as follows: Since \(\alpha _i, \beta _i\) and \(\gamma _i\) are cost parameters for producing \(\theta _i\), we will observe a low long-run quality level for high production costs. If \(\delta \) is high, then we will observe a low \(\tilde{\theta }_i\), because quality depreciates rather rapidly over time. To maintain some specific quality level the service provider must make large gross investments \(\tilde{I}_i\), which are costly. Finally, \(\tilde{\theta }_i\) is decreasing in r. That is, if the service provider is impatient and does not value future profits that much, he invests little and the long-run equilibrium is low as well.

The stability of the fixed point can be checked by evaluating the eigenvalues of the Jacobian matrix. It turns out that the eigenvalues are real and opposite in sign. That is, there are two positive and two negative eigenvalues, indicating that the system is saddle point stable.Footnote 6 There also exists a unique saddle path converging to the dynamic equilibrium.

6 Simulation

Since the problem is open loopFootnote 7 in nature, we are dealing with an initial value problem. That is, given \(\theta _i(0)\) we are concerned only with determining optimal initial investment decisions \(I_i(0)\), for \(i=1,2\). The system dynamics are then fully characterized by the four differential equations \(\mathcal {D}(\dot{\theta }, \dot{I})\). However, there are infinitely many possibilities to pick initial investment \(I_i(0) \in \mathbb {R}\). To pin down the unique saddle path we make use of the 3. first order condition, namely the transversality condition

$$\begin{aligned} \lim _{t \rightarrow \infty } e^{-rt}\mu _i(t)\theta _i(t) = 0. \end{aligned}$$
(25)

The transversality condition ensures that the system moves along the saddle path, because it rules out exploding paths which diverge from the dynamic equilibrium. Hence the transversality condition gives rise to a terminal condition. If investment is in steady state at some time instance \(t = t_f\), then it has to be stuck there forever, i.e., \(\lim _{t_f \rightarrow \infty } I_i(t_f) = \tilde{I}_i\) for \(i=1,2\).

Now we are dealing with a 4D system of differential equations with two initial and two terminal conditions. We then use a numerical boundary value problem solver to simulate the system. To simulate the model we have to parametrize it. We used the following parameters throughout \(\theta _1(0) = \theta _2(0) = 3\), \(\delta = 1\), \(r = 0.05\), \(\alpha _1,\beta _1,\gamma _1 = 0.1\) and \(\alpha _2,\beta _2,\gamma _2 = 0.2\). We vary \(\rho \in \{-5,0.9\}\) to emphasize the main feature of the model. That is, what the optimal quality level of a single service is if the overall quality of the composed service is either complementary or substitutable. The respective steady states are given by (23) and read

$$\begin{aligned} \rho = 0.9&: \quad \tilde{\theta }_1 = \tilde{I}_1 = 4.3 \quad \text {and} \quad \tilde{\theta }_2 = \tilde{I}_2 = 2.3\end{aligned}$$
(26)
$$\begin{aligned} \rho = -5&: \quad \tilde{\theta }_1 = \tilde{I}_1 = 1.3 \quad \text {and} \quad \tilde{\theta }_2 = \tilde{I}_2 = 1.2 \end{aligned}$$
(27)

If the services are substitutable (\(\rho =0.9\)), then cost parameters drive the long-run equilibrium. Here the cost advantage of service provider 1 yields a higher investment and thus also a higher quality in the dynamic equilibrium. On the other hand, if services are complementary (\(\rho =-5\)), the cost advantage nearly vanishes and both service providers adjust quality towards some similar level. Figure 3 displays the respective time paths \(\theta _i(t)\) and \(I_i(t)\) over a time horizon of five periods \(t \in [0,5]\).

Fig. 3.
figure 3

Solution paths

Consider the case \(\rho = 0.9\) (cf. Fig. 3(a)). Firm 1 invests slightly more than the long-run equilibrium level and thus increases quality over time \(\dot{\theta }_1 > 0\). Service provider 2 on the other hand invests less and thus the quality decreases. Note that the time paths of quality steadily diverge from the common origin \(\theta _1(0) = \theta _2(0)\). Consider the case \(\rho = -5\) (cf. Fig. 3(b)). Even though the cost parameters did not change, the dynamics fundamentally differ with respect to the first case. Here the shape of the time path is congruent for both service providers. Service provider 1 now adjusts the quality towards the less efficient provider 2, i.e., both service providers decrease quality over time and reach some “close” equilibria due to the complementarity of the services. Now service provider 1 has no incentive to produce a high quality service, since the overall quality is strongly determined by the lower quality.

7 Conclusion

We introduced a model with an intermediary producing a composed service using two single services to investigate the dynamic interaction on the market for composed services. While considering in principal a composed service with two complementary single services as inputs, our analysis is valid for different assumptions on how the quality of the composed service is actually determined from the single services’ qualities. Price negotiations have been modelled cooperatively by simultaneously applying the Nash bargaining solution in negotiations between the intermediary and each single service provider. We have shown that the surplus that is generated from producing and selling the composed service to a user is evenly divided among the intermediary and the two service providers. The dynamic evolution of quality and the investments therein have been analysed using a differential game with an open loop strategy profile. We find that there exists a unique saddle point for the quality and respective investment level. That is, the equilibrium is generally unstable, but reachable on the unique saddle path. We pin down the saddle path by applying a boundary value problem solver. Depending on the quality substitutability the dynamics fundamentally differ for fixed, but asymmetric cost parameters. That is, cost advantages are of minor interest if the overall quality heavily depends on both services. This means we observe that there is a crucial impact of how quality differences between single services may or may not be compensated when the quality of the composed service is determined.

Beyond our analysis here, several extensions of the model are possible. First of all, we did not explicitly fix a negotiation protocol. In fact, existing approaches and protocols implementing the Nash bargaining solution may be easily incorporated into the model without changing our observations. Surely the impact of competition between several intermediaries producing composed services and the use of more complex models of service composition are worth further investigation in future work. For instance, typically different alternative single services may be available for a composed service. Thus, besides complementary also substitutable single services may be considered. Competition between service providers may as well have an effect on the bargaining power of the intermediary. In addition, the comparison of different pricing models in an additional direction for further research.