Проектирование автоматизированной информационной системы, страница 13

Неравенство состояний, выполнение которого необходимо для заключения договора:

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

Отчёт готов, работа завершена