Information Technology Reference
In-Depth Information
-
pm
i
Sq
pm
j
:
pm
j
sequential to
pm
i
expresses that
pm
j
occurs just at the end
of
pm
i
;
-
pm
i
Ct
pm
j
:
pm
j
concomitant to
pm
i
expresses that
pm
j
occurs after the
beginning of
pm
i
and that it ends after
pm
i
;
-
pm
i
Cd
pm
j
:
pm
i
coincident with
pm
j
expresses that
pm
j
occurs after the
beginning of
pm
i
and ends before the end of
pm
i
;
-
pm
i
Pl
pm
j
:
pm
i
parallel to
pm
j
expresses that
pm
i
and
pm
j
start and end at
the same time;
-
pm
i
Ch
pm
j
: choice between
pm
i
and
pm
j
expresses the determinist choice
between
pm
i
and
pm
j
;
-
pm
i
In
pm
j
: independent order between
pm
i
and
pm
j
expresses that the
temporal relation between
pm
i
and
pm
j
is unknown.
As
with
the
definition
of
the
interpretation
function
int
,
we
define
the
interpretation function
int
for
PM
as follows:
int
:
PM −→ D
where
D
is the interpretation domain associated with the multimodal presentations.
D
is also defined according to the context of the HCI or of its designer and is not
developed in this chapter:
-
pm
i
Cc
pm
j
:
expresses
that
the
interpretations
of
pm
i
and
pm
j
are
independent;
-
pm
i
Cp
pm
j
:
expresses
that
the
interpretations
of
pm
i
and
pm
j
are
complementary without being redundant;
-
pm
i
Cr
pm
j
:
expresses
that
the
interpretations
of
pm
i
and
pm
j
are
complementary and that a part of their interpretations is redundant;
-
pm
i
Pr
pm
j
: expresses that the interpretation of
pm
i
is entirely included in
the interpretation of
pm
j
or that the interpretation of
pm
j
is entirely included in the
interpretation of
pm
i
;
-
pm
i
Tr
pm
j
: expresses that interpretations of
pm
i
and
pm
j
are equivalent.
Let
pm
be multimodal presentation belonging to
PM
, and
n
a natural number
greater or equal to 1, where
It
(
n, pm
) expresses the iteration
n
times the presentation
pm
.
Let
MOD
be the set of output modalities and
MED
the set of output medias. Let
the relation
rest
determine whether a modality can be resituated by a medium:
rest
:
MOD× MED −→ { true, false}