Information Technology Reference
In-Depth Information
event e
t
0
t
1
Time
action x
event e
event f
t
0
t
f
t
1
Time
action x
Figure 6.8:
Successful (top) and unsuccessful (bottom) sensor or effector
action
x
.
success
= false: Due to a constraint violation, action
x
does
not finish successfully. In general, a constraint violation will
trigger a corresponding
conflict-event
f
. This event will be
scheduled at
t
f
with
t
f
denoting the point in time where the
first constraint violation occured. In this case, the sensor
or effector action
x
is interrupted by an event
f
at time
t
f
(
t
0
≤
t
f
<t
1
). The action
x
fails and the states of model
and agent are altered depending on event
f
.
Constraints used for validation and verification purposes may
behave different. They are not restrained to just triggering
an event but may for example lead to an immediate abortion
of the current simulation. This kind of special behavior is
not considered here.
