Template Declaration Actuator

INTENTION

This class provides all definitions to describe the behavior of an already existing actuator. It is composed of the behavior of an actuator if there is no malfunction and the case that there is a malfunction.

Postreferences	:	lsref ToggleActuator : Actuator
		lsref RangeActuator : Actuator

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 Actuator : noMalAct

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.
Postreferences	:	lsref Actuator : noMalAct

SIGNATURE

Object	noMalAct  :  NoMalfunctionActuator(ENV_DOMAIN  =  ENV_DOMAIN, ADJUSTED_DOMAIN  =  ADJUSTED_DOMAIN)

Intention	:	This object represents the part of an actuator describing the behavior of an actuator if it has no malfunction, i.e., if the machine assumes that it has no malfunction.
Postreferences	:	dkref ToggleActuator : D_TA1
		dkref ToggleActuator : D_TA2
		dkref Pulse : D_P1
		dkref RangeActuator : D_RA1
		dkref Dimmer : D_D1
		dkref ControlSystemActive : D_CSA1
		dkref IndicatorLight : D_IL1
		msref AreaCtrlPanelFM : I_M_ACPFM3
		msref RoomCtrlPanel : I_M_RCP11
		msref InformPerson : M_IP2
		msref InformPerson : M_IP1
		msref InformPerson : M_IP3
		msref AreaCtrlPanelFM : I_M_ACPFM4
		msref RoomCtrlPanel : I_M_RCP12
		dkref InformPerson : D_IP1
		msref InformPerson : I_M_IP2
		dkref CeilingLightGroup : D_CLG1
		dkref CeilingLightGroup : D_CLG3
		msref CeilingLightGroup : M_CLG1
		msref CeilingLightGroup : M_CLG2
		msref CeilingLightGroup : M_CLG3
		msref CeilingLightGroup : M_CLG4
		dkref DimmableCeilingLightGroup : D_DCLG1
		msref Area : M_A5
		msref Area : M_A6
		msref Area : M_A8
		msref HallwaySection : M_HS5
		msref Room : M_R8
		msref Room : M_R8b
		msref Room : M_R9
		msref Room : M_R10

Object	malAct  :  MalfunctionActuator

Intention	:	This object represents the part of an actuator describing the behavior of an actuator if it has a malfunction, i.e., if the machine assumes that it has a malfunction.
Postreferences	:	msref HallwaySection : M_HS4
		msref Room : M_R13
		msref Room : M_R14