DRAKON.SU

Есть ли примеры формализации WorkFlow (WF) алгоритмов (вкл. Дракон) формулами, системой уравнений, матрицами переходов и т.п.
На входе WF-схема, на выводе математика и наоборот и без потерь информации.
Полистал тему "Теоретические основы языка ДРАКОН", но вроде не нашел.
Чем закончилось:
Надо создать теорию языка ДРАКОН на основе теории графов
viewtopic.php?f=148&t=6705
Или не начиналось?

Про сети Петри знаю, но что-то не находил примеров даже WF-(Петри) сетей (переходы по условию, параллельное ветвление и т.п.).
У Шалыто А.А. что-то похожее в "Язык «Графсет» и графы переходов", но не разобрался как это на обычный WF (в нотации простого\советского WF, ЕРС, Дракона, BPMN и т.п.) переложить:
https://is.ifmo.ru/books/switch_pdf/_switch12.pdf

По-моему, таких примеров нет.
Есть отдельные частные примеры. См. стр. 141, 169, глава 32 в книге: https://drakon.su/_media/23_zhizneritm22.pdf


Вы ставите интересные вопросы. Посмотрите, что пишет Владимир Шелехов на нашем форуме. Шелехов предложил В.Н. Касьянову разработать теорию графов для ДРАКОНа, но Касьянов не заинтересовался.
Дело Касьянова продолжает его дочь. Можете попытаться с ней связаться.

Этого (статика) не достаточно. Нужно добавлять динамику, например, наподобие Петри.
Тут важно, что не обязательно для Дракона добавить еще "один язык, под названием Математика", нужно научиться хоть какой-нибудь WF описывать математикой, а уже помом этот подход транслировать на иную нотацию, хоть Дракон, хоть BPMN.


Это как?

Заодно вопрос: Есть ли на Драконе что-то подобное: www.bpsimulator.com

Дракон-схема — это ориентированный (направленный) граф.
Граф — это и есть "математика" дракон-схем.
Графы обычно не представляют в виде формул или систем уравнений.


Для одной и той же дракон-схемы граф можно построить по-разному.
Важно не включать в граф избыточную информацию.

Мне, например, нравятся двоичные графы, потому что они простые.
DrakonWidget и основанный на нём drakonpro.ru используют двоичные графы (метод Ашкрофта-Манны).

Вот схема:


А вот соответствующий бинарный граф Ашкрофта-Манны в формате JSON.
Ссылка на левый потомок хранится в поле one, а ссылка на правый — в поле two.

Степан, не нашел в Вашем ответе математики: матрицу переходов, систему уравнений и т.п.

А как же цепи Маркова, сети Петри и т.п.?

А почему не в логичных и понятных "yes" и "no"?

Лучше было бы "вниз" и "вправо".

"Да" и "Нет" использовать нельзя, потому что в иконе Вопрос можно менять местами выходы "Да" и "Нет".
Иногда вниз идёт "Да", иногда вниз идёт "Нет".

Для исполнителя алгоритма не важно, как в пространстве расположены выходы из иконы Вопрос, но для отрисовки дракон-схемы это важно.

Ну так сделайте математику!

А как тогда человеку проверить правильность сгенерированного json-файла? И как кодогенератор определит, где ветка "истина", а где "ложь"?

Если значение поля flag1 иконы Вопрос равно 1, то "Да" идёт вниз.
Если значение поля flag1 равно 0, то "Да" идёт вправо.

То есть строго выполняется правило: "да"- вниз, "нет"- вправо?

Нет, не так.
Во всех программных реализациях ДРАКОН-конструктора (у Тышова, у Митькина, у Ильченко) реализована операция Да/Нет, позволяющая менять местами Да и Нет.

В проектируемой программе Муравицкого-Степанова наряду с операцией Да/Нет появилась еще одна полезная операция, при которой одновременно меняются местами прицепленные к ним гирлянды икон.

см. viewtopic.php?p=107027#p107027

Это не является какой то новой операцией.
В языке Дракон изначально существует операция "Рокировка" имеющая такую функциональность.

Это я знаю. Вопрос был в том, как, глядя на json-представление диаграммы, определить где ветвь "да", а где "нет"?

Я спросил о чём-то неприличном, что мне никто не хочет или стесняется ответить на, вроде бы, простой вопрос?

В каждой реализации Дракон-редактора использовано своё решение.
К примеру, в ИС Дракон Тышов использует в текстовых файлах формат CSV, без отображения наименования реквизитов.
Ответить на Ваш вопрос не просто. Скорее всего не понятно, зачем Вам нужно выяснять частное решение?

Я не могу ответить, так как не знаю внутренних особенностей программной реализации ДРАКОН-конструкторов (за исключением ряда случаев, таких как исчисление икон и др.).

Так я же ответил.
Поле flag1 отвечает за расположение меток Да и Нет.


Если значение поля flag1 иконы Вопрос равно 1, то "Да" идёт вниз.
Если значение поля flag1 равно 0, то "Да" идёт вправо.
[

То есть связи между условием, записанным в ромбике, и его результатом нет? Просто отмечено, что на диаграмме будет рисовать снизу, а что справа?