Description Class RangeActuator

INTENTION

This class provides all definitions to describe a range actuator. A range actuator is an actuator where a range of values, i.e. a set containing at least two values, can be adjusted. Consider in contrast to this the description class ToggleActuator.

Note that this class can be used to describe an actuator that already exists in the environment. Therefore, the property $\mathit{D\_RA_1}$ is characterized as domain knowledge. Otherwise, if the actuator does not exist, it has to be a requirement/specification.

DOMAIN KNOWLEDGE

Property	D_RA1

NL

:

The value of the phenomenon in the real world is always derived from the value adjusted by the machine using the function modifyReaction. A change of the value adjusted by the machine is always propagated within the time reactionTime.