doc/BPM/notation/BPMN/README.md

BPMN2

ru

• ELMA pdf, последний разел: 10.11. Представление XML-схемы для пакета Процесса
• ELMA online
• EleWise, 2006-2009
• Никита Юнев, сайт

Справочники:

• comindware
• stormbpmn
• camunda.com

en spec

• стартовая omg BPMN
• omg, v2.0.2 December 2013 PDF, ссылка на 13 BPMN Execution Semantics стр. 455. В папке лежит вырезка, через https://bigpdf.11zon.com/en/split-pdf/
• on-line, studfile.net, раздел Semantics

BPMN Semantic

Best:

• A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems, pdf, html

Остальное:

• BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules, 2010
• Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways, 2010
• A Precise Execution Semantics for BPMN, 2012
• Quantifying the Parallelism in BPMN Processes using Model Checking, 2014
• A Direct Formal Semantics for BPMN Time-Related Constructs, 2021

YAWL

"Академический BPMN"

• YAWL: Yet Another Workflow Language
• yawlfoundation.github.io
• Business Process Verification - Finally a Reality! van der Aalst etc
• Mapping of YAWL onto BPMN and vice versa
• YAWL-CCS

? YAWL formal semantic ; owl "Yet another workflow language" ; ...

Разное

Standard Evaluations, workflowpatterns
An Ontology-Enabled Approach for Modelling Business Processes