Неравенство состояний, выполнение которого необходимо для заключения договора:
1. if (o1 = 0) then (o2 = 1; o3 = 1; o4 = 1)
2. if (o5 = 1) then (o1 = 1; o2 = 1; o3 = 1; o4 = 1)
3.8.2. Таблица состояний для объекта «Отчёт»
Наименование состояния |
о1 |
о2 |
о3 |
о4 |
о5 |
Пояснение |
Отрицательный баланс |
0 |
1 |
1 |
1 |
0 |
Необходимо пополнить счёт |
Техническая неполадка |
1 |
0 |
0 |
0 |
0 |
Требуется устранение технической неполадки |
Логическая неполадка |
1 |
1 |
0 |
0 |
0 |
Требуется устранение логической неполадки |
-1 |
1 |
0 |
0 |
0 |
||
Неполадка у клиента |
1 |
1 |
1 |
0 |
0 |
Требуется устранение неполадки у клиента |
-1 |
1 |
1 |
0 |
0 |
||
1 |
-1 |
1 |
0 |
0 |
||
-1 |
-1 |
1 |
0 |
0 |
||
Работа завершена, не оплачена |
1 |
1 |
1 |
1 |
0 |
Клиент должен оплатить счёт |
1 |
1 |
1 |
-1 |
0 |
||
1 |
1 |
-1 |
1 |
0 |
||
1 |
1 |
-1 |
-1 |
0 |
||
1 |
-1 |
1 |
1 |
0 |
||
1 |
-1 |
1 |
-1 |
0 |
||
1 |
-1 |
-1 |
1 |
0 |
||
1 |
-1 |
-1 |
-1 |
0 |
||
Работа завершена |
1 |
1 |
1 |
1 |
1 |
Неполадка устранена, счёт оплачен |
3.8.3. Таблица ситуаций
Ситуация |
о1 |
о2 |
о3 |
о4 |
о5 |
ro1 |
ro2 |
ro3 |
ro4 |
Описание |
S1. Отрицательный баланс |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
Необходимо поплнить баланс |
S2. Не устранена техническая неполадка |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
Неполадка возникла вследствие неудовлетворительного состояния оборудования |
S3. Не устранена логическая неполадка |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
Неполадка возникла вследствие неудовлетворительного состояния сети |
1 |
-1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
||
S4. Не устранена неполадка у клиента |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
Неполадка возникла вследствие неудовлетворительной квалификации сотрудника |
1 |
1 |
-1 |
0 |
0 |
1 |
1 |
0 |
1 |
||
1 |
-1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
||
1 |
-1 |
-1 |
0 |
0 |
1 |
1 |
0 |
1 |
||
S5. Нехватает оборудования на складе |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
Неполадка возникла вследствие неактуального состояния склада |
1 |
1 |
-1 |
0 |
0 |
1 |
1 |
1 |
0 |
||
1 |
-1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
||
1 |
-1 |
-1 |
0 |
0 |
1 |
1 |
1 |
0 |
||
S6. Счёт не оплачен |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
Работа завершены, ожидание оплаты счёта |
S7. Неполадка устранена |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
Отчёт готов, работа завершена |
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.