Description Class ThreePointActuator

INTENTION

This class provides all definitions to describe a three point actuator. This class is derived from the description class RangeActuator. The following specific parameters of a three point actuator are instantiated:

• the domains of the actuator: a three point actuator is an actuator which can adjust three control states: forward, backward, and stop,
• the transformation function modifyReaction

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

DOMAIN KNOWLEDGE

Property	D_TPA1

NL

:

For a three point actuator the function representing the way in which a value adjusted by the machine (adjustedEntity) is modified during the reaction of the actuator, resulting in a value of the actuator in the real world (envEntity), is the identity.