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.

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).
Scope	:	eh
Postreferences	:	dkref RangeActuator : D_RA1
		dkref BinaryActuator : D_BA1

DOMAIN KNOWLEDGE

Property	D_RA1

Formal	:	( noMalAct. adjustedEntity  noMalAct. reactionTime modifyReaction                                                                                   noMalAct. envEntity)
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.