Яременко Ф.В.  

Представление 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.

Abstracts file: bpmn2ltl.pdf
Presentation file: Яременко Ф.В.pdf


To reports list