Information Technology Reference
In-Depth Information
4.5.2.2.
Syntax
Let
I
be the set of continuous
4
information to be fissioned, and
UIE
the set of
units of elementary information. The syntax of the fission model is expressed in BNF
grammar as follows:
I
::
=
UIE |
(
op
temp
,op
sem
)(
I,I
)
| It
(
n, I
) with
n ∈
N
, where:
-
op
temp
is a temporal binary operator belonging to
TEMP
:
TEMP
=
{An,Sq,Ct,Cd,Pl,Ch,In}
;
-
op
sem
is a binary semantic operator belonging to
SEM
:
SEM
=
{Cc,Cp,Cr,Pr,Tr}
;
-
It
is a binary temporal operator expressing the iteration.
The temporal and semantic binary operators are defined on traces of events
expressing the production of information
i
i
∈ I
.
op
temp
:
I × I −→ I
op
sem
:
I × I −→ I
It
:
N
× I −→ I
Let
i
i
,
i
j
be two information belonging to
I
. Then:
-
i
i
An i
j
:
i
i
anachronic
i
j
expresses that
i
j
occurs after a period of time following
the end of
i
i
;
-
i
i
Sq i
j
:
i
j
sequential to
i
i
expresses that
i
j
occurs right at the end of
i
i
;
-
i
i
Ct i
j
:
i
j
concomitant to
i
i
expresses that
i
j
occurs after the beginning of
i
i
and that it finishes after
i
i
;
-
i
i
Cd i
j
:
i
i
coincident with
i
j
expresses that
i
j
occurs after the beginning of
i
i
and ends before the end of
i
i
;
-
i
i
Pl i
j
:
i
i
parallel to
i
j
expresses that
i
i
and
i
j
start and finish at the same time;
-
i
i
Ch i
j
: choice between
i
i
and
i
j
expresses the deterministic choice between
i
i
and
i
j
;
-
i
i
In i
j
: independent order between
i
i
and
i
j
expresses that the temporal relation
between
i
i
and
i
j
is unknown.
4 Information whose restitution to the user takes a significant time.
