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 ?

Разное

Standard Evaluations