To jest stara wersja strony!
Thermostat SBVR
Atrybuty
day
hour
operation
season
thermostat_seting
season_group
day_group
Reguły
The summer is January or February or December
The autumn is March or April or May
The winter is June or July or August
The spring is September or October or November
The workday is Monday or Tuesday or Wednesday or Thursday or Friday
The weekend is Saturday or Sunday
The season_group is summer or autumn or winter or spring.
The day_group is workday or weekend.
If the operation is on_business_hours it is necessary that day include workday of day_group and hours is between ‘9 am and 5 pm’
If the operation is not_on business_hours it is posibility that day include weekend of day_group.
If the operation is not_on business_hours it is posibility that day include workday of day_group and hours is before ‘9 am’
If the operation is not_on business_hours it is posibility that day include workday of day_group and hours is after ‘9 am’
It is necessary that in spring on business_hours thermostat_setting is ’20 degree’.
It is necessary that in spring on not_on_business_hours thermostat_setting is ’15 degree’.
It is necessary that in summer on business_hours thermostat_setting is ’24 degree’.
It is necessary that in summer on not_on_business_hours thermostat_setting is ’27 degree’.
It is necessary that in autumn on business_hours thermostat_setting is ’20 degree’.
It is necessary that in autumn on not_on_business_hours thermostat_setting is ’16 degree’.
It is necessary that in winter on business_hours thermostat_setting is ’18 degree’.
It is necessary that in winter on not_on_business_hours thermostat_setting is ’14 degree’.