3. Вопрос:
как изобразить процесс
(изменение событий/состояний
объектов)
в графическом построении с
помощью «узлов» и «связей»?
4. Недостаток предыдущих
«событийных» методов
ОТСУТСТВУЮТ ПРАВИЛА ФОРМУЛИРОВАНИЯ
ВЫСКАЗЫВАНИЙ
5. Ответ 9:
приписать связям
не конкретные действия
над объектами,
а просто «некий переход»
(«факт перехода»)
от одного узла к другому;
в узлах же дать высказывания,
сформулированные
по определенным правилам.
6. Известные виды диаграмм
• Сети Петри,
• Диаграммы деятельности (activity
diagrams),
• Business Process Modeling Notation
7. Сети Петри
Круги (либо овалы) – узлы-позиции (places)
Горизонтальные линии (либо прямоугольники) – узлы-переходы
(transitions)
Черные точки – «фишки» (tokens)
В узлах-переходах фишки могут быть «изгнаны» («побиты», fired)
Событие, обозначенное узлом-позицией, содержащим фишки, истинно,
иное - ложно
Petri, 1962
8. Сети Петри
Классические Простые Временные
раскрашенные раскрашенные
Все фишки Есть фишки Есть фишки
одинаковы, разного рода, разного рода,
переход из переход из переход из
узла в узел узла в узел узла в узел
мгновенен мгновенен занимает
время t
Jensen, 1997; Д.А. Зайцев, Т.Р. Шмелева, 2008;
Jensen and Kristensen, 2009
9. ПРИМЕР:
Сети Петри
философы едят
палочками.
PH – фишки-философы
(philosophers),
CH – фишки-палочки
(chopsticks).
Палочки (две)
встречаются с
философом (одним) в
узле-переходе “Take
Chopstick” и расстаются
в узле-переходе “Put
Down Chopstick”. В этих
узлах набор фишек
меняется за счет
прихода или ухода
палочек. Думает
философ, расставшись
с палочками. Ест – не
расставаясь и не
встречаясь с
палочками. В этих http://cpntools.org/_media/documentation/diningphilosophers.pdf
узлах (позициях) набор
фишек не меняется.
10. Диаграммы деятельности
Овалы – виды
деятельности
Цель: Ромбы – точки
представление той принятия решений;
или иной Верхние
деятельности в горизонтальные линии
виде – начало параллельных
координированного (альтернативных) видов
последовательного деятельности; Нижние
горизонтальные линии
и параллельного – окончание
исполнения параллельных
подчинённых (альтернативных) видов
элементов — деятельности;ё
вложенных видов Черный кружок –
деятельности и начало (начальное
отдельных состояние)
деятельности;
действий. Черный кружок в белой
кайме – окончание
(конечное состояние)
деятельности.
UML-диаграмма деятельности, отображающая процесс
мозгового штурма.
Sowa, 2006
11. Business Process Model and Notation
http://bpmntraining.ru/
Это диаграмма последовательностей (sequence diagram)
с более упорядоченной семантикой
Отображает лишь те сценарии, которые нам интересны
12. Преимущества
1. Видны отношения между процессами:
совместимость, несовместимость,
последовательность и так далее.
2. Видны конкретные сценарии.
3. Вероятно, можно отследить
появление/исчезновение признака у предмета.
4. Можно отобразить сценарии, основанные на
распространении признака от одного предмета
другим: «X рассмеялся так, что и другие
засмеялись вместе с ним».
13. Преимущества
1. Можно отобразить сценарии, основанные на
связи между различными объектами с
различными признаками: «Факир был пьян, и
фокус не удался».
2. Можно отобразить сценарии с участием
объектов, относительно которых не
утверждается, а отрицается наличие того или
иного признака или отношения («если стол НЕ
деревянный… то…»; «НЕ деревянные столы
нести туда-то и туда-то» и т.д.).
14. Преимущества
1. В некоторых случаях можно увидеть
закономерности формирования сценариев
(например, swim lanes).
2. Там, где несколько сценариев пересекаются на
одном узле, видны отношения между ними.
15. Недостатки
1. Видны не все сценарии (и, соответственно, не
все отношения между ними).
2. Правила формулирования событий заданы
неявно.
16. Еще одна
«событийная» диаграмма
со сложными «немыми» связями и
правилами формулирования
событий
КУСТ СОБЫТИЙ
17. Архитектура куста событий
(Pshenichny et al., 2009)
ПЕРВИЧНЫЕ ВНЕШНИЕ
ВЫСКАЗЫВАНИЯ (ib)
ВОЗДЕЙСТВИЯ СРЕДЫ
ВЫСКАЗЫВАНИЯ
ВЫСКАЗЫВАНИЯ
СОБЫТИЯ НА
СОБЫТИЯ НА
ТРЕТИЧНЫЕ
ВНУТРЕННИЕ
ПЕРВИЧНЫЕ
ВЫХОДЕ
ВТОРИЧНЫЕ
ВХОДЕ
ВТОРИЧНЫЕ
(iii)
(ia)
ВЫСКАЗЫ-
СОБЫТИЯ
ВАНИЯ
(ii)
19. Союзы куста событий
(Pshenichny and Kanzheleva, 2011)
• Союз течения «Flux» порождает из одного
события (Ei) другое (Ej):
Ei Flux Ej.
• Союз влияния «Influx» порождает из одного
события (Ei) под влиянием другого (Ej) третье (Ek):
Ei, Ej Influx Ek.
• Союз разлива «Furcation» порождает из одного
события (Ei) много событий (Ei+1, Еi+2, …, Еn):
Ei Furcation Ei+1, Еi+2, …, Еn.
• Союз слияния «Conflux» порождает из многих
событий (Ei, Ei+1, Еi+2, …, Еn-1) одно (Еn):
20. Модусы союза течения
(Pshenichnyодного вторичного события к другому с тем же
1. Изменение предмета от
and Kanzheleva, 2011)
признаком:
ii SiPk Flux Modus 1 ii SjPk
2. Изменение предмета от одного вторичного события к другому с
меняющимся признаком без семантического отношения между
предметами и признаками:
ii SiPk Flux Modus 2 ii SjPl
3. Изменение предмета от одного вторичного события к другому с
меняющимся признаком с семантическим отношением между
предметами и признаками:
ii SiPj Flux Modus 3 ii SPjPSi
4. Изменение (смена наличия отсутствием или наоборот) признака от
одного вторичного события к другому:
ii Si~Pk Flux Modus 4 ii SiPk,
ii SiPk Flux Modus 4 ii Si~Pk
5. Изменение типа событий: от внутреннего первичного к вторичного, от
вторичного к третичному или от внутреннего первичного к третичному:
ia SiPk Flux Modus 5 ii SiPk;
ii SiPk Flux Modus 5 iii SiPk;
ia SiPk Flux Modus 5 iii SiPk
6. Изменение общности предмета – от общего предмета к частному:
ia any SiPj Flux Modus 6 ii some SiPj;
21. Типовые вопросы к эксперту по модусу 1
(Pshenichny and Kanzheleva, 2011)
1.Изменение предмета от одного вторичного события к
другому с тем же признаком:
ii SiPk Flux Modus 1 ii SjPk
Si превращается в Sj?
Si производит (выделяет из себя) Sj и продолжает
существовать после этого?
Si просто влияет на Sj, при этом оба существуют
независимо друг от друга?
В зависимости от ответов события ii SiPk и ii SjPk либо
соединяющая их связь маркируются, и эта метка учитывается в
выводе новых событий
24. Трагедия американского народа
(по-русски)
Черным показаны сценарии, могущие возыметь место, красным – сценарии,
возымевшие место в действительности.
33. Представление в виде куста
событий одного извержения
вулкана Этна (Италия; Behncke
and Pshenichny, 2009)
Черным показаны сценарии,
могущие возыметь место,
красным – сценарии,
возымевшие место при
извержении 16.11.2006 г.
34. Сравнение трех разны
извержений вулкана Этна
16 ноября 2006 г 19 ноября 2006 г 24 ноября 2006 г
35. Расчет значений вероятности
средствами куста событий
(Pshenichny et al., 2009)
• Вероятностная интерпретация куста событий
• Введение значений безусловной вероятности
для некоторых узлов
• Преобразование куста событий в
байесовскую сеть доверия
• Вероятностный вывод в байесовской сети
• Введение результатов в куст событий
Можно непосредственно преобразовывать куст
событий в куст вероятностей, минуя
байесовскую сеть (Pshenichny et al., 2005)
36. Введение данных в куст событий
…
ВРЕМЕННЫЕ
ЗНАЧЕНИЯ КООРДИНАТЫ
ВЕРОЯТНОСТЬ
… …
… ФИЗИЧЕСКИЕ …
ФУНКЦИИ ПАРАМЕТРЫ
ПРИНАДЛЕЖ
ЧТО УГОДНО ЕЩЕ НОСТИ,
ПЕРЕХОДНЫ …
Е ВАРИАНТЫ
ТЕРМИНОЛОГИЯ
… …
… …
39. Хранение кустов событий и
формирование запросов по ним СЕМЕЙСТВА КУСТОВ:
• Сбор данных по конкретным
событиям, расчеты
сходства/различия;
• Разъяснение высказываний
экспертов, коллективные
рассуждения, расчеты с
использованием логической и
субъективной вероятностей
СТРУКТУРЫ ИЗ
ПОСЛЕДОВАТЕЛЬНО
СОЕДИНЕННЫХ КУСТОВ:
Моделирование областей
знания «в ширину»,
СТРУКТУРЫ ИЗ ВЛОЖЕННЫХ КУСТОВ: формирование запросов по
предметам, признакам,
Моделирование областей знания «в глубину»,
событиям, процессам и
формирование запросов по данным и метаданным в
сценариям
базах данных, иерархиях и онтологиях.
41. Последний ответ на вопрос…
…приписать связям события, а узлам – свойства этих
событий (например, продолжительность) – и не
понятийный и не событийный подход.
• Гармонограммы (К. Адамецкий, Санкт-Петербургский
технологический институт, 1896)
• Диаграммы Ганта (Gantt, 1910–1915)
• Цепочки событий (event chains, Intaver Institute Inc.,
2002-2012, http://www.intaver.com/)
• и другие подходы
Тема для отдельного разговора
42. С простыми
говорящими
связями
С простыми немыми
связями
Со сложными
немыми связями и
союзами
Понятийные
со сложными
говорящими
связями и узлами-
действиями
и сценариев
С простыми немыми
Заключение
связями
Со сложными
событий
Без правил
формулирования немыми связями и
союзами
Со сложными
Событийные
немыми связями,
союзами и
правилами
формулирования
событий
Методы моделирования событий, состояний, процессов
