Tasks
ModelName |
Description |
Strategy |
StrategyType |
RealizedRequirement |
EnvRoadTask1 |
generating cars periodically |
If curMode is period, generate every perDur a new car.
Increment noOfCars accordingly |
f |
|
EnvRoadTask2 |
generating cars on event |
After receiving genCars, create the given number of cars. Increment
noOfCars
accordingly. Set curMode to event. |
f |
|
EnvRoadTask3 |
set period to create cars |
By receiving setPeriod, set curMode to period and set
perDur to the given value. |
f |
|
EnvRoadTask4 |
signaling number of cars |
If noOfCars becomes greater than maxNoOfCars, send newCarSens
to the environment. If noOfCars becomes lower than maxNoOfCars,
send newCarSens (0). |
f |
|
EnvRoadTask6 |
decrementing cars |
After receiving gateOpen, decrement noOfCars every decrPer
seconds, until noOfCars = 0 or signal gateClosed is received. |
f |
|
EnvRoadTask7 |
initializing |
After creation, wait for signal setPeriod, before starting to
periodically create the cars. |
f |
|
EnvRoadTask8 |
set period to decrement cars |
After receiving setDecrPer, set decrPer to the given
value. |
f |
|