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

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

_{Построение математических моделей сценариев.}

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

_{A={c11, c12, , c1k, c21, c22, , c2k ,…, ck1, ck2, , cmk}}

_{Где первый индекс – это номер состояния системы, а второй индекс – это номер сценария.}

_{Заметим, что число состояний системы в различных сценариях различно, так в сценарии «Основной» m =11, а в сценарии «Задолженность» m = 13. Тогда сценарии с меньшим числом состояний дополним необходимым числом пассивных состояний системы до числа состояний системы сценария с максимальным их числом.}

_{Введем множество переменных в количестве равном числу состояний сценария с максимальным их числом}

_{Укажем области определения введенных переменных}

_{Запишем законы истинности для введенных переменных в терминах алгебры конечных предикатов.}

_{Запишем конъюнкции предикатов узнавания для каждого сценария системы, в которых показатель узнавания предиката есть состояние системы}

_{Приравняв к единице полученные конъюнкции, мы получим математические модели сценариев системы прецедента.}

_{Заметим, что левые части этих уравнений есть конституэнты единицы, следовательно, показатели узнаваний предикатов есть решения этих уравнений, которые с содержательной точки зрения есть элементы производного потока управления – потока управления состояниями системы. В то время как исходным потоком управления следует считать поток, элементы которого определяются состояниями объектов системы.}

_{Содержательная интерпретация состояний системы сценария «Основной».}

_{с1,1 - состояние требования начисления зарплаты}

_{с2,1 - состояние начисления зарплаты}

_{с3,1 - состояние требования получения сведений}

_{с4,1 - состояние определения сведений}

_{с5,1 - состояние получения сведений}

_{с6,1 - состояние начисления зарплаты с учетом сведений}

_{с7,1 - состояние учета начислений}

_{с8,1 - состояние требования выдачи средств}

_{с9,1 - состояние получения средств}

_{с10,1 - состояние уведомления о получении зарплаты}

_{с11,1 - состояние получения зарплаты}

_{с12,1 - пассивное состояние}

_{с13,1 - пассивное состояние}

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

_{Состояния с1,2 – с8,2 те же, что и в сценарии «Основной».}

_{С9,2 - состояние отказа в получении средств}

_{с10,2 - состояние уведомления bj о об отсутствии средств}

_{с11,2 - состояние получения уведомления от Банк о необходимости получения зарплаты}

_{с12,2 - состояние уведомления о получении зарплаты}

_{с13,2 - состояние получения зарплаты}

_{Получено соответсвие решений УАКП с элементами потока управления системы при реализации сценария «Основной» и элементами потока событий программной модели системы (см. табл. 3.3).}

_{Таблица 3.3}