====== Thermostat SBVR ======
[[http://student.agh.edu.pl/~plutka/thermostat.jpg|model]]



===== 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.


  * It is necessary that season has exactly one season_group 
  * It is necessary that day has exactly one day_group 

  * 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’.