Описание операции ОП3: getBlance

Таблица критичности прецедентов

Уровень критичности	Прецедент
	Пополнение, Расчётные операции
	Авторизация
	Запрос баланса
	Настройка терминала, Выгрузка денег

- модель предметной области;

- системные диаграммы последовательности;

Пополнение счёта

Расчётные операции

Авторизация

Остаток на счёте

Текстовое описание операций

Описание операции ОП1: refillFunds

Операция refillFunds()

Ссылки Прецеденты: Пополнение баланса.

Предусловия Пользователь успешно прошёл процедур авторизации.

Постусловия - Создан экземпляр refillReceipt класса с RefillReceipt (создание экземпляра).

- Создан экземпляр refill класса Refill.

- Экземпляр refill связан с классом RefillReceipt на основе соответствия идентификатора (номера) операции (формирование ассоциации).

- Экземпляр refillReceipt связан с классом Customer на основе соответствия идентификатора операции.

- Атрибуту refillReceipt. refillSum присвоено значение refill.sum (модификация атрибута).

- Значение атрибута refillReceipt. balanceSum изменено на refillReceipt. refillSum.

- Атрибуту receiptReceipt.date присвоено значение data.

- Значение атрибута customer.balanceSum изменено на refillReceipt. balanceSum.

Описание операции ОП2: makePayment

Операция makePayment()

Ссылки Прецеденты: Выполнение операции.

Предусловия Пользователь успешно прошёл процедур авторизации.

Постусловия - Создан экземпляр paymentReceipt класса с PaymentReceipt (создание экземпляра).

- Создан экземпляр payment класса Payment.

- Создан экземпляр ogr класса ORG.

- Экземпляр org связан с классом Payment на основе соответствия идентификатора (номера) операции (формирование ассоциации).

- Экземпляр payment связан с классом Payment Receipt на основе соответствия идентификатора (номера) операции .

- Экземпляр paymentReceipt связан с классом Customer на основе соответствия идентификатора операции.

- Атрибуту paymentReceipt.balanceSum присвоено значение payment.sum (модификация атрибута).

- Атрибуту paymentReceipt.orgName присвоено значение org.name (модификация атрибута).

- Атрибуту paymentReceipt.date присвоено значение data.

- Значение атрибута customer.balanceSum изменено на paymentReceipt. balanceSum.

Описание операции ОП3: getBlance

Операция getBalance()

Ссылки Прецеденты: Запрос баланса.

Предусловия Пользователь успешно прошёл процедур авторизации.

Постусловия - Создан экземпляр balanceReceipt класса с BalanceReceipt (создание экземпляра).

- Создан экземпляр balance класса Balance.

- Экземпляр balance связан с классом BalanceReceipt на основе соответствия идентификатора (номера) операции (формирование ассоциации).

- Экземпляр balanceReceipt связан с классом Customer на основе соответствия идентификатора операции.

- Атрибуту balanceReceipt. paymentSum присвоено значение balance.sum (модификация атрибута).

- Атрибут balanceReceipt. balanceSum изменён на balanceReceipt. paymentSum.

- Атрибуту balanceReceipt.date присвоено значение data.

Модель предметной области:

Реализация прецедента “Расчётные операции”: