Books for you

The notation {rate1/
minute} describes the rate.
The signal car movement data supplies the data required to display the
mileage since usage was started. The interval in which this data arrives is not
described. We add the word overwrite next to the output pin to ensure that the
action always processes the most current values. This means that the current
token will always be the most recent.
The fl ow property is denoted by {stream} at the input pin of the action show
car usage data . This causes the action to accept data over this pin ??? in active operation
??? rather than at the startup time.
FIGURE 2-63
The activity ??? check usage right ??? with object fl ow.
?«essential?»
act Check usage right
Status display
(yellow,blinking=true)
Request usage
right
Status display
(green,blinking=false)
[usage right o.k.]
[usage not authorized]
Usage
right
Customer
Car
Check
emergency
driving
Usage right
Usage right
Car
Customer
[emergency driving]
[no emergency driving]
Timeout reservation
system
Usage not
authorized
{probability=10%}
101 2.


Pages:
207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231