- •2.2 Математичні моделі сценаріїв прецедентів і станів системи
- •Связь решений с элементами потока управления и потока событий для состояний системы сценария «Основной»
- •Связь решений с элементами потока управления и потока событий для состояний системы сценария «Задолженность»
- •Связь решений с элементами потока управления и потока событий для сценария «Основной»
- •Связь решений с элементами потока управления и потока событий для сценария «Задолженность»
Связь решений с элементами потока управления и потока событий для состояний системы сценария «Основной»
Решение |
Элемент потока управления |
Элемент потока событий |
а1,0, а2,0, а3,1, а4,0, а5,1 |
Прием заявки на зарплату |
evИдентификатор |
… |
… |
… |
… |
… |
… |
… |
… |
… |
.. |
… |
… |
Сценарий «Задолженность».
ai МСТ УрпоОТ Банк bj
- пассивное состояние объекта
- активное состояние объекта
Для рассматриваемого сценария введем множество букв
A={a11, a12, , a1n, a21, a22, , a2n ,…, an1, an2, , anm}
Где первый индекс – это номер объекта, а второй индекс – это номер состояния объекта, n = 5 – число объектов сценария, m = 13 - число состояний системы.
Содержательная интерпретация состояний объектов сценария.
a5,1 - состояние подачи заявки на зарплату
а3,1 - состояние приема заявки от работника
а3,2 - состояние подачи заявки на расчет МСТ
а2,2 - состояние приема заявки от УРпоОТ
а2,3 - состояние подачи заявки на подготовку сведений
а1,3 - состояние приема заявки от МСТ
а1,4 - состояние подготовки сведений
а1,5 - состояние подачи сведений для МСТ
а2,5 - состояние приема сведений от ai
а2,6 - расчет МСТ
а2,7 - состояние подачи сведений для УРпоОТ
а3,7 - состояние приема сведений от МСТ
а3,8 - состояние запроса к Банк о зарплате
а4,8 - состояние приема запроса от УРпоОТ
а4,9 - состояние уведомления УРпоОТ об отсутствии средств
а3,9 - состояние получения уведомления от Банк об отсутствии средств
а3,10 - состояние уведомления bj о об отсутствии средств
а4,11 - состояние уведомления УРпоОТ о необходимости получения зарплаты
а3,11 - состояние получения уведомления от Банк о необходимости получения зарплаты
а3,12 - состояние уведомления bj о необходимости получения зарплаты
а5,12 - состояние получения уведомления о необходимости получения зарплаты
а5,13 - состояние получения зарплаты
а4,13 - состояние выдачи зарплаты
Таким образом, для рассматриваемой задачи n=5, m=13.
Введем множество переменных соответственно объектам сценария.
Укажем области определения введенных переменных
Запишем законы истинности для введенных переменных в терминах алгебры конечных предикатов.
Исходя из диаграммы состояний системы рассматриваемого сценария, для активных состояний объектов системы составим конъюнкцию предикатов узнавания состояний объектов для каждого состояния системы и, приравняв ее к единице, получим математические модели состояний системы в виде уравнений алгебры конечных предикатов.
-
(3.2.2)
Для активных состояний объектов выполним содержательное ассоциирование показателей узнавания предикатов элементам потока управления.
a5,1 - состояние подачи заявки на зарплату
а3,1 - состояние приема заявки от работника
а3,2 - состояние подачи заявки на расчет МСТ
а2,2 - состояние приема заявки от УРпоОТ
а2,3 - состояние подачи заявки на подготовку сведений
а1,3 - состояние приема заявки от МСТ
а1,4 - состояние подготовки сведений
а1,5 - состояние подачи сведений для МСТ
а2,5 - состояние приема сведений от ai
а2,6 - состояние расчета МСТ
а2,7 - состояние подачи сведений для УРпоОТ
а3,8 - состояние запроса к Банк о зарплате
а4,8 - состояние приема запроса от УРпоОТ
а4,9 - состояние уведомления УРпоОТ о необходимости получения зарплаты
а3,9 - состояние получения уведомления от Банк о необходимости получения зарплаты
а3,10 - состояние уведомления bj о необходимости получения зарплаты
а4,11 - состояние уведомения УРпоОТ о необходимости получения зарплаты
а3,11 - состояние получения уведомление от Банк о необходимости получения зарплаты
а3,12 - состояние уведомения bj о необходимости получения зарплаты
а5,12 - состояние получения уведомление о необходимости получения зарплаты
а5,13 - состояние получения зарплату
а4,13 - состояние выдачи зарплаты
Получим решение уравнений (3.2.2). Проводя рассуждения, аналогичные ьем, что были сделаны при решении уравнений (3.2.1), получим СДНФ левых частей уравнений из (3.2.2) и их решения.
Состояние СДНФ Решение
1 а1,0, а2,0, а3,1, а4,0, а5,1
2 а1,0, а2,2, а3,2, а4,0, а5,0
3 а1,3, а2,3, а3,0, а4,0, а5,0
4 а1,4, а2,0, а3,0, а4,0, а5,0
5 а1,5, а2,5, а3,0, а4,0, а5,0
6 а1,0, а2,6, а3,0, а4,0, а5,0
7 а1,0, а2,7, а3,7, а4,0, а5,0
8 а1,0, а2,0, а3,8, а4,8, а5,0
9 а1,0, а2,0, а3,9, а4,9, а5,0
10 а1,0, а2,0, а3,10, а4,0, а5,10
11 а1,0, а2,0, а3,11, а4,11, а5,0
12 а1,0, а2,0, а3,12, а4,0, а5,12
13 а1,0, а2,0, а3,0, а4,13, а5,13
Полученные решения уравнений (3.2.1) и (3.2.2) с содержательной точки зрения следует рассматривать как набор элементов потока управления, реализация которого переводит систему из одного ее состояния в другое.
Получено соответсвие решений УАКП с элементами потока управления системы при реализации состояний системы сценария «Задолженность» и элементами потока событий программной модели системы (см. табл. 3.2).
Таблица 3.2