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:21] miw |
pl:miw:miw08_bizrulesvocabularies2_thermostat [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| ====== Thermostat SBVR ====== | ====== Thermostat SBVR ====== | ||
| + | [[http://student.agh.edu.pl/~plutka/thermostat.jpg|model]] | ||
| + | |||
| + | |||
| ===== Atrybuty ===== | ===== Atrybuty ===== | ||
| + | |||
| + | * day | ||
| + | * hour | ||
| + | * operation | ||
| + | * season | ||
| + | * thermostat_seting | ||
| + | * season_group | ||
| + | * day_group | ||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| ===== Reguły ===== | ===== 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 summer is January or February or December |
| - | * The day_group is workday or weekend. | + | * 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 season has exactly one season_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’ |
| - | * It is necessary that day has exactly one day_group | + | * 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’. |
| - | * It is necessary that in spring on not_on_business_hours thermostat_setting is ’15 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 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 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 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 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 business_hours thermostat_setting is ’18 degree’. |
| - | * It is necessary that in winter on not_on_business_hours thermostat_setting is ’14 degree’. | + | * It is necessary that in winter on not_on_business_hours thermostat_setting is ’14 degree’. |
