- •2.2 Математичні моделі сценаріїв прецедентів і станів системи
- •Связь решений с элементами потока управления и потока событий для состояний системы сценария «Основной»
- •Связь решений с элементами потока управления и потока событий для состояний системы сценария «Задолженность»
- •Связь решений с элементами потока управления и потока событий для сценария «Основной»
- •Связь решений с элементами потока управления и потока событий для сценария «Задолженность»
Связь решений с элементами потока управления и потока событий для сценария «Основной»
Решение |
Элемент потока управления |
Элемент потока событий |
с1,1 |
Начислить зарплату |
evИдентификатор |
с2,1 |
Рассчитать зарплату |
evXXX |
… |
… |
… |
с10,1 |
Уведомить о получении зарплаты |
… |
с11,1 |
Получить зарплату |
… |
Получено соответсвие решений УАКП с элементами потока управления системы при реализации сценария «Задолженность» и элементами потока событий программной модели системы (см. табл. 3.4).
Таблица 3.4
Связь решений с элементами потока управления и потока событий для сценария «Задолженность»
Решение |
Элемент потока управления |
Элемент потока событий |
с1,1 |
Начислить зарплату |
evИдентификатор |
с2,1 |
Рассчитать зарплату |
evXXX |
… |
… |
… |
с12,2 |
Уведомить о получении зарплаты |
… |
с13,2 |
Получить зарплату |
… |
Построение математической модели прецедента.
Для построения модели прецедента образуем дизъюнкцию полученных конъюнкций и, приравняв ее к единице, получим модель в виде уравнения алгебры конечных предикатов как совокупность моделей состояний системы по всем сценариям прецедента.
При этом конъюнктивные члены левой части уравнения есть конституэнты единицы и, следовательно, показатели узнаваний предикатов есть решения уравнения, содержательная интерпретация которых состоит в том, что реализация прецедента возможна по любому одному из допустимых сценариев.
Заключительный абзац.
«где будут исп получ результаты»