fulfillment of his/her expectations.
At this point, we have analyzed the quality defini-
tion given in (ISO, 2015) as seen from the engineer’s
and user’s point of view. However, it is also possible
to understand it from the point of view of the business.
This approach was formalized in (Van Moorsel, 2001)
with the definition of the Quality of Business (QoBiz)
as “all of the parameters that can be expressed in mon-
etary units”. In this study, Van Moorsel identifies a
direct relation between the QoE and QoBiz, based on
pricing schema of the service and the willingness to
pay of the customer (Van Moorsel, 2001). These rela-
tionships have been reaffirmed by Liao et al., stating
that customers make comparisons between the price
and their expectations with their previous experiences
with similar services (Liao et al., 2015). Having this
in mind, we will use this fact to consider the pric-
ing schema as the main QoBiz parameter of the QoE
analysis, in order to study how these types of busi-
ness decisions can influence the user’s expectations
and, therefore, the QoE.
2.3 Extended Finite State Machines
Multiple definitions of this concept have been given in
the literature, being most of them more related with
mathematical formalisms that go beyond the scope
of this work. In the context of this work, we will
use the following definition given in (Petrenko et al.,
2004). Given X (the set of inputs), Y (the set of out-
puts), R (the set of parameters) and V (the set of con-
text variables), we denote R
x
⊆ R the set of input pa-
rameters and D
R
x
the set of valuations (as vectors) of
these parameters for an input x ∈ X. Similarly, for
an output y ∈ Y we define the set of output parame-
ters and their valuations R
y
and D
R
y
. Finally, D
V
de-
notes a set of vectors of context variables valuations
v. Being this said, an Extended Finite State Machine
(EFSM) M over X, Y, R, V is a pair (S, V ) of a finite
set of states S and a finite set of transitions T be-
tween states in S, such that each transition t ∈ T is
a tuple (s, x, P, op, y, up, s
0
) where: s, s
0
∈ S are the ini-
tial and final state of the transition respectively; x ∈ X
is the input of the transition; y ∈ Y is the output of the
transition; P, op and up are functions defined over
input parameters and context variables in V , where
P : D
R
x
× D
V
→ {Tr ue, False} is the predicate of the
transition, op : D
R
x
×D
V
→ D
R
y
is the output parame-
ter function of the transition, and up : D
R
x
×D
V
→ D
V
is the context update function of the transition.
An example of an EFSM is presented in
Figure 1 where we can identify, for example,
the set of inputs X = {connect, option, lo-
gin
credentials, validate, user card data, “live”,
stop stream, “home button”}, the set of states
S = {Idle, Choosing subscription or login, wait-
ing for personal data, waiting for card data, ser-
vice ready, stream delivery, stop stream}, and,
for example, a transition t = (stream delivery,
NULL, ‘if(stream flag ==1)’,
/
0, stream data, f
1
,
stream delivery).
2.4 Business Model Aware QoE
Framework
As stated in the previous paragraphs, this paper aims
to integrate business-related parameters into the eval-
uation of the QoE. This new approach required the de-
velopment of a new QoE evaluation framework flexi-
ble enough to include such kind of new variables that
can influence the perceived quality of an OTT service.
The framework is used to analyze and calculate
the QoE of an OTT service. An EFSM is used to rep-
resent: the stages of the user-service interaction, the
inputs given to the service and the outputs to an end-
user. This constitutes the first step of the framework,
producing a preliminary model of the service that rep-
resents the functional and some non-functional re-
quirements of the service.
This preliminary model is then augmented in or-
der to include the quality parameters that will be an-
alyzed. This augmentation is done through introduc-
ing context variables in the machine representing the
quality parameters. To accomplish this step, it is re-
quired to provide: (1) the specification about how
these variables are measured and, (2) how and where
in the model their values are updated. This second
step finalizes with an augmented model, establishing
how the quality indicators are updated at each step.
Finally, the model can be used to analyze the QoE
of the service. To achieve this, one can calculate the
l-equivalent form of the model, which shows all the
possible end-user scenarios reachable from the initial
state to a fixed length l as branches of a tree-shaped
model. At each one of these branches it is possible to
apply a proper QoE model that correlates the values
of the context variables in order to obtain the value of
the QoE of the branch.
In this paper, we use this approach to model and
augment a real OTT service, namely beIN Sports
Connect. The augmented EFSM is shown in Figure 1.
Further details about how to obtain this model can be
found in (Rivera et al., 2015).
In the model used in this work, we consider three
groups of quality parameters: objective, subjective
and business-related parameters. With these variables
we aim to model the stream state of the service (the
video is being streamed or not), the confidence of the
ICSOFT-PT 2016 - 11th International Conference on Software Paradigm Trends
140