To jest stara wersja strony!
Thermostat SBVR
Atrybuty
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.
* It is necessary that season has exactly one season_group
* It is necessary that day has exactly one day_group
* 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’.