Алгоритмічне та програмне забезпечення для оцінювання коректності створених BPMN-діаграм

Моделювання бізнес-процесів є важливою складовою управління
бізнес-процесами – BPM (Business Process Management). Моделювання бізнес-
процесів дозволяє узгодити ІТ (інформаційні технології) та бізнес, полегшуючи
комунікацію між бізнес-користувачами, такими як керівники, менеджери та інші
зацікавлені сторони, та ІТ-інженерами, які створюють і підтримують
корпоративні інформаційні системи. Нотація BPMN (Business Process Model and
Notation) широко застосовується для моделювання бізнес-процесів у різних
галузях та є стандартом ISO (International Organization for Standardization). У
своїй останній ітерації BPMN 2.0 пропонує наступні основні груп елементів: (i)
об’єкти потоку (Flow Objects), (ii) об’єкти даних (Data Objects), (iii) потоки
послідовностей (Sequence Flows), (iv) потоки повідомлень (Message Flows), пули
(Pools), (v) доріжки (Lanes) та (vi) артефакти (Artifacts).