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. |
Postreferences | : | rsref ExpectedUsage : D_EU1 |
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. |
Postreferences | : | rsref ExpectedUsage : D_EU1 |
Timed Predicate | expectedUsage |
---|
Intention | : | This predicate is true iff a usage of a room is expected by the machine. |
Scope | : | mh |
Postreferences | : | rsref ExpectedUsage : D_EU1 |
msref TempOperationModeSet : M_TOMS1 | ||
msref TempOperationModeSet : M_TOMS2 | ||
msref RoomTemperature : M_RT6 | ||
msref RoomTemperature : M_RT7 | ||
msref RoomTemperature : M_RT8 | ||
msref RoomTemperature : M_RT11 | ||
msref RoomTemperature : M_RT12 |
Property | D_EU1 |
---|
Formal | : | ( expectedUsage
workingTime. leq( workingTime. start. value, currentHour) workingTime. leq( currentHour, workingTime. end. value) ( holidayTime. leq( holidayTime. start. value, currentDate) holidayTime. leq( currentDate, holidayTime. end. value) ) ) |
NL | : | A usage of a room is expected if and only if the following two conditions are fulfilled together:
|