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.

BASE CLASSES

Class	RangeActuator(ENV_DOMAIN  =  THREE_PT_ACT_RANGE, ADJUSTED_DOMAIN  =  THREE_PT_ACT_RANGE)

Intention

:

All definitions of description class RangeActuator are also provided here using the values forward, backward, and stop as the possible values of the actuator existing in the real world and using the values forward, backward, and stop as the possible values that can be adjusted by the machine.

DOMAIN KNOWLEDGE

Property	D_TPA1

Formal	:	( s  THREE_PT_ACT_RANGE:  modifyReaction(s) = s )
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.