Habr<p>WF2M сеть. Формализм и математика workflow</p><p>Кому нужны книжки без картинок … или хоть стишков, не понимаю! – думала Алиса Кому нужны регламенты бизнес-процессов без схемок … или хоть скриптов, не понимаю! –осенило бизнес-аналитика Алису Алгоритмы бизнес-процессов можно формализовать (построить модель процесса) по-разному: подробным текстовым регламентом (см. заставку), графически (схемами, диаграммами) в разнообразных нотациях, математически (булевой алгеброй), специальным скриптовым языком, программно. При этом важно не только обеспечить абсолютную (или требуемого уровня) однозначность и адекватность полученной модели моделируемому процессу (текстовый регламент если и воссоздаст такую абстракцию, то с трудом), но и его понятность другими заинтересованным в нем лицам. Существует широкий спектр workflow нотаций (стандартов): от классических ГОСТ 19.701-90 (ИСО 5807-85, flowchart), IDEF3, UML2-AD и XML-сериализованных BPMN\YAWL\XPDL\EPML до специфических, например, Дракон . Ведутся споры «насколько хороша» та или иная нотация: насколько интуитивно понятно передает она в графическом представлении модели (в картинке) суть процесса (упрощенная нотация, понятная рядовому бизнес-пользователю), но не встречал обсуждения их математических представлений и вообще workflow-модели с простой и прозрачной математической абстракцией: математической интерпретацией объектов модели и механики процесса (метамодели алгоритма). Ниже предложен математический формализм workflow-сетей: Модель WF2M (From workflow to mathematic), WF2M-сеть, как механизм формализации алгоритмов бизнес-процессов в части потока работ (workflow) путем задания аналитическими выражениями функций переходов между дискретными состояниями, маркировки состояний моделируемого объекта. Механизм (механика интерпретации алгоритма бизнес-процесса) заимствует от сетей Петри терминологию (маркировка сети, активация перехода, реализация перехода и т.п.) и частично концептуализм и классификацию. Предложенная WF2M сеть имеет иной механизм формализации (абстракцию) по сравнению с WF-nets .</p><p><a href="https://habr.com/ru/articles/781124/" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="">habr.com/ru/articles/781124/</span><span class="invisible"></span></a></p><p><a href="https://zhub.link/tags/bpmn" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>bpmn</span></a> <a href="https://zhub.link/tags/epc" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>epc</span></a> <a href="https://zhub.link/tags/flowcharts" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>flowcharts</span></a> <a href="https://zhub.link/tags/workflow" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>workflow</span></a> <a href="https://zhub.link/tags/graphviz" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphviz</span></a></p>