Różnice
Różnice między wybraną wersją a wersją aktualną.
Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:miw08_bizrulesvocabularies2_thermostat [2008/04/15 00:28] miw |
pl:miw:miw08_bizrulesvocabularies2_thermostat [2008/06/10 10:15] miw |
====== Thermostat SBVR ====== | |
[[http://student.agh.edu.pl/~plutka/thermostat.jpg|model]] | |
| |
===== 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’. | |
| |