doc/LD/formalism.md

Формализмы

Семантический формализм некоторых BPM-нотаций (строгий формализм)

Показывает отношения между элементами. Источники см. https://github.com/bpmbpm/doc/tree/main/BPM/ARIS/SCHEER/BASE

• EPC субькт \ предикат (обратный предикат) \ объект
• VAD
• BPMN \ YAWL ?? Semantic formalism

Математический формализм workflow (строгий формализм)

Вычисляет следующий шаг выполнения алгоритма (workflow), алгебраически формализует логику движения маркера по схеме процесса

• WF2M сеть. Формализм и математика workflow
• algebraic Petri net
• BPMN \ YAWL ??

Execution Semantics (не строгий формализм)

Воспроизводима через имитационное моделирование. Однако ввиду отсутсвия строгого формализма поведение (логика вычисления) будет зависить от реализации конкретной системы имитационного моделирования (или BPMN-engine).

• Execution Semantics Baker
• YAKINDU Statechart Tools
• workflowpatterns, общий алгоритм
• BPMN, глава 13

Term

• Semantics, computer science
  Есть ли более подробная классификация и с конкретными примерами?

Разное

• BPM/notation/BPMN

Формализмы

• Математические формализации, github