Description Class BinaryActuator

INTENTION

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

• the domains of the actuator: a binary actuator is a range actuator that can adjust the values 0 and 1,
• 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\_BA_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  =  BINARY, ADJUSTED_DOMAIN  =  BINARY)

Intention

:

All definitions of description class RangeActuator are also provided here using the values 0 and 1 as the possible values of the entity existing in the real world and using the values 0 and 1 as the possible values that can be adjusted by the machine.

DOMAIN KNOWLEDGE

Property	D_BA1

Formal	:	( b  BINARY:  modifyReaction(b) = b )
NL	:	For a binary 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.