Similar presentations:
Событийные карты. Лабораторная работа 1.3
1.
Лабораторная работа 1.3Событийные карты
2.
СОБЫТИЙНОЕ МОДЕЛИРОВАНИЕСущность событийного метода моделирования заключается в отслеживании на
модели последовательности событий в том же порядке, в каком они происходили
бы в реальной системе. Задаваемые моделью последовательности реализаций
событий – цепочки событий – описывают сценарии реакции системы на
возникновение инициирующего события, стоящего в начале цепочки.
В качестве инструмента событийного моделирования используется аппарат Joinerсетей (JN) – одной из разновидностей алгебраических сетей. Joiner-сети можно
рассматривать как расширение сетей Петри, ориентированное на построение
поведенческих моделей.
В основе теории JN лежит описание логики взаимодействия асинхронных
процессов в виде набора пусковых и флаговых функций, состоящих из булевых
функций. Особенностью JN является то, что они предусматривают как графическое
представление, так и описание в виде логических формул, обработку которых
можно автоматизировать.
3.
• Событийные карты – графическое представление событийноймодели, ориентированное на эксперта (исследователя). Определим
событийную карту, как направленный граф с двумя типами вершин. К
первому типу относятся вершины-события, изображаемые
прямоугольником с закругленными углами, второй тип вершин служит
для уточнения характера связи между вершинами-событиями
(совместная или альтернативная реализация). Графически второй тип
вершин событийной карты выглядит как надпись, содержащая
название булевой функции, описывающей отношения связанных
через эту вершину событий. Дуги графа показывают направление
причинно-следственных связей между событиями.
• В процессе формирования событийной карты исследователь решает
следующие задачи:
• Определение состава событий, включаемых в событийную модель.
• Определение связей между этими событиями.
• Уточнение модели – введение дополнительных событий, или
изменение существующих связей.
4.
5.
ИНТЕРФЕЙС ИНСТРУМЕНТАЛЬНОГО СРЕДСТВАСОБЫТИЙНОГО МОДЕЛИРОВАНИЯ EVENTMAP
(м/г)
6.
JOINER-СЕТЬ ДЛЯ ВЫДЕЛЕННОГО ФРАГМЕНТАСОБЫТИЙНОЙ КАРТЫ
Пусковые функции:
Флаговые функции:
7.
В отчет:• Теория
• Описание проблемы
• Событийная карта
• Joiner-сеть с мат. описанием