Связь решений с элементами потока управления и потока событий для состояний системы сценария «Основной»

Решение	Элемент потока управления	Элемент потока событий
а1,0, а2,0, а3,1, а4,0, а5,1	Прием заявки на зарплату	evИдентификатор
…	…	…
…	…	…
…	…	…
..	…	…

_{Сценарий «Задолженность».}

a_i МСТ УрпоОТ Банк b_j

- пассивное состояние объекта

- активное состояние объекта

_{Для рассматриваемого сценария введем множество букв}

_{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}