Information Technology Reference
In-Depth Information
, which expresses
the possibility of whether or not to share the media between more than one
modality of the same or different kinds. For example,
shar
(
screen
)=
true
,
shar
(
loud-speaker
)=
false
. The introduction of this property enables us to avoid
the collisions
5
on a media. The property of absence of collisions was expressed in the
formal model proposed in [MOH 09];
- the
- the shareability of media:
shar
(
med
i
)
∈{true, false}
priorities
between
modalities:
priority
(
mod
i
)
∈
N
.
For
example,
priority
(
speech
)
>priority
(
text
);
- the
priorities
between
modes:
priority
(
mode
k
)
∈
N
.
For
example,
priority
(
visual
)
>priority
(
auditory
) (hearing impaired user case).
4.5.2.9.
Dynamic semantics
The dynamic semantics of the allocation model describe the temporal ordering of
pm
i
and
pme
i
. It defines the operators
An
,
Sq
,
Ct
,
Cd
,
Pl
,
Ch
,
In
,
It
,
iter
and
choice
with the help of the relation
T
:
∀pm
i
∈ PM, ∀pm
j
∈ PM,
with
T
(
pm
i
)=(
deb
(
pm
i
)
, end
(
pm
i
))
,
T
(
pm
j
)=(
deb
(
pm
j
)
, end
(
pm
j
))
∃pm
k
∈ PM
, with
pm
k
=
pm
i
op
temp
pm
j
and:
T
(
pm
k
)=(
deb
(
pm
i
)
, end
(
pm
j
))
iff
op
temp
=
An
and
end
(
pm
i
)
<deb
(
pm
j
)
T
(
pm
k
)=(
deb
(
pm
i
)
, end
(
pm
j
))
iff
op
temp
=
Sq
and
end
(
pm
i
)=
deb
(
pm
j
)
T
(
pm
k
)=(
deb
(
pm
i
)
, end
(
pm
j
))
iff
op
temp
=
Ct
and
deb
(
pm
i
)
<deb
(
pm
j
)
< end
(
pm
i
)
< end
(
pm
j
)
T
(
pm
k
)=(
deb
(
pm
i
)
, end
(
pm
i
))
iff
op
temp
=
Cd
and
deb
(
pm
i
)
<deb
(
pm
j
)
< end
(
pm
j
)
< end
(
pm
i
)
T
(
pm
k
)=(
deb
(
pm
i
)
, end
(
pm
j
))
iff
op
temp
=
Pl
and
deb
(
pm
i
)=
deb
(
pm
j
)
∧ end
(
pm
j
)=
end
(
pm
i
)
5 Representing two modalities in the same temporal window, on a non shareable media such as
presenting, at the same time, a tone with a sentence produced by speech synthesis.
