Яременко Ф.В.
Представление BPMN-диаграмм на языки темпоральной логики линейного времени.
Данная работа является дополнением к работе [1], в которой задана семантика
выполнения диаграмм BPMN 1.2 с помощью формул LTL. Предложенный подход может быть
легко расширен для анализа диаграмм BPMN 2.0.
Стандарт BPMN полностью описывает семантику выполнения в повествовательной
форме. Описание на естественном языке позволяет интуитивно понять семантику
выполнения, однако его не достаточно для поддержки моделирования, верификации или
реализации среды исполнения потоков работ.
В [1] для каждого элемента диграммы заданы пост-условия эго выполнения. В данной
предложенный подход расширется спецификацией пред-условия выполнения элементов
BPMN.
ЛИТЕРАТУРА
[1]. Lam V. S. W. A precise execution semantics for bpmn //IAENG International Journal of
Computer Science. – 2012. – Т. 39. – №. 1. – С. 20-33.
Файл тезисов: | bpmn2ltl.pdf |
Файл презентации: | Яременко Ф.В.pdf |
К списку докладов