Both sides previous revision
Poprzednia wersja
|
|
pl:miw:miw08_bizrulesvocabularies2_thermostat [2008/06/02 15:14] miw |
pl:miw:miw08_bizrulesvocabularies2_thermostat [2008/06/10 10:15] miw |
====== 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’. | |
| |