Description Class ExpectedUsage

INTENTION

This class provides all the definitions to describe whether a usage of a room is expected or not. This depends on several settings of the facility manager and the user.

The information whether a usage of a room is expected or not is needed to define different modes for the temperature control of a room.

SIGNATURE

Object	workingTime  :  ControlledDynamicInterval(INT_DOM  =  HOURS)

Intention

:

This object represents the current working time, an interval, (depending on the values entered by the facility manager and the room user). This object is specific for each room type.

Object	holidayTime  :  ControlledDynamicInterval(INT_DOM  =  CALENDAR_TIME)

Intention

:

This object represents the current holiday time, an interval, (depending on the values entered by the facility manager and the room user). This object is specific for each room type.

Timed Predicate	expectedUsage

Intention	:	This predicate is true iff a usage of a room is expected by the machine.
Scope	:	mh

REQUIREMENT SPECIFICATIONS

Property	D_EU1

NL

:

A usage of a room is expected if and only if the following two conditions are fulfilled together: the current time is within the working time and the current time is not within the holiday time.