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 is characterized as domain knowledge. Otherwise, if the actuator does not exist, it has to be a requirement/specification.
FORMAL PARAMETERS
Sort | ENV_DOMAIN |
---|
Intention | : | This domain contains the possible values of the phenomenon existing in the real world in the case that a sensor has no malfunction. |
Sort | ADJUSTED_DOMAIN |
---|
Intention | : | This domain contains the possible values that can be adjusted by the machine in the case that a sensor has no malfunction. |
BASE CLASSES
Class | Actuator(ENV_DOMAIN = ENV_DOMAIN, ADJUSTED_DOMAIN = ADJUSTED_DOMAIN) |
---|
Intention |
: | All definitions of description class Actuator are also provided here. |
SIGNATURE
Timed Function | modifyReaction : ADJUSTED_DOMAIN ENV_DOMAIN |
---|
Intention | : | This function represents the way in which a value adjusted by the machine (adjustedEntity) is modified during the reaction of the actuator resulting in the value of the entity in the real world (envEntity). |
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. |