Формализация WF2M сети на примере алгоритма Кофе-машина и два ученых

[nektopme]

Спасибо!
Поражён Вашей эрудицией в теме "визуальное проектирование".
Как будто Гегеля почитал :-)

Неужели решение задачи "Кофе-машина и два учёных" не представимо схемой языка ДРАКОН Паронджанова или сетевым планом Кузнецова?
Без вакханалии терминов и технологий.

[itGuevara]

«Гибридная» формализация (формализация - визуализация) бизнес-процесса в части алгоритма, workflow возможна (текстовое описание процесса "русским языком" - не считаем, оно не формально):

а) «командным» скриптом типа Mermaid, Graphviz-DOT, PlantUML и соответствующей ему схемой. Детали на примере «Таблица -> Схема» с промежуточным преобразованием в DOT хорошо видны в ВРМ. Смарт-инструменты «Таблица -> Схема» для формализации бизнес-процессов. Рестайлинг ARIS SmartDesign

б) математическим выражением и соответствующей ему схемой (графиком), примерно также как вы задаете и потом строите график параболы. Это про WF2M сеть, Петри сеть.

Схемы Дракон, как и любые другие, можно рисовать по методу «а», при этом предварительно формализовав «синтаксическую обёртку», например, на языке DOT. В части бизнес-процессов у Дракон есть целый раздел (пример темы для ЕРС):

Алгоритмический язык ДРАКОН для бизнес-процессов

Неужели решение задачи "Кофе-машина и два учёных" не представимо схемой языка ДРАКОН Паронджанова или сетевым планом Кузнецова?

Тут как раз не про рисовать (см. «а»), а про метод «б», в который Дракон конечно не умеет.

Когда смотрю ТГ-каналы BPMN – там постоянно длинные дискуссии: а как в этой схеме поведет себя маркер? Далее споры: в Bizagi так, а в Camunda так, а в этом BPMN симуляторе – иначе. Если BPMN имел бы математическую основу (алгебра процессов, Петри), то подобных споров бы не возникало.