Architecture Modeling - SPES 2020

6.1.1.1.1.2
Intervvals
Intervalss
describe the
“chunk” of time betweeen
two points s in time. The ese points inn
time can ei ither be a
event orr
a timed value.
In case of events thee
first occurr rence of the startevent sstarts
the inte erval and
the first ooccurrence
oof
the endeve ent ends the interval:
In case
timers.
[starteveent,
endev vent]
that timed vvalues
are the
boundaries
for an in nterval there must be reeference
poin nt for the
whenever
Architecture Modeling
Request occurs o Ressponse
occ curs durin ng [0ms,500ms].
The times iin
the action part refer too
the activati ion point of the t pattern thhrough
the trigger. t In
that sense it is not allow wed to use “nnot
bound” times
values in the triggeer.
The only exception e
where timed
values are e allowed in the trigger are a “and then”
statementts,
where the e interval
refers to thee
occurrence e of the previious
event.
Open/CClosed
inttervals
The bracces
for writing
the interva als can be ussed
to expres ss open and closed intervvals:
[a,b] -> close ed, closed intterval
]a,b[ -> open ned, opened interval
Butt
also the oth her combinattions
are pos ssible:
[a,b[ -> close ed, opened innterval
]a,b] -> open ned, closed innterval
Closed intervals
ends
indicate that
the point iin
time where e the event occurs o still beelongs
to the e interval,
open inteerval
ends inndicate
that the
point in time
at the ev vents represe enting the boorder
does not
belong
to the intterval.
The exact
semanticss
of open and d closed inteervals
are de escribed by showing s the nneeded
mod difications
of the foollowing
basic
block that constrains tthree
events s to occur in a given ordder
without re espect to
time; thiss
generic kinnd
of interval
is denoted by “{..}”. This
basic bloc ck is used too
build complex
event
expressiion
or whole patterns:
118/ 156