Różnice
Różnice między wybraną wersją a wersją aktualną.
Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
Nowa wersja
Both sides next revision
|
pl:miw:miw08_bizrulesvocabularies2_thermostat [2008/04/15 00:33] miw |
pl:miw:miw08_bizrulesvocabularies2_thermostat [2008/06/02 15:14] miw |
====== Thermostat SBVR ====== | ====== Thermostat SBVR ====== |
[[http://student.agh.edu.pl/~plutka/thermostat.jpg|model]] | [[http://student.agh.edu.pl/~plutka/thermostat.jpg|model]] |
| |
| |
| |
* day_group | * day_group |
| |
| |
| |
| |
| |
* It is necessary that day has exactly one day_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 business_hours thermostat_setting is ’20 degree’. |