Template Declaration 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 D_RA_1 is classified as domain knowledge. Otherwise, if an actuator does not exist, it has to be classified as an optative statement.

Postreferences	:	lsref Dimmer : RangeActuator
		lsref BinaryActuator : RangeActuator

FORMAL PARAMETERS

Sort	ENV_DOMAIN

Intention	:	This domain contains the possible values of the phenomenon existing in the real world in the case that an actuator has no malfunction.
Postreferences	:	lsref RangeActuator : Actuator
		lsref RangeActuator : modifyReaction

Sort	ADJUSTED_DOMAIN

Intention	:	This domain contains the possible values that can be adjusted by the machine in the case that an actuator has no malfunction.
Postreferences	:	lsref RangeActuator : Actuator
		lsref RangeActuator : modifyReaction

BASE CLASSES

Class	Actuator(ENV_DOMAIN  =  ENV_DOMAIN, ADJUSTED_DOMAIN  =  ADJUSTED_DOMAIN)

Intention

:

All definitions of description class Actuator are inherited.

SIGNATURE

Function	modifyReaction  :  ADJUSTED_DOMAIN  ENV_DOMAIN

Intention	:	This function represents the way in which a value adjusted by the machine represented by the timed function adjustedEntity is modified during the reaction of an actuator resulting in the value of the entity in the real world represented by the timed function 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.
Prereferences	:	akref BD_18