Global Signature

Value	FORWARD  :  THREE_PT_ACT_RANGE

Intention

:

This value represents the signal causing a three point actuator to move in one of the possible two directions.

Value	BACKWARD  :  THREE_PT_ACT_RANGE

Intention

:

This value represents the signal causing a three point actuator to move in one of the possible two directions.

Value	STOP  :  THREE_PT_ACT_RANGE

Intention

:

This value represents the signal causing a three point actuator to stop.

Domain	TEMP  = { -40 100 } INTEGER

Intention

:

This domain contains the possible temperature values in degrees Celsius that are considered in this problem specification.

Domain	LIGHT_VALUES  = { 1 10000 } NAT

Intention

:

This domain contains the possible light intensity values in lux that are considered in this problem specification.

Domain	BINARY  = { 0, 1 } NAT

Intention

:

This domain contains the values 0 and 1.

Domain	PERCENT  = { 0 100 } NAT

Intention

:

This domain contains the natural numbers between 0 to 100.

Domain	COMFORT_TEMP   TEMP

Intention

:

This domain contains the values that can be used for a comfort temperature. Note that this domain is not specified by the facility manager but is predefined, containing all possible comfort temperatures, not only those allowed by the facility manager.

Domain	THREE_PT_ACT_RANGE  = {  FORWARD,  BACKWARD,  STOP }

Intention

:

This domain contains the possible control states of a three point actuator.

Domain	CALENDAR_TIME

Intention

:

This domain contains the values that can be used for a calendar time, i.e. a date.

Domain	HOURS  = { 0 23 } NAT

Intention

:

This domain contains the hours of a day.

Timed Function	currentDate   CALENDAR_TIME

Intention	:	This function represents the current date, i.e. the current day, month, and year.
Scope	:	eh

Timed Function	currentHour   HOURS

Intention	:	This function represents the current hour.
Scope	:	eh